Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Maria Grazia Buscemi" ( http://dblp.L3S.de/Authors/Maria_Grazia_Buscemi )

URL (Homepage):  http://www.di.unipi.it/~buscemi/  Author page on DBLP  Author page in RDF  Community of Maria Grazia Buscemi in ASPL-2

Publication years (Num. hits)
2001-2008 (16) 2009-2011 (6)
Publication types (Num. hits)
article(5) incollection(1) inproceedings(16)
Venues (Conferences, Journals, ...)
ESOP(3) TGC(3) CONCUR(2) J. Log. Algebr. Program.(2) SAC(2) APLAS(1) Computer Science Review(1) Concurrency, Graphs and Models(1) Electr. Notes Theor. Comput. S...(1) FIT(1) FoSSaCS(1) MFCS(1) Results of the SENSORIA Projec...(1) TASE(1) Theor. Comput. Sci.(1)
Authors
Maria Grazia Buscemi(22) Ugo Montanari(12) Michele Boreale(6) Hernán C. Melgratti(3) Corrado Moiso(1) Davide Bacciu(1) Fabio Gadducci(1) Filippo Bonchi(1) Laura Ferrari(1) Lusine Mkrtchyan(1) Sonia Taneja(1) Vincenzo Ciancia(1) Vladimiro Sassone(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1 occurrences of 1 keywords
Results
Found 22 publication records. Showing 22 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Maria Grazia Buscemi, Ugo Montanari QoS negotiation in service composition. Search on Bibsonomy J. Log. Algebr. Program. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Maria Grazia Buscemi, Ugo Montanari CC-Pi: A Constraint Language for Service Negotiation and Composition. Search on Bibsonomy Results of the SENSORIA Project The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Maria Grazia Buscemi, Hernán C. Melgratti Contracts for Abstract Processes in Service Composition Search on Bibsonomy FIT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Davide Bacciu, Maria Grazia Buscemi, Lusine Mkrtchyan Adaptive fuzzy-valued service selection. Search on Bibsonomy SAC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF QoS monitoring, fuzzy matchmaking, service selection
1Maria Grazia Buscemi, Ugo Montanari, Sonia Taneja Toward a Game-Theoretic Model of Grid Systems. Search on Bibsonomy TGC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Maria Grazia Buscemi, Hernán C. Melgratti Abstract Processes in Orchestration Languages. Search on Bibsonomy ESOP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Maria Grazia Buscemi, Ugo Montanari A survey of constraint-based programming paradigms. Search on Bibsonomy Computer Science Review The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Filippo Bonchi, Maria Grazia Buscemi, Vincenzo Ciancia, Fabio Gadducci A Category of Explicit Fusions. Search on Bibsonomy Concurrency, Graphs and Models The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Maria Grazia Buscemi, Ugo Montanari Open Bisimulation for the Concurrent Constraint Pi-Calculus. Search on Bibsonomy ESOP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Maria Grazia Buscemi, Ugo Montanari A compositional coalgebraic model of fusion calculus. Search on Bibsonomy J. Log. Algebr. Program. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Maria Grazia Buscemi, Laura Ferrari, Corrado Moiso, Ugo Montanari Constraint-Based Policy Negotiation and Enforcement for Telco Services. Search on Bibsonomy TASE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Maria Grazia Buscemi, Hernán C. Melgratti Transactional Service Level Agreement. Search on Bibsonomy TGC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Maria Grazia Buscemi, Ugo Montanari CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements. Search on Bibsonomy ESOP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Maria Grazia Buscemi, Ugo Montanari A Compositional Coalgebraic Model of a Fragment of Fusion Calculus. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Michele Boreale, Maria Grazia Buscemi A method for symbolic analysis of security protocols. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Michele Boreale, Maria Grazia Buscemi, Ugo Montanari A General Name Binding Mechanism. Search on Bibsonomy TGC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Michele Boreale, Maria Grazia Buscemi, Ugo Montanari D-Fusion: A Distinctive Fusion Calculus. Search on Bibsonomy APLAS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Michele Boreale, Maria Grazia Buscemi Symbolic Analysis of Crypto-Protocols Based on Modular Exponentiation. Search on Bibsonomy MFCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Maria Grazia Buscemi, Ugo Montanari A First Order Coalgebraic Model of pi-Calculus Early Observational Equivalence. Search on Bibsonomy CONCUR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Michele Boreale, Maria Grazia Buscemi A Framework for the Analysis of Security Protocols. Search on Bibsonomy CONCUR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Michele Boreale, Maria Grazia Buscemi Experimenting with STA, a tool for automatic analysis of security protocols. Search on Bibsonomy SAC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Maria Grazia Buscemi, Vladimiro Sassone High-Level Petri Nets as Type Theories in the Join Calculus. Search on Bibsonomy FoSSaCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #22 of 22 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.