Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Maria Grazia Buscemi
Observed names:
BUSCEMI M. G,
Buscemi, Maria Grazia,
M.G. Buscemi
Observed institutions:
University of Pisa,
IMT School for Advanced Studies Lucca,
University of Catania
OpenAlex ID:
A5022685369
CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements
2007
·
Maria Grazia Buscemi
, Ugo Montanari
·
Lecture notes in computer science
·
146
Open Bisimulation for the Concurrent Constraint Pi-Calculus
2008
·
Maria Grazia Buscemi
, Ugo Montanari
·
Springer eBooks
·
41
A Framework for the Analysis of Security Protocols*
2002
·
Michele Boreale
, Maria Grazia Buscemi
·
Lecture notes in computer science
·
38
High-Level Petri Nets as Type Theories in the Join Calculus
2001
·
Maria Grazia Buscemi
, Vladimiro Sassone
·
Lecture notes in computer science
·
37
Experimenting with STA, a tool for automatic analysis of security protocols
2002
·
Michele Boreale
, Maria Grazia Buscemi
·
ACM Symposium on Applied Computing
·
35
A First Order Coalgebraic Model of π-Calculus Early Observational Equivalence*
2002
·
Maria Grazia Buscemi
, Ugo Montanari
·
Lecture notes in computer science
·
23
Adaptive fuzzy-valued service selection
2010
·
Davide Bacciu
, Maria Grazia Buscemi
, et al.
·
ACM Symposium on Applied Computing
·
20
D-Fusion: A Distinctive Fusion Calculus
2004
·
Michele Boreale
, Maria Grazia Buscemi
, et al.
·
Lecture notes in computer science
·
19
Programming Languages and Systems
2007
·
BUSCEMI M. G
, MONTANARI, UGO GIOVANNI ERASMO
·
Lecture notes in computer science
·
16
A survey of constraint-based programming paradigms
2008
·
Maria Grazia Buscemi
, Ugo Montanari
·
Computer Science Review
·
15
QoS negotiation in service composition
2010
·
Maria Grazia Buscemi
, Ugo Montanari
·
The Journal of Logic and Algebraic Programming
·
14
A method for symbolic analysis of security protocols
2005
·
Michele Boreale
, Maria Grazia Buscemi
·
Theoretical Computer Science
·
14
PDF
Symbolic Analysis of Crypto-Protocols Based on Modular Exponentiation
2003
·
Michele Boreale
, Maria Grazia Buscemi
·
Lecture notes in computer science
·
13
A Presheaf Environment for the Explicit Fusion Calculus
2011
·
Filippo Bonchi
, Maria Grazia Buscemi
, et al.
·
Journal of Automated Reasoning
·
12
Transactional Service Level Agreement
2008
·
Maria Grazia Buscemi
, Hernán Melgratti
·
Springer eBooks
·
10
Constraint-Based Policy Negotiation and Enforcement for Telco Services
2007
·
Maria Grazia Buscemi
, Laura Ferrari
, et al.
·
International Symposium on Theoretical Aspects of Software Engineering (TASE)
·
10
A General Name Binding Mechanism
2005
·
Michele Boreale
, Maria Grazia Buscemi
, et al.
·
Lecture notes in computer science
·
9
Constraints for Service Contracts
2012
·
Maria Grazia Buscemi
, Mario Coppo
, et al.
·
Lecture notes in computer science
·
8
CC-Pi: A Constraint Language for Service Negotiation and Composition
2011
·
Maria Grazia Buscemi
, Ugo Montanari
·
Lecture notes in computer science
·
8
A Game-Theoretic Analysis of Grid Job Scheduling
2012
·
Maria Grazia Buscemi
, Ugo Montanari
, et al.
·
Journal of Grid Computing
·
7
A Category of Explicit Fusions
2008
·
Filippo Bonchi
, Maria Grazia Buscemi
, et al.
·
Lecture notes in computer science
·
6
A Compositional Coalgebraic Model of a Fragment of Fusion Calculus
2006
·
Maria Grazia Buscemi
, Ugo Montanari
·
Electronic Notes in Theoretical Computer Science
·
4
PDF
A compositional coalgebraic model of fusion calculus
2007
·
Maria Grazia Buscemi
, Ugo Montanari
·
The Journal of Logic and Algebraic Programming
·
3
Adaptive Service Selection - A Fuzzy-valued Matchmaking Approach
2009
·
Davide Bacciu
, Maria Grazia Buscemi
, et al.
·
UnipiEprints Open Archive (Università di Pisa)
·
2
Abstract Processes in Orchestration Languages
2009
·
Maria Grazia Buscemi
, Hernán Melgratti
·
Lecture notes in computer science
·
2
Show more works
View as search
Works count:
39
Citation count:
515
H-index:
13
I10-index:
16
Year
Topic
Type
