Maria Grazia Buscemi Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2012
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Maria Grazia Buscemi, Ugo Montanari, Sonia Taneja: A Game-Theoretic Analysis of Grid Job Scheduling. J. Grid Comput. 10(3): 501-519 (2012)
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Filippo Bonchi, Maria Grazia Buscemi, Vincenzo Ciancia, Fabio Gadducci: A Presheaf Environment for the Explicit Fusion Calculus. J. Autom. Reasoning 49(2): 161-183 (2012)
2011
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Maria Grazia Buscemi, Ugo Montanari: QoS negotiation in service composition. J. Log. Algebr. Program. 80(1): 13-24 (2011)
p1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Maria Grazia Buscemi, Ugo Montanari: CC-Pi: A Constraint Language for Service Negotiation and Composition. Results of the SENSORIA Project 2011: 262-281
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Maria Grazia Buscemi, Mario Coppo, Mariangiola Dezani-Ciancaglini, Ugo Montanari: Constraints for Service Contracts. TGC 2011: 104-120
2010
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Davide Bacciu, Maria Grazia Buscemi, Lusine Mkrtchyan: Adaptive fuzzy-valued service selection. SAC 2010: 2467-2471
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Maria Grazia Buscemi, Ugo Montanari, Sonia Taneja: Toward a Game-Theoretic Model of Grid Systems. TGC 2010: 57-72
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Maria Grazia Buscemi, Hernán C. Melgratti: Contracts for Abstract Processes in Service Composition. FIT 2010: 9-27
2009
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Maria Grazia Buscemi, Hernán C. Melgratti: Abstract Processes in Orchestration Languages. ESOP 2009: 301-315
2008
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Maria Grazia Buscemi, Ugo Montanari: A survey of constraint-based programming paradigms. Computer Science Review 2(3): 137-141 (2008)
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Filippo Bonchi, Maria Grazia Buscemi, Vincenzo Ciancia, Fabio Gadducci: A Category of Explicit Fusions. Concurrency, Graphs and Models 2008: 544-562
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Maria Grazia Buscemi, Ugo Montanari: Open Bisimulation for the Concurrent Constraint Pi-Calculus. ESOP 2008: 254-268
2007
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Maria Grazia Buscemi, Ugo Montanari: A compositional coalgebraic model of fusion calculus. J. Log. Algebr. Program. 72(1): 78-97 (2007)
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Maria Grazia Buscemi, Ugo Montanari: CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements. ESOP 2007: 18-32
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Maria Grazia Buscemi, Laura Ferrari, Corrado Moiso, Ugo Montanari: Constraint-Based Policy Negotiation and Enforcement for Telco Services. TASE 2007: 463-472
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Maria Grazia Buscemi, Hernán C. Melgratti: Transactional Service Level Agreement. TGC 2007: 124-139
2006
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Maria Grazia Buscemi, Ugo Montanari: A Compositional Coalgebraic Model of a Fragment of Fusion Calculus. Electr. Notes Theor. Comput. Sci. 162: 135-139 (2006)
2005
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michele Boreale, Maria Grazia Buscemi: A method for symbolic analysis of security protocols. Theor. Comput. Sci. 338(1-3): 393-425 (2005)
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michele Boreale, Maria Grazia Buscemi, Ugo Montanari: A General Name Binding Mechanism. TGC 2005: 61-74
2004
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michele Boreale, Maria Grazia Buscemi, Ugo Montanari: D-Fusion: A Distinctive Fusion Calculus. APLAS 2004: 296-310
2003
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michele Boreale, Maria Grazia Buscemi: Symbolic Analysis of Crypto-Protocols Based on Modular Exponentiation. MFCS 2003: 269-278
2002
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Maria Grazia Buscemi, Ugo Montanari: A First Order Coalgebraic Model of pi-Calculus Early Observational Equivalence. CONCUR 2002: 449-465
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michele Boreale, Maria Grazia Buscemi: A Framework for the Analysis of Security Protocols. CONCUR 2002: 483-498
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michele Boreale, Maria Grazia Buscemi: Experimenting with STA, a tool for automatic analysis of security protocols. SAC 2002: 281-285
2001
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Maria Grazia Buscemi, Vladimiro Sassone: High-Level Petri Nets as Type Theories in the Join Calculus. FoSSaCS 2001: 104-120

Coauthor Index

1Davide Bacciu
[c16]
2Filippo Bonchi
[j6] [c12]
3Michele Boreale
[j1] [c7] [c6] [c5] [c3] [c2]
4Vincenzo Ciancia
[j6] [c12]
5Mario Coppo
[c17]
6Mariangiola Dezani-Ciancaglini (Mariangiola Dezani)
[c17]
7Laura Ferrari
[c9]
8Fabio Gadducci
[j6] [c12]
9Hernán C. Melgratti
[c14] [c13] [c8]
10Lusine Mkrtchyan
[c16]
11Corrado Moiso
[c9]
12Ugo Montanari
[j7] [j5] [p1] [c17] [c15] [j4] [c11] [j3] [c10] [c9] [j2] [c7] [c6] [c4]
13Vladimiro Sassone
[c1]
14Sonia Taneja
[j7] [c15]
Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Fri May 24 05:21:21 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page