| 2010 | SAC | Adaptive fuzzy-valued service selection. | Davide Bacciu, Maria Grazia Buscemi, Lusine Mkrtchyan |
| 2009 | ESOP | Abstract Processes in Orchestration Languages. | Maria Grazia Buscemi, Hernn C. Melgratti |
| 2008 | ESOP | Open Bisimulation for the Concurrent Constraint Pi-Calculus. | Maria Grazia Buscemi, 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 |
| 2004 | APLAS | D-Fusion: A Distinctive Fusion Calculus. | Michele Boreale, Maria Grazia Buscemi, Ugo Montanari |
| 2003 | MFCS | Symbolic Analysis of Crypto-Protocols Based on Modular Exponentiation. | Michele Boreale, Maria Grazia Buscemi |
| 2002 | CONCUR | A Framework for the Analysis of Security Protocols. | Michele Boreale, Maria Grazia Buscemi |
| 2002 | CONCUR | A First Order Coalgebraic Model of pi-Calculus Early Observational Equivalence. | Maria Grazia Buscemi, Ugo Montanari |
| 2002 | SAC | Experimenting with STA, a tool for automatic analysis of security protocols. | Michele Boreale, Maria Grazia Buscemi |
| 2001 | FOSSACS | High-Level Petri Nets as Type Theories in the Join Calculus. | Maria Grazia Buscemi, Vladimiro Sassone |