Paola Quaglia
Paola Quaglia
Department of Engineering and Computer Science, University of Trento, Italy
Verified email at unitn.it
Title
Cited by
Cited by
Year
Beta binders for biological interactions
C Priami, P Quaglia
International Conference on Computational Methods in Systems Biology, 20-33, 2004
2932004
Beta-binders for biological quantitative experiments
P Degano, D Prandi, C Priami, P Quaglia
Electronic Notes in Theoretical Computer Science 164 (3), 101-117, 2006
792006
Modelling the dynamics of biosystems
C Priami, P Quaglia
Briefings in Bioinformatics 5 (3), 259-269, 2004
672004
Formal analysis of BPMN via a translation into COWS
D Prandi, P Quaglia, N Zannone
International Conference on Coordination Languages and Models, 249-263, 2008
652008
Stochastic cows
D Prandi, P Quaglia
International Conference on Service-Oriented Computing, 245-256, 2007
512007
A π-calculus with explicit substitutions
GL Ferrari, U Montanari, P Quaglia
Theoretical Computer Science 168 (1), 53-103, 1996
431996
Operational patterns in Beta-binders
C Priami, P Quaglia
Transactions on Computational Systems Biology I, 50-65, 2005
412005
A stochastic process algebra approach to simulation of autoreactive lymphocyte recruitment
P Lecca, C Priami, P Quaglia, B Rossi, C Laudanna, G Constantin
Simulation 80 (6), 273-288, 2004
412004
Model checking biological systems described using ambient calculus
R Mardare, C Priami, P Quaglia, O Vagin
International Conference on Computational Methods in Systems Biology, 85-103, 2004
292004
Process calculi abstractions for biology
ML Guerriero, D Prandi, C Priami, P Quaglia
Algorithmic Bioprocesses, 463-486, 2009
272009
The weak late π-calculus semantics as observation equivalence
GL Ferrari, U Montanari, P Quaglia
International Conference on Concurrency Theory, 57-71, 1995
261995
A formal language for computational systems biology
DD Errampalli, C Priami, P Quaglia
Omics: a journal of integrative biology 8 (4), 370-380, 2004
242004
A π-calculus with explicit substitutions: the late semantics
GL Ferrari, U Montanari, P Quaglia
International Symposium on Mathematical Foundations of Computer Science, 342-351, 1994
211994
On synchronous and asynchronous mobile processes
P Quaglia, D Walker
International Conference on Foundations of Software Science and Computation …, 2000
202000
On encoding in
P Quaglia, D Walker
International Conference on Foundations of Software Technology and …, 1998
191998
Process calculi in a biological context.
D Prandi, C Priami, P Quaglia
Bulletin of the EATCS 85, 53-69, 2005
182005
Modeling kohn interaction maps with beta-binders: An example
F Ciocchetta, C Priami, P Quaglia
Transactions on Computational Systems Biology III, 33-48, 2005
182005
The [pi]-calculus with Explicit Substitutions
P Quaglia
BULLETIN-EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE 59, 434-435, 1996
181996
The Pi-Calculus: Notes on Labelled Semantic
P Quaglia, BLS LS
Bulletin of the EATCS 68, 104-114, 1999
171999
BlenX4BioBlenX for Biologists
C Priami, P Ballarini, P Quaglia
International Conference on Computational Methods in Systems Biology, 26-51, 2009
162009
The system can't perform the operation now. Try again later.
Articles 1–20