| Beta binders for biological interactions C Priami, P Quaglia International Conference on Computational Methods in Systems Biology, 20-33, 2004 | 319 | 2004 |
| 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 | 86 | 2006 |
| 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 | 74 | 2008 |
| Modelling the dynamics of biosystems C Priami, P Quaglia Briefings in Bioinformatics 5 (3), 259-269, 2004 | 70 | 2004 |
| Stochastic cows D Prandi, P Quaglia International Conference on Service-Oriented Computing, 245-256, 2007 | 53 | 2007 |
| A π-calculus with explicit substitutions GL Ferrari, U Montanari, P Quaglia Theoretical Computer Science 168 (1), 53-103, 1996 | 51 | 1996 |
| 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 | 45 | 2004 |
| Operational patterns in Beta-binders C Priami, P Quaglia Transactions on Computational Systems Biology I, 50-65, 2005 | 42 | 2005 |
| 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 | 33 | 2004 |
| Process calculi abstractions for biology ML Guerriero, D Prandi, C Priami, P Quaglia Algorithmic Bioprocesses, 463-486, 2009 | 32 | 2009 |
| The weak late π-calculus semantics as observation equivalence GL Ferrari, U Montanari, P Quaglia International Conference on Concurrency Theory, 57-71, 1995 | 29 | 1995 |
| A formal language for computational systems biology DD Errampalli, C Priami, P Quaglia OMICS: A Journal of Integrative Biology 8 (4), 370-380, 2004 | 25 | 2004 |
| 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 | 23 | 1994 |
| On synchronous and asynchronous mobile processes P Quaglia, D Walker International Conference on Foundations of Software Science and Computation …, 2000 | 22 | 2000 |
| The pi-calculus: Notes on labelled semantic P Quaglia, BLS LS Bulletin of the EATCS 68, 104-114, 1999 | 21 | 1999 |
| Process calculi in a biological context D Prandi, C Priami, P Quaglia Bulletin of the European Association for Theoretical Computer Science 85, 53-69, 2005 | 20 | 2005 |
| Modeling kohn interaction maps with beta-binders: An example F Ciocchetta, C Priami, P Quaglia Transactions on Computational Systems Biology III, 33-48, 2005 | 20 | 2005 |
| BlenX4Bio–BlenX for Biologists C Priami, P Ballarini, P Quaglia International Conference on Computational Methods in Systems Biology, 26-51, 2009 | 19 | 2009 |
| On encoding pπ in mπ P Quaglia, D Walker International Conference on Foundations of Software Technology and …, 1998 | 19 | 1998 |
| Communicating by compatibility D Prandi, C Priami, P Quaglia The Journal of Logic and Algebraic Programming 75 (2), 167-181, 2008 | 16 | 2008 |
