| |
| 2009 | ||
|---|---|---|
| 10 | EE | Luca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanogullari, Andrew Phillips: A Process Model of Actin Polymerisation. Electr. Notes Theor. Comput. Sci. 229(1): 127-144 (2009) |
| 2008 | ||
| 9 | EE | Ozan Kahramanogullari: On Linear Logic Planning and Concurrency. LATA 2008: 250-262 |
| 8 | EE | Ozan Kahramanogullari: System BV is NP-complete. Ann. Pure Appl. Logic 152(1-3): 107-121 (2008) |
| 7 | EE | Luca Cardelli, Philippa Gardner, Ozan Kahramanogullari: A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis. Electr. Notes Theor. Comput. Sci. 194(3): 87-102 (2008) |
| 6 | EE | Ozan Kahramanogullari: Maude as a Platform for Designing and Implementing Deep Inference Systems. Electr. Notes Theor. Comput. Sci. 219: 35-50 (2008) |
| 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 | Luca Cardelli | [7] [10] |
| 2 | Emmanuelle Caron | [10] |
| 3 | Philippa Gardner | [7] [10] |
| 4 | Andrew Phillips | [10] |
| 5 | Michael Thielscher | [1] |