| 2007 | CiE | Computing with Genetic Gates. | Nadia Busi, Claudio Zandron |
| 2007 | CONCUR | On the Expressive Power of Global and Local Priority in Process Calculi. | Cristian Versari, Nadia Busi, Roberto Gorrieri |
| 2007 | FCT | On the Computational Power of Genetic Gates with Interleaving Semantics: The Power of Inhibition and Degradation. | Nadia Busi, Claudio Zandron |
| 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 |
| 2006 | PPSN | Some Notes on (Mem)Brane Computation. | Nadia Busi, Miguel Angel Gutirrez-Naranjo |
| 2006 | WSC | Modeling and analysis of biological processes by mem(brane) calculi and systems. | Nadia Busi, Claudio Zandron |
| 2006 | SYNASC | Characterizing Workflow Nets Using Regions. | Nadia Busi, G. Michele Pinna |
| 2005 | Coordination | Prioritized and Parallel Reactions in Shared Data Space Coordination Languages. | Nadia Busi, Gianluigi Zavattaro |
| 2005 | ESOP | Deciding Reachability in Mobile Ambients. | 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 | ICALP | Comparing Recursion, Replication, and Iteration in Process Calculi. | Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro |
| 2003 | ICALP | Replication vs. Recursive Definitions in Channel Based Calculi. | Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro |
| 2003 | SAC | PeerSpaces: Data-driven Coordination in Peer-to-Peer Networks. | Nadia Busi, Cristian Manfredini, Alberto Montresor, Gianluigi Zavattaro |
| 2002 | Coordination | State- and Event-Based Reactive Programming in Shared Dataspaces. | Nadia Busi, Antony I. T. Rowstron, Gianluigi Zavattaro |
| 2002 | Networking | Towards a Data-Driven Coordination Infrastructure for Peer-to-Peer Systems. | Nadia Busi, Cristian Manfredini, Alberto Montresor, Gianluigi Zavattaro |
| 2002 | SAC | On the serializability of transactions in shared dataspaces with temporary data. | Nadia Busi, Gianluigi Zavattaro |
| 2001 | FOSSACS | Temporary Data in Shared Dataspace Coordination Languages. | Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro |
| 2001 | WETICE | Publish/Subscribe vs. Shared Dataspace Coordination Infrastructures: Is It Just a Matter of Taste?. | Nadia Busi, Gianluigi Zavattaro |
| 2000 | CONCUR | Functorial Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs. | Paolo Baldan, Nadia Busi, Andrea Corradini, G. Michele Pinna |
| 2000 | ESOP | On the Expressiveness of Event Notification in Data-Driven Coordination Languages. | Nadia Busi, Gianluigi Zavattaro |
| 2000 | FORTE | Compact Net Semantics for Process Algebras. | Marco Bernardo, Marina Ribaudo, Nadia Busi |
| 2000 | ICALP | Integrating Two Towers and GreatSPN. | Marco Bernardo, Nadia Busi, Marina Ribaudo |
| 2000 | SAC | Event Notification in Data-driven Coordination Languages: Comparing the Ordered and Unordered Interpretations. | Nadia Busi, Gianluigi Zavattaro |
| 1997 | CONCUR | Synthesis of Nets with Inhibitor Arcs. | Nadia Busi, G. Michele Pinna |
| 1997 | Coordination | Three Semantics of the Output Operation for Generative Communication. | Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro |
| 1995 | CONCUR | A Petri Net Semantics for pi-Calculus. | Nadia Busi, Roberto Gorrieri |