IRIS

Quaglia, Paola

Quaglia, Paola  

Ingegneria e scienza dell'Informaz (29/10/12-)  

Mostra records
Risultati 1 - 20 di 63 (tempo di esecuzione: 0.032 secondi).
Titolo Anno di pubblicazione Autori Unitn File
A Formal Language for Computational Systems Biology 1-gen-2004 Priami, CorradoQuaglia, Paola +
A Formal Language for Computational Systems Biology 1-gen-2004 Priami, CorradoQuaglia, Paola +
A Fully Parallel Calculus of Synchronizing Processes 1-gen-1993 Quaglia, Paola +
A pi-calculus with explicit Substitutions 1-gen-1996 Quaglia, Paola +
A pi-calculus with explicit substitutions 1-gen-1996 Quaglia, Paola +
A pi-calculus with Explicit Substitutions: the Late Semantics 1-gen-1994 Quaglia, Paola +
A stochastic process algebra approach to simulation of autoreactive lymphocyte recruitment 1-gen-2004 Lecca, PaolaPriami, CorradoQuaglia, Paola +
A Tool for Checking Probabilistic Properties of COWS Services 1-gen-2010 Cappello, IgorQuaglia, Paola
A translation of Beta-binders in a prioritized pi-calculus 1-gen-2009 Cappello, IgorQuaglia, Paola
A Translation of Beta-binders in a Prioritized Pi-calculus 1-gen-2009 Cappello, IgorQuaglia, Paola
An Automatic Translation of SBML into Beta-Binders 1-gen-2008 Ciocchetta, FedericaPriami, CorradoQuaglia, Paola
An Automatic Translation of SBML into Beta-Binders 1-gen-2008 Ciocchetta, FedericaPriami, CorradoQuaglia, Paola
An imperative language of self-modifying graphs for biological systems 1-gen-2012 Priami, CorradoQuaglia, PaolaZunino, Roberto
Approximate Model Checking of Stochastic COWS 1-gen-2010 Quaglia, PaolaSchivo, Stefano
Beta binders for biological interactions 1-gen-2005 Priami, CorradoQuaglia, Paola
Beta Binders for Biological Interactions 1-gen-2005 Priami, CorradoQuaglia, Paola
Beta-binders for Biological Quantitative Experiments 1-gen-2006 Prandi, DavidePriami, CorradoQuaglia, Paola +
Beta-binders for biological quantitative experiments 1-gen-2006 Prandi, DavidePriami, CorradoQuaglia, Paola +
BlenX Static and Dynamic Semantics 1-gen-2009 Priami, CorradoQuaglia, PaolaRomanel, Alessandro
BlenX4Bio – BlenX for Biologists 1-gen-2009 Priami, CorradoBallarini, PaoloQuaglia, Paola