Quaglia, Paola
Quaglia, Paola
Ingegneria e scienza dell'Informaz (29/10/12-)
A Formal Language for Computational Systems Biology
2004-01-01 D., Errampalli; Priami, Corrado; Quaglia, Paola
A Formal Language for Computational Systems Biology
2004-01-01 D., Errampalli; Priami, Corrado; Quaglia, Paola
A Fully Parallel Calculus of Synchronizing Processes
1993-01-01 D., Latella; Quaglia, Paola
A pi-calculus with explicit substitutions
1996-01-01 G., Ferrari; U., Montanari; Quaglia, Paola
A pi-calculus with explicit Substitutions
1996-01-01 G., Ferrari; U., Montanari; Quaglia, Paola
A pi-calculus with Explicit Substitutions: the Late Semantics
1994-01-01 G., Ferrari; U., Montanari; Quaglia, Paola
A stochastic process algebra approach to simulation of autoreactive lymphocyte recruitment
2004-01-01 Lecca, Paola; Priami, Corrado; Quaglia, Paola; B., Rossi; C., Laudanna; G., Costantin
A Tool for Checking Probabilistic Properties of COWS Services
2010-01-01 Cappello, Igor; Quaglia, Paola
A translation of Beta-binders in a prioritized pi-calculus
2009-01-01 Cappello, Igor; Quaglia, Paola
A Translation of Beta-binders in a Prioritized Pi-calculus
2009-01-01 Cappello, Igor; Quaglia, Paola
An Automatic Translation of SBML into Beta-Binders
2008-01-01 Ciocchetta, Federica; Priami, Corrado; Quaglia, Paola
An Automatic Translation of SBML into Beta-Binders
2008-01-01 Ciocchetta, Federica; Priami, Corrado; Quaglia, Paola
An imperative language of self-modifying graphs for biological systems
2012-01-01 Priami, Corrado; Quaglia, Paola; Zunino, Roberto
Approximate Model Checking of Stochastic COWS
2010-01-01 Quaglia, Paola; Schivo, Stefano
Beta binders for biological interactions
2005-01-01 Priami, Corrado; Quaglia, Paola
Beta Binders for Biological Interactions
2005-01-01 Priami, Corrado; Quaglia, Paola
Beta-binders for biological quantitative experiments
2006-01-01 P., Degano; Prandi, Davide; Priami, Corrado; Quaglia, Paola
Beta-binders for Biological Quantitative Experiments
2006-01-01 P., Degano; Prandi, Davide; Priami, Corrado; Quaglia, Paola
BlenX Static and Dynamic Semantics
2009-01-01 Priami, Corrado; Quaglia, Paola; Romanel, Alessandro
BlenX4Bio – BlenX for Biologists
2009-01-01 Priami, Corrado; Ballarini, Paolo; Quaglia, Paola