Ozan Kahramanogullari

	2011
18		Paola Lecca, Ozan Kahramanogullari, Daniele Morpurgo, Corrado Priami, Ross A. Soo: Poster: Modelling the tumor shrinkage pharmacodynamics with BlenX. ICCABS 2011: 251
17		Paola Lecca, Ozan Kahramanogullari, Daniele Morpurgo, Corrado Priami, Ross A. Soo: Modelling and Estimating Dynamics of Tumor Shrinkage with BlenX and Kinfer. UKSim 2011: 75-80
	2010
16		Ozan Kahramanogullari, Ferenc Jordán, Corrado Priami: Composability: Perspectives in Ecological Modeling. ANB 2010: 136-148
15		Ozan Kahramanogullari: Flux Analysis in Process Models via Causality FBTC 2010: 20-39
	2009
14		Ozan Kahramanogullari, Luca Cardelli, Emmanuelle Caron: An Intuitive Automated Modelling Interface for Systems Biology DCM 2009: 73-86
13		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)
12		Ozan Kahramanogullari: On linear logic planning and concurrency. Inf. Comput. 207(11): 1229-1258 (2009)
11		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
10		Ozan Kahramanogullari: On Linear Logic Planning and Concurrency. LATA 2008: 250-262
9		Ozan Kahramanogullari: System BV is NP-complete. Ann. Pure Appl. Logic 152(1-3): 107-121 (2008)
8		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)
7		Ozan Kahramanogullari: Maude as a Platform for Designing and Implementing Deep Inference Systems. Electr. Notes Theor. Comput. Sci. 219: 35-50 (2008)
	2007
6		Ozan Kahramanogullari: Nondeterminism and language design in deep inference. Dresden University of Technology 2007: 1-231
	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

Coauthor Index

1	Luca Cardelli	[8] [11] [13] [14]
2	Emmanuelle Caron	[11] [13] [14]
3	Philippa Gardner	[8] [11] [13]
4	Ferenc Jordán	[16]
5	Paola Lecca	[17] [18]
6	Daniele Morpurgo	[17] [18]
7	Andrew Phillips	[11] [13]
8	Corrado Priami	[16] [17] [18]
9	Ross A. Soo	[17] [18]
10	Michael Thielscher	[1]

Colors in the list of coauthors

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page