Paola Quaglia
Paola Quaglia
Department of Engineering and Computer Science, University of Trento, Italy
E-mail megerősítve itt: unitn.it
Cím
Hivatkozott rá
Hivatkozott rá
Év
Beta binders for biological interactions
C Priami, P Quaglia
International Conference on Computational Methods in Systems Biology, 20-33, 2004
2892004
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
762006
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
622008
Stochastic cows
D Prandi, P Quaglia
International Conference on Service-Oriented Computing, 245-256, 2007
522007
A π-calculus with explicit substitutions
GL Ferrari, U Montanari, P Quaglia
Theoretical Computer Science 168 (1), 53-103, 1996
431996
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
422004
Operational patterns in Beta-binders
C Priami, P Quaglia
Transactions on Computational Systems Biology I, 50-65, 2005
412005
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
251995
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
231994
On synchronous and asynchronous mobile processes
P Quaglia, D Walker
International Conference on Foundations of Software Science and Computation …, 2000
202000
Process calculi in a biological context.
D Prandi, C Priami, P Quaglia
Bulletin of the EATCS 85, 53-69, 2005
192005
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
On encoding in
P Quaglia, D Walker
International Conference on Foundations of Software Technology and …, 1998
181998
The [pi]-calculus with Explicit Substitutions
P Quaglia
BULLETIN-EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE 59, 434-435, 1996
181996
BlenX4BioBlenX for Biologists
C Priami, P Ballarini, P Quaglia
International Conference on Computational Methods in Systems Biology, 26-51, 2009
162009
Communicating by compatibility
D Prandi, C Priami, P Quaglia
The Journal of Logic and Algebraic Programming 75 (2), 167-181, 2008
162008
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20