| 2021 | FORTE | Branching Place Bisimilarity: A Decidable Behavioral Equivalence for Finite Petri Nets with Silent Moves. | Roberto Gorrieri |
| 2021 | MFCS | A Decidable Equivalence for a Turing-Complete, Distributed Model of Computation. | Arnaldo Cesco, Roberto Gorrieri |
| 2009 | CONCUR | On the Relationship between π-Calculus and Finite Place/Transition Petri Nets. | Roland Meyer, Roberto Gorrieri |
| 2007 | CONCUR | On the Expressive Power of Global and Local Priority in Process Calculi. | Cristian Versari, Nadia Busi, Roberto Gorrieri |
| 2006 | Coordination | Choreography and Orchestration Conformance for System Design. | Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro |
| 2006 | ICSOC | : A Calculus for Service Oriented Computing. | Claudio Guidi, Roberto Lucchi, Roberto Gorrieri, Nadia Busi, Gianluigi Zavattaro |
| 2005 | ICSOC | Choreography and Orchestration: A Synergic Approach for System Design. | Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro |
| 2005 | WETICE | Towards a formal framework for Choreography. | Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro |
| 2004 | Coordination | Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model. | Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro |
| 2004 | SAC | Web Services for E-commerce: guaranteeing security access and quality of service. | Mario Bravetti, Roberto Lucchi, Gianluigi Zavattaro, Roberto Gorrieri |
| 2004 | SEC | Contrasting Malicious Java Applets by Modifying the Java Virtual Machine. | Vincenzo Ciaschini, Roberto Gorrieri |
| 2003 | ESOP | A Simple Language for Real-Time Cryptographic Protocol Analysis. | Roberto Gorrieri, Enrico Locatelli, Fabio Martinelli |
| 2003 | MFCS | Process Algebraic Frameworks for the Specification and Analysis of Cryptographic Protocols. | Roberto Gorrieri, Fabio Martinelli |
| 2001 | FOSSACS | Temporary Data in Shared Dataspace Coordination Languages. | Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro |
| 2000 | ICALP | A Complete Axiomatization for Observational Congruence of Prioritized Finite-State Behaviors. | Mario Bravetti, Roberto Gorrieri |
| 2000 | ICALP | Non Interference for the Analysis of Cryptographic Protocols. | Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli |
| 2000 | ICALP | Introduction: International Workshop on Process Algebra and Performance Modelling. | Roberto Gorrieri |
| 1998 | CONCUR | Towards Performance Evaluation with General Distributions in Process Algebras. | Mario Bravetti, Marco Bernardo, Roberto Gorrieri |
| 1997 | Coordination | Three Semantics of the Output Operation for Generative Communication. | Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro |
| 1996 | CONCUR | Extended Markovian Process Algebra. | Marco Bernardo, Roberto Gorrieri |
| 1996 | TACAS | Automatic Compositional Verification of Some Security Properties. | Riccardo Focardi, Roberto Gorrieri |
| 1995 | CONCUR | A Petri Net Semantics for pi-Calculus. | Nadia Busi, Roberto Gorrieri |
| 1995 | MFCS | Performance Preorder: Ordering Processes with Respect to Speed. | Flavio Corradini, Roberto Gorrieri, Marco Roccetti |
| 1994 | CAV | Real-Time System Verification using P/T Nets. | Roberto Gorrieri, Glauco Siliprandi |
| 1994 | FORTE | Integrated analysis of concurrent distributed systems using Markovian process algebra. | Marco Bernardo, Lorenzo Donatiello, Roberto Gorrieri |
| 1991 | MFCS | Atomic Refinement in Process Description Languages. | Pierpaolo Degano, Roberto Gorrieri |
| 1991 | MFCS | The Limit of Split_n-Bisimulations for CCS Agents. | Roberto Gorrieri, Cosimo Laneve |
| 1990 | CONCUR | SCONE: A Simple Calculus of Nets. | Roberto Gorrieri, Ugo Montanari |
| 1990 | POPL | Implicative Formulae in the "Proofs as Computations" Analogy. | Andrea Asperti, Gian-Luigi Ferrari, Roberto Gorrieri |
| 1989 | ICLP | Model Theoretic, Fixpoint and Operational Semantics for a Distributed Logic Language. | Antonio Brogi, Roberto Gorrieri |