Maria Grazia Buscemi

26 papers A 3B 5Misc 4Journal 6Unranked 6
YearRankTypeTitle / Venue / Authors
2012 J jnl
A Game-Theoretic Analysis of Grid Job Scheduling.
J. Grid Comput.
Maria Grazia Buscemi, Ugo Montanari, Sonia Taneja
2012 J jnl
A Presheaf Environment for the Explicit Fusion Calculus.
J. Autom. Reason.
Filippo Bonchi, Maria Grazia Buscemi, Vincenzo Ciancia, Fabio Gadducci
2011 — ch.
CC-Pi: A Constraint Language for Service Negotiation and Composition.
Results of the SENSORIA Project
Maria Grazia Buscemi, Ugo Montanari
2011 — conf
Constraints for Service Contracts.
TGC
Maria Grazia Buscemi, Mario Coppo, Mariangiola Dezani-Ciancaglini, Ugo Montanari
2011 J jnl
QoS negotiation in service composition.
J. Log. Algebraic Methods Program.
Maria Grazia Buscemi, Ugo Montanari
2010 Misc conf
Adaptive fuzzy-valued service selection.
SAC
Davide Bacciu, Maria Grazia Buscemi, Lusine Mkrtchyan
2010 Misc conf
Contracts for Abstract Processes in Service Composition
FIT
Maria Grazia Buscemi, Hernán C. Melgratti
2010 — conf
Toward a Game-Theoretic Model of Grid Systems.
TGC
Maria Grazia Buscemi, Ugo Montanari, Sonia Taneja
2009 A conf
Abstract Processes in Orchestration Languages.
ESOP
Maria Grazia Buscemi, Hernán C. Melgratti
2008 — conf
A Category of Explicit Fusions.
Concurrency, Graphs and Models
Filippo Bonchi, Maria Grazia Buscemi, Vincenzo Ciancia, Fabio Gadducci
2008 J jnl
A survey of constraint-based programming paradigms.
Comput. Sci. Rev.
Maria Grazia Buscemi, Ugo Montanari
2008 A conf
Open Bisimulation for the Concurrent Constraint Pi-Calculus.
ESOP
Maria Grazia Buscemi, Ugo Montanari
2007 J jnl
A compositional coalgebraic model of fusion calculus.
J. Log. Algebraic Methods Program.
Maria Grazia Buscemi, Ugo Montanari
2007 A conf
CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements.
ESOP
Maria Grazia Buscemi, Ugo Montanari
2007 Misc conf
Constraint-Based Policy Negotiation and Enforcement for Telco Services.
TASE
Maria Grazia Buscemi, Laura Ferrari, Corrado Moiso, Ugo Montanari
2007 — conf
Transactional Service Level Agreement.
TGC
Maria Grazia Buscemi, Hernán C. Melgratti
2005 — conf
A Compositional Coalgebraic Model of a Fragment of Fusion Calculus.
APC 25
Maria Grazia Buscemi, Ugo Montanari
2005 — conf
A General Name Binding Mechanism.
TGC
Michele Boreale, Maria Grazia Buscemi, Ugo Montanari
2005 J jnl
A method for symbolic analysis of security protocols.
Theor. Comput. Sci.
Michele Boreale, Maria Grazia Buscemi
2004 B conf
D-Fusion: A Distinctive Fusion Calculus.
APLAS
Michele Boreale, Maria Grazia Buscemi, Ugo Montanari
2003 — —
Models for mobility and security in distributed systems.
Maria Grazia Buscemi
2003 B conf
Symbolic Analysis of Crypto-Protocols Based on Modular Exponentiation.
MFCS
Michele Boreale, Maria Grazia Buscemi
2002 B conf
A First Order Coalgebraic Model of pi-Calculus Early Observational Equivalence.
CONCUR
Maria Grazia Buscemi, Ugo Montanari
2002 B conf
A Framework for the Analysis of Security Protocols.
CONCUR
Michele Boreale, Maria Grazia Buscemi
2002 Misc conf
Experimenting with STA, a tool for automatic analysis of security protocols.
SAC
Michele Boreale, Maria Grazia Buscemi
2001 B conf
High-Level Petri Nets as Type Theories in the Join Calculus.
FoSSaCS
Maria Grazia Buscemi, Vladimiro Sassone