| 2018 | LICS | Concurrency and Probability: Removing Confusion, Compositionally. | Roberto Bruni, Hernn C. Melgratti, Ugo Montanari |
| 2015 | Coordination | A Fixpoint-Based Calculus for Graph-Shaped Computational Fields. | Alberto Lluch-Lafuente, Michele Loreti, Ugo Montanari |
| 2013 | INFOCOM | Real time market models and prosumer profiling. | Ugo Montanari, Alain Tcheukam Siwe |
| 2013 | INFOCOM | Real time market models and prosumer profiling. | Ugo Montanari, Alain Tcheukam Siwe |
| 2011 | CONCUR | A Connector Algebra for P/T Nets Interactions. | Roberto Bruni, Hernn C. Melgratti, Ugo Montanari |
| 2010 | FORTE | Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision Planning. | Artur Boronat, Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari, Generoso Paolillo |
| 2009 | CALCO | Coalgebraic Symbolic Semantics. | Filippo Bonchi, Ugo Montanari |
| 2009 | ESOP | Minimization Algorithm for Symbolic Bisimilarity. | Filippo Bonchi, Ugo Montanari |
| 2009 | ICSOC | A Service-Oriented UML Profile with Formal Support. | Roberto Bruni, Matthias M. Hlzl, Nora Koch, Alberto Lluch-Lafuente, Philip Mayer, Ugo Montanari, Andreas Schroeder, Martin Wirsing |
| 2008 | ESOP | Open Bisimulation for the Concurrent Constraint Pi-Calculus. | Maria Grazia Buscemi, Ugo Montanari |
| 2008 | FOSSACS | Symbolic Semantics Revisited. | Filippo Bonchi, Ugo Montanari |
| 2007 | CONCUR | Coalgebraic Models for Reactive Systems. | Filippo Bonchi, Ugo Montanari |
| 2007 | ESOP | CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements. | Maria Grazia Buscemi, Ugo Montanari |
| 2007 | TASE | Constraint-Based Policy Negotiation and Enforcement for Telco Services. | Maria Grazia Buscemi, Laura Ferrari, Corrado Moiso, Ugo Montanari |
| 2006 | CONCUR | Concurrent Rewriting for Graphs with Equivalences. | Paolo Baldan, Fabio Gadducci, Ugo Montanari |
| 2006 | CONCUR | Event Structure Semantics for Nominal Calculi. | Roberto Bruni, Hernn C. Melgratti, Ugo Montanari |
| 2006 | LICS | Saturated Semantics for Reactive Systems. | Filippo Bonchi, Barbara Knig, Ugo Montanari |
| 2005 | CALCO | Complete Axioms for Stateless Connectors. | Roberto Bruni, Ivan Lanese, Ugo Montanari |
| 2005 | CALCO | Modelling Fusion Calculus using HD-Automata. | Gian-Luigi Ferrari, Ugo Montanari, Emilio Tuosto, Bjrn Victor, Kidane Yemane |
| 2005 | CONCUR | Comparing Two Approaches to Compensable Flow Composition. | Roberto Bruni, Michael J. Butler, Carla Ferreira, C. A. R. Hoare, Hernn C. Melgratti, Ugo Montanari |
| 2005 | CONCUR | Deriving Weak Bisimulation Congruences from Reduction Systems. | Roberto Bruni, Fabio Gadducci, Ugo Montanari, Pawel Sobocinski |
| 2005 | Coordination | A Process Calculus for QoS-Aware Applications. | Rocco De Nicola, Gian-Luigi Ferrari, Ugo Montanari, Rosario Pugliese, Emilio Tuosto |
| 2005 | FOSSACS | Model Checking for Nominal Calculi. | Gian-Luigi Ferrari, Ugo Montanari, Emilio Tuosto |
| 2005 | POPL | Theoretical foundations for compensations in flow composition languages. | Roberto Bruni, Hernn C. Melgratti, Ugo Montanari |
| 2004 | APLAS | D-Fusion: A Distinctive Fusion Calculus. | Michele Boreale, Maria Grazia Buscemi, Ugo Montanari |
| 2002 | CONCUR | Orchestrating Transactions in Join Calculus. | Roberto Bruni, Cosimo Laneve, Ugo Montanari |
| 2002 | CONCUR | A First Order Coalgebraic Model of pi-Calculus Early Observational Equivalence. | Maria Grazia Buscemi, Ugo Montanari |
| 2002 | ESOP | Soft Concurrent Constraint Programming. | Stefano Bistarelli, Ugo Montanari, Francesca Rossi |
| 2002 | FOSSACS | Minimizing Transition Systems for Name Passing Calculi: A Co-algebraic Formulation. | Gian-Luigi Ferrari, Ugo Montanari, Marco Pistore |
| 2001 | CONCUR | Synchronized Hyperedge Replacement with Name Mobility. | Dan Hirsch, Ugo Montanari |
| 2000 | CONCUR | Bisimilarity Congruences for Open Terms and Term Graphs via Tile Logic. | Roberto Bruni, David de Frutos-Escrig, Narciso Mart-Oliet, Ugo Montanari |
| 2000 | Coordination | Reconfiguration of Software Architecture Styles with Name Mobility. | Dan Hirsch, Paola Inverardi, Ugo Montanari |
| 2000 | ICALP | Graphical Operational Semantics. | Andrea Corradini, Reiko Heckel, Ugo Montanari |
| 2000 | MFCS | pi-Calculus, Structured Coalgebras, and Minimal HD-Automata. | Ugo Montanari, Marco Pistore |
| 1999 | FASE | Executable Tile Specifications for Process Calculi. | Roberto Bruni, Jos Meseguer, Ugo Montanari |
| 1999 | FCT | Tile Transition Systems as Structured Coalgebras. | Andrea Corradini, Reiko Heckel, Ugo Montanari |
| 1999 | FOSSACS | Unfolding and Event Structure Semantics for Graph Grammars. | Paolo Baldan, Andrea Corradini, Ugo Montanari |
| 1999 | LICS | Cartesian Closed Double Categories, Their Lambda-Notation, and the Pi-Calculus. | Roberto Bruni, Ugo Montanari |
| 1999 | TACAS | Finite State Verification for the Asynchronous pi-Calculus. | Ugo Montanari, Marco Pistore |
| 1998 | CAV | Verifying Mobile Processes in the HAL Environment. | Gian-Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Marco Pistore, Gioia Ristori |
| 1998 | FOSSACS | An Event Structure Semantics for P/T Contextual Nets: Asymmetric Event Structures. | Paolo Baldan, Andrea Corradini, Ugo Montanari |
| 1998 | ICALP | Concatenable Graph Processes: Relating Processes and Derivation Traces. | Paolo Baldan, Andrea Corradini, Ugo Montanari |
| 1998 | ICALP | Axioms for Contextual Net Processes. | Fabio Gadducci, Ugo Montanari |
| 1997 | AAAI | Constraints and Agents for a Decentralized Network Infrastructure. | Jean-Marc Andreoli, Uwe M. Borghoff, Remo Pareschi, Stefano Bistarelli, Ugo Montanari, Francesca Rossi |
| 1997 | IJCAI | Semiring-based Constraint Logic Programming. | Stefano Bistarelli, Ugo Montanari, Francesca Rossi |
| 1997 | MFCS | A Tile-Based Coordination View of Asynchronous pi-Calculus. | Gian-Luigi Ferrari, Ugo Montanari |
| 1997 | STACS | Minimal Transition Systems for History-Preserving Bisimulation. | Ugo Montanari, Marco Pistore |
| 1997 | TACAS | An Automated Based Verification Environment for Mobile Processes. | Gian-Luigi Ferrari, Gianluigi Ferro, Stefania Gnesi, Ugo Montanari, Marco Pistore, Gioia Ristori |
| 1996 | Coordination | Graph Rewriting and Constraint Solving for Modelling Distributed Systems with Synchronization (Extended Abstract). | Ugo Montanari, Francesca Rossi |
| 1996 | ESOP | Efficient Minimization up to Location Equivalence. | Ugo Montanari, Marco Pistore, Daniel Yankelevich |
| 1995 | CONCUR | The Weak Late pi-Calculus Semantics as Observation Equivalence. | Gian-Luigi Ferrari, Ugo Montanari, Paola Quaglia |
| 1995 | CONCUR | Checking Bisimilarity for Finitary pi-Calculus. | Ugo Montanari, Marco Pistore |
| 1995 | CP | Semiring-Based CSPs and Valued CSPs: Basic Properties and Comparison. | Stefano Bistarelli, Hlne Fargier, Ugo Montanari, Francesca Rossi, Thomas Schiex, Grard Verfaillie |
| 1995 | IJCAI | Constraint Solving over Semirings. | Stefano Bistarelli, Ugo Montanari, Francesca Rossi |
| 1994 | MFCS | A Pi-Calculus with Explicit Substitutions: the Late Semantics. | Gian-Luigi Ferrari, Ugo Montanari, Paola Quaglia |
| 1993 | ICLP | Contextual Nets and Constraint Logic Programming. | Ugo Montanari, Francesca Rossi, Francisco Bueno, Maria J. Garca de la Banda, Manuel V. Hermenegildo |
| 1992 | CONCUR | On the Semantics of Petri Nets. | Jos Meseguer, Ugo Montanari, Vladimiro Sassone |
| 1992 | ICALP | A Parametric Approach to Localities. | Ugo Montanari, Daniel Yankelevich |
| 1992 | MFCS | Mobility in the CC-Paradigm. | Cosimo Laneve, Ugo Montanari |
| 1992 | MPC | True Concurrency: Theory and Practice. | Ugo Montanari |
| 1991 | CONCUR | The Observation Algebra of Spatial Pomsets. | Gian-Luigi Ferrari, Ugo Montanari |
| 1991 | ICLP | Perfect Relaxation in Constraint Logic Programming. | Ugo Montanari, Francesca Rossi |
| 1991 | MFCS | CCS Dynamic Bisimulation is Progressing. | Ugo Montanari, Vladimiro Sassone |
| 1990 | CONCUR | SCONE: A Simple Calculus of Nets. | Roberto Gorrieri, Ugo Montanari |
| 1990 | CONCUR | Back and Forth Bisimulations. | Rocco De Nicola, Ugo Montanari, Frits W. Vaandrager |
| 1990 | STACS | Towards a Process Semantics in the Logic Programming Style. | Andrea Corradini, Ugo Montanari |
| 1989 | KR | Exact Solution in Linear Time of Networks of Constraints Using Perfect Relaxation. | Francesca Rossi, Ugo Montanari |
| 1989 | LICS | Axiomatizing Net Computations and Processes | Pierpaolo Degano, Jos Meseguer, Ugo Montanari |
| 1988 | LICS | On the Consistency of "Truly Concurrent" Operational and Denotational Semantics (Extended Abstract) | Pierpaolo Degano, Rocco De Nicola, Ugo Montanari |
| 1988 | LICS | Petri Nets Are Monoids: A New Algebraic Foundation for Net Theory | Jos Meseguer, Ugo Montanari |
| 1985 | FCT | Partial ordering derivations for CCS. | Pierpaolo Degano, Rocco De Nicola, Ugo Montanari |
| 1984 | STOC | Liveness Properties as Convergence in Metric Spaces | Pierpaolo Degano, Ugo Montanari |
| 1981 | ICDCS | Communication Through Message Passing or Shared Memory: A Formal Comparison. | Rocco De Nicola, Alberto Martelli, Ugo Montanari |
| 1979 | ICSE | A Flexible Environment for Program Development Based on a Symbolic Interpreter. | Patrizia Asirelli, Pierpaolo Degano, Giorgio Levi, Alberto Martelli, Ugo Montanari, Giuliano Pacini, Franco Sirovich, Franco Turini |
| 1977 | IJCAI | Theorem Proving with Structure Sharing and Efficient Unification. | Alberto Martelli, Ugo Montanari |
| 1976 | MFCS | Observability Concepts in Abstract Data Type Specifications. | V. Giarratana, F. Gimona, Ugo Montanari |
| 1975 | IJCAI | Form Dynamic Programming To Search Algorithms With Functional Costs. | Alberto Martelli, Ugo Montanari |
| 1974 | ICALP | Dynamic Programming Schemata. | Alberto Martelli, Ugo Montanari |
| 1973 | IJCAI | Additive AND/OR Graphs. | Alberto Martelli, Ugo Montanari |
| 1973 | MFCS | Towards a Formal Definition of the Control in Structured Programs. | Luigia Carlucci Aiello, Ugo Montanari |