| |
| 2006 | ||
|---|---|---|
| 5 | EE | Ozan Kahramanogullari: Reducing Nondeterminism in the Calculus of Structures. LPAR 2006: 272-286 |
| 4 | EE | Ozan Kahramanogullari: System BV is NP-complete. Electr. Notes Theor. Comput. Sci. 143: 87-99 (2006) |
| 2005 | ||
| 3 | Ozan Kahramanogullari: Towards Planning as Concurrency. Artificial Intelligence and Applications 2005: 387-393 | |
| 2004 | ||
| 2 | EE | Ozan Kahramanogullari: System BV without the Equalities for Unit. ISCIS 2004: 986-995 |
| 2003 | ||
| 1 | EE | Ozan Kahramanogullari, Michael Thielscher: A Formal Assessment Result for Fluent Calculus Using the Action Description Language Ak. KI 2003: 209-223 |
| 1 | Michael Thielscher | [1] |