Sfoglia per Autore
A Formal Assessment Result for Fluent Calculus Using the Action Description Language Ak
2003-01-01 Kahramanogullari, Ozan; Michael, Thielscher
System BV without the Equalities for Unit
2004-01-01 Kahramanogullari, Ozan
Towards Planning as Concurrency
2005-01-01 Kahramanogullari, Ozan
Reducing Nondeterminism in the Calculus of Structures
2006-01-01 Kahramanogullari, Ozan
System BV is NP-complete
2006-01-01 Kahramanogullari, Ozan
A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis
2007-01-01 Kahramanogullari, Ozan; Luca, Cardelli; Philippa, Gardner
Maude as a Platform for Designing and Implementing Deep Inference Systems
2007-01-01 Kahramanogullari, Ozan
On Linear Logic Planning and Concurrency
2008-01-01 Kahramanogullari, Ozan
System BV is NP-complete
2008-01-01 Kahramanogullari, Ozan
A Process Model of Actin Polymerisation
2008-01-01 Kahramanogullari, Ozan; Luca, Cardelli; Emmanuelle, Caron; Philippa, Gardner; Andrew, Phillips
Biophysical Mechanism for Ras-Nanocluster Formation and Signaling in Plasma Membrane
2009-01-01 Thomas, Gurry; Kahramanogullari, Ozan
An Intuitive Automated Modelling Interface for Systems Biology
2009-01-01 Kahramanogullari, Ozan; Luca, Cardelli; Emmanuelle, Caron
A Process Model of Rho GTP-binding Proteins
2009-01-01 Kahramanogullari, Ozan; Luca, Cardelli; Emmanuelle, Caron; Philippa, Gardner; Andrew, Phillips
On Linear Logic Planning and Concurrency
2009-01-01 Kahramanogullari, Ozan
Flux Analysis in Process Models via Causality
2010-01-01 Kahramanogullari, Ozan
Modelling the tumor shrinkage pharmacodynamics with BlenX
2011-01-01 Lecca, Paola; Kahramanogullari, Ozan; D., Morpurgo; Priami, Corrado; R., Soo
Modelling and Estimating Dynamics of Tumor Shrinkage with BlenX and Kinfer
2011-01-01 Lecca, Paola; Kahramanogullari, Ozan; D., Morpurgo; Priami, Corrado; R., Soo
CoSBiLab LIME: a language interface for stochastic dynamical modelling in ecology
2011-01-01 Kahramanogullari, Ozan; James, Lynch; Ferenc, Jordan
Process algebra models in biology: the case of phagocytosis
2012-01-01 Kahramanogullari, Ozan
Nondeterminism and Language Design in Deep Inference: A Proof Theoretic Approach to Logic Programming
2012-01-01 Kahramanogullari, Ozan
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile