Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 37
Titolo Anno di pubblicazione Autori Unitn File
A Formal Assessment Result for Fluent Calculus Using the Action Description Language Ak 1-gen-2003 Kahramanogullari, Ozan +
System BV without the Equalities for Unit 1-gen-2004 Kahramanogullari, Ozan
Towards Planning as Concurrency 1-gen-2005 Kahramanogullari, Ozan
Reducing Nondeterminism in the Calculus of Structures 1-gen-2006 Kahramanogullari, Ozan
System BV is NP-complete 1-gen-2006 Kahramanogullari, Ozan
A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis 1-gen-2007 Kahramanogullari, Ozan +
Maude as a Platform for Designing and Implementing Deep Inference Systems 1-gen-2007 Kahramanogullari, Ozan
On Linear Logic Planning and Concurrency 1-gen-2008 Kahramanogullari, Ozan
A Process Model of Actin Polymerisation 1-gen-2008 Kahramanogullari, Ozan +
System BV is NP-complete 1-gen-2008 Kahramanogullari, Ozan
An Intuitive Automated Modelling Interface for Systems Biology 1-gen-2009 Kahramanogullari, Ozan +
On Linear Logic Planning and Concurrency 1-gen-2009 Kahramanogullari, Ozan
A Process Model of Rho GTP-binding Proteins 1-gen-2009 Kahramanogullari, Ozan +
Biophysical Mechanism for Ras-Nanocluster Formation and Signaling in Plasma Membrane 1-gen-2009 Kahramanogullari, Ozan +
Flux Analysis in Process Models via Causality 1-gen-2010 Kahramanogullari, Ozan
Modelling the tumor shrinkage pharmacodynamics with BlenX 1-gen-2011 Lecca, PaolaKahramanogullari, OzanPriami, Corrado +
Modelling and Estimating Dynamics of Tumor Shrinkage with BlenX and Kinfer 1-gen-2011 Lecca, PaolaKahramanogullari, OzanPriami, Corrado +
CoSBiLab LIME: a language interface for stochastic dynamical modelling in ecology 1-gen-2011 Kahramanogullari, Ozan +
Process algebra models in biology: the case of phagocytosis 1-gen-2012 Kahramanogullari, Ozan
Nondeterminism and Language Design in Deep Inference: A Proof Theoretic Approach to Logic Programming 1-gen-2012 Kahramanogullari, Ozan
Mostrati risultati da 1 a 20 di 37
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