High-Level Petri Nets as Type Theories in the Join Calculus. - Maria Grazia Buscemi; Vladimiro Sassone (FoSSaCS, 2001)

A Framework for the Analysis of Security Protocols. - Michele Boreale; Maria Grazia Buscemi (CONCUR, 2002)

A First Order Coalgebraic Model of pi-Calculus Early Observational Equivalence. - Maria Grazia Buscemi; Ugo Montanari (CONCUR, 2002)

Experimenting with STA, a tool for automatic analysis of security protocols. - Michele Boreale; Maria Grazia Buscemi (SAC, 2002)

Symbolic Analysis of Crypto-Protocols Based on Modular Exponentiation. - Michele Boreale; Maria Grazia Buscemi (MFCS, 2003)

Models for mobility and security in distributed systems. - Maria Grazia Buscemi (2003)

D-Fusion: A Distinctive Fusion Calculus. - Michele Boreale; Maria Grazia Buscemi; Ugo Montanari (APLAS, 2004)

A General Name Binding Mechanism. - Michele Boreale; Maria Grazia Buscemi; Ugo Montanari (TGC, 2005)

A Compositional Coalgebraic Model of a Fragment of Fusion Calculus. - Maria Grazia Buscemi; Ugo Montanari (APC 25, 2005)

A method for symbolic analysis of security protocols. - Michele Boreale; Maria Grazia Buscemi (Theor. Comput. Sci., 2005)

CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements. - Maria Grazia Buscemi; Ugo Montanari (ESOP, 2007)

Constraint-Based Policy Negotiation and Enforcement for Telco Services. - Maria Grazia Buscemi; Laura Ferrari; Corrado Moiso; Ugo Montanari (TASE, 2007)

Transactional Service Level Agreement. - Maria Grazia Buscemi; Hernán C. Melgratti (TGC, 2007)

A compositional coalgebraic model of fusion calculus. - Maria Grazia Buscemi; Ugo Montanari (J. Log. Algebraic Methods Program., 2007)

A Category of Explicit Fusions. - Filippo Bonchi; Maria Grazia Buscemi; Vincenzo Ciancia; Fabio Gadducci (Concurrency, Graphs and Models, 2008)

Open Bisimulation for the Concurrent Constraint Pi-Calculus. - Maria Grazia Buscemi; Ugo Montanari (ESOP, 2008)

A survey of constraint-based programming paradigms. - Maria Grazia Buscemi; Ugo Montanari (Comput. Sci. Rev., 2008)

Abstract Processes in Orchestration Languages. - Maria Grazia Buscemi; Hernán C. Melgratti (ESOP, 2009)

Adaptive fuzzy-valued service selection. - Davide Bacciu; Maria Grazia Buscemi; Lusine Mkrtchyan (SAC, 2010)

Toward a Game-Theoretic Model of Grid Systems. - Maria Grazia Buscemi; Ugo Montanari; Sonia Taneja (TGC, 2010)

Contracts for Abstract Processes in Service Composition - Maria Grazia Buscemi; Hernán C. Melgratti (FIT, 2010)

CC-Pi: A Constraint Language for Service Negotiation and Composition. - Maria Grazia Buscemi; Ugo Montanari (Results of the SENSORIA Project, 2011)

Constraints for Service Contracts. - Maria Grazia Buscemi; Mario Coppo; Mariangiola Dezani-Ciancaglini; Ugo Montanari (TGC, 2011)

QoS negotiation in service composition. - Maria Grazia Buscemi; Ugo Montanari (J. Log. Algebraic Methods Program., 2011)

A Game-Theoretic Analysis of Grid Job Scheduling. - Maria Grazia Buscemi; Ugo Montanari; Sonia Taneja (J. Grid Comput., 2012)

A Presheaf Environment for the Explicit Fusion Calculus. - Filippo Bonchi; Maria Grazia Buscemi; Vincenzo Ciancia; Fabio Gadducci (J. Autom. Reason., 2012)