 | 2009 |
|---|
| 12 |       | 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) |
| 11 | | Ozan Kahramanogullari:
On linear logic planning and concurrency.
Inf. Comput. 207(11): 1229-1258 (2009) |
| 10 | | Luca Cardelli,
Emmanuelle Caron,
Philippa Gardner,
Ozan Kahramanogullari,
Andrew Phillips:
A process model of Rho GTP-binding proteins.
Theor. Comput. Sci. 410(33-34): 3166-3185 (2009) |
| 2008 |
|---|
| 9 | | Ozan Kahramanogullari:
On Linear Logic Planning and Concurrency.
LATA 2008: 250-262 |
| 8 | | Ozan Kahramanogullari:
System BV is NP-complete.
Ann. Pure Appl. Logic 152(1-3): 107-121 (2008) |
| 7 | | 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 | | Ozan Kahramanogullari:
Maude as a Platform for Designing and Implementing Deep Inference Systems.
Electr. Notes Theor. Comput. Sci. 219: 35-50 (2008) |
| 2006 |
|---|
| 5 | | Ozan Kahramanogullari:
Reducing Nondeterminism in the Calculus of Structures.
LPAR 2006: 272-286 |
| 4 | | 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 | | Ozan Kahramanogullari:
System BV without the Equalities for Unit.
ISCIS 2004: 986-995 |
| 2003 |
|---|
| 1 | | Ozan Kahramanogullari,
Michael Thielscher:
A Formal Assessment Result for Fluent Calculus Using the Action Description Language Ak.
KI 2003: 209-223 |
