| 2012 | SAC | An imperative language of self-modifying graphs for biological systems. | Corrado Priami, Paola Quaglia, Roberto Zunino |
| 2012 | SEFM | Algorithmic Systems Ecology: Experiments on Multiple Interaction Types and Patches. | Ozan Kahramanogullari, James F. Lynch, Corrado Priami |
| 2012 | SEFM | A Rule-Based and Imperative Language for Biochemical Modeling and Simulation. | Durica Nikolic, Corrado Priami, Roberto Zunino |
| 2009 | CONCUR | BlenX Static and Dynamic Semantics. | Corrado Priami, Paola Quaglia, Alessandro Romanel |
| 2009 | PSB | From ODES to Language-Based, Executable Models of Biological Systems. | Alida Palmisano, Ivan Mura, Corrado Priami |
| 2009 | SAC | A new probabilistic generative model of parameter inference in biochemical networks. | Paola Lecca, Alida Palmisano, Corrado Priami, Guido Sanguinetti |
| 2007 | PACT | A Stochastic Semantics for BioAmbients. | Linda Brodo, Pierpaolo Degano, Corrado Priami |
| 2006 | FORTE | Decidable Extensions of Hennessy-Milner Logic. | Radu Mardare, Corrado Priami |
| 2006 | PADS | Developing An Hierarchical Simulator for Beta-binders. | Jan Himmelspach, Paola Lecca, Davide Prandi, Corrado Priami, Paola Quaglia, Adelinde M. Uhrmacher |
| 2005 | PACT | On Evaluating the Performance of Security Protocols. | Chiara Bodei, Mikael Buchholtz, Michele Curti, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson, Corrado Priami |
| 2005 | WSC | Discrete event systems specification in systems biology - a discussion of stochastic pi calculus and DEVS. | Adelinde M. Uhrmacher, Corrado Priami |
| 2004 | PSB | A Biospi Model of Lymphocyte-Endothelial Interactions in Inflamed Brain Venules. | Paola Lecca, Corrado Priami, Carlo Laudanna, Gabriela Constantin |
| 2004 | SAC | Predicting cell adhesion probability via the biochemical stochastic pi-calculus. | Paola Lecca, Corrado Priami, Carlo Laudanna, Gabriela Constantin |
| 2003 | PACT | Authentication Primitives for Protocol Specifications. | Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami |
| 2003 | WSC | Simulation and verification I: design environments for complex systems. | Corrado Priami |
| 2000 | ICALP | A tool for quantitative analysis of calculus processes. | Linda Brodo, Pierpaolo Degano, Corrado Priami |
| 1999 | FASE | Semantic-Driven Performance Evaluation (Extended Abstract). | Chiara Nottegar, Corrado Priami, Pierpaolo Degano |
| 1998 | SAS | Constructing Specific SOS Semantics for Concurrency via Abstract Interpretation. | Chiara Bodei, Pierpaolo Degano, Corrado Priami |
| 1997 | SAS | True Concurrency via Abstract Interpretation. | Chiara Bodei, Corrado Priami |
| 1996 | ICALP | Mobile Processes with a Distributed Environment. | Chiara Bodei, Pierpaolo Degano, Corrado Priami |
| 1996 | SAS | Understanding Mobile Agents via a Non-Interleaving Semantics for Facile. | Roberta Borgia, Pierpaolo Degano, Corrado Priami, Lone Leth Thomsen, Bent Thomsen |
| 1995 | ICALP | Causality for Mobile Processes. | Pierpaolo Degano, Corrado Priami |
| 1995 | PACT | An Efficient Verifier of Truly Concurrent Properties. | Alessandro Bianchi, Stefano Coluccini, Pierpaolo Degano, Corrado Priami |
| 1994 | MFCS | Read-Write Causality. | Corrado Priami, Daniel Yankelevich |
| 1993 | ICALP | Extended Transition Systems for Parametric Bisimulation. | Paola Inverardi, Corrado Priami, Daniel Yankelevich |
| 1992 | ICALP | Proved Trees. | Pierpaolo Degano, Corrado Priami |