| Beta binders for biological interactions C Priami, P Quaglia Computational Methods in Systems Biology: International Conference CMSB 2004 …, 2005 | 307 | 2005 |
| 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 | 85 | 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 | 72 | 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 Service-Oriented Computing–ICSOC 2007: Fifth International Conference …, 2007 | 53 | 2007 |
| A π-calculus with explicit substitutions GL Ferrari, U Montanari, P Quaglia Theoretical Computer Science 168 (1), 53-103, 1996 | 49 | 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 | 44 | 2004 |
| Operational patterns in Beta-binders C Priami, P Quaglia Transactions on Computational Systems Biology I, 50-65, 2005 | 41 | 2005 |
| Model checking biological systems described using ambient calculus R Mardare, C Priami, P Quaglia, O Vagin Computational Methods in Systems Biology: International Conference CMSB 2004 …, 2005 | 32 | 2005 |
| Process calculi abstractions for biology ML Guerriero, D Prandi, C Priami, P Quaglia Algorithmic Bioprocesses, 463-486, 2009 | 28 | 2009 |
| The weak late π-calculus semantics as observation equivalence GL Ferrari, U Montanari, P Quaglia CONCUR'95: Concurrency Theory: 6th International Conference Philadelphia, PA …, 1995 | 26 | 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 |
| On synchronous and asynchronous mobile processes P Quaglia, D Walker International Conference on Foundations of Software Science and Computation …, 2000 | 22 | 2000 |
| 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 | 22 | 1994 |
| The-calculus: Notes on labelled semantics P Quaglia, BLS LS | 21 | 1998 |
| 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 | 19 | 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 | 19 | 2005 |
| BlenX4Bio–BlenX for Biologists C Priami, P Ballarini, P Quaglia International Conference on Computational Methods in Systems Biology, 26-51, 2009 | 18 | 2009 |
| On encoding pπ in mπ P Quaglia, D Walker International Conference on Foundations of Software Technology and …, 1998 | 18 | 1998 |
| Communicating by compatibility D Prandi, C Priami, P Quaglia The Journal of Logic and Algebraic Programming 75 (2), 167-181, 2008 | 16 | 2008 |
