The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Maria Grazia Buscemi: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Michele Boreale, Maria Grazia Buscemi, Ugo Montanari
    D-Fusion: A Distinctive Fusion Calculus. [Citation Graph (0, 0)][DBLP]
    APLAS, 2004, pp:296-310 [Conf]
  2. Michele Boreale, Maria Grazia Buscemi
    A Framework for the Analysis of Security Protocols. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2002, pp:483-498 [Conf]
  3. Maria Grazia Buscemi, Ugo Montanari
    A First Order Coalgebraic Model of pi-Calculus Early Observational Equivalence. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2002, pp:449-465 [Conf]
  4. Maria Grazia Buscemi, Vladimiro Sassone
    High-Level Petri Nets as Type Theories in the Join Calculus. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2001, pp:104-120 [Conf]
  5. Michele Boreale, Maria Grazia Buscemi
    Symbolic Analysis of Crypto-Protocols Based on Modular Exponentiation. [Citation Graph (0, 0)][DBLP]
    MFCS, 2003, pp:269-278 [Conf]
  6. Michele Boreale, Maria Grazia Buscemi
    Experimenting with STA, a tool for automatic analysis of security protocols. [Citation Graph (0, 0)][DBLP]
    SAC, 2002, pp:281-285 [Conf]
  7. Michele Boreale, Maria Grazia Buscemi, Ugo Montanari
    A General Name Binding Mechanism. [Citation Graph (0, 0)][DBLP]
    TGC, 2005, pp:61-74 [Conf]
  8. Maria Grazia Buscemi, Ugo Montanari
    A Compositional Coalgebraic Model of a Fragment of Fusion Calculus. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:162, n:, pp:135-139 [Journal]
  9. Michele Boreale, Maria Grazia Buscemi
    A method for symbolic analysis of security protocols. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:338, n:1-3, pp:393-425 [Journal]
  10. Maria Grazia Buscemi, Ugo Montanari
    CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements. [Citation Graph (0, 0)][DBLP]
    ESOP, 2007, pp:18-32 [Conf]
  11. Maria Grazia Buscemi, Laura Ferrari, Corrado Moiso, Ugo Montanari
    Constraint-Based Policy Negotiation and Enforcement for Telco Services. [Citation Graph (0, 0)][DBLP]
    TASE, 2007, pp:463-472 [Conf]
  12. Maria Grazia Buscemi, Ugo Montanari
    A compositional coalgebraic model of fusion calculus. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2007, v:72, n:1, pp:78-97 [Journal]

  13. A Category of Explicit Fusions. [Citation Graph (, )][DBLP]


  14. Open Bisimulation for the Concurrent Constraint Pi-Calculus. [Citation Graph (, )][DBLP]


  15. Abstract Processes in Orchestration Languages. [Citation Graph (, )][DBLP]


  16. Adaptive fuzzy-valued service selection. [Citation Graph (, )][DBLP]


  17. Transactional Service Level Agreement. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.002secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002