The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Paola Quaglia: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Paola Quaglia
    Pi-Congruences as CCS Equivalences. [Citation Graph (0, 0)][DBLP]
    AMAST, 1998, pp:358-372 [Conf]
  2. Radu Mardare, Corrado Priami, Paola Quaglia, Oleksandr Vagin
    Model Checking Biological Systems Described Using Ambient Calculus. [Citation Graph (0, 0)][DBLP]
    CMSB, 2004, pp:85-103 [Conf]
  3. Corrado Priami, Paola Quaglia
    Beta Binders for Biological Interactions. [Citation Graph (0, 0)][DBLP]
    CMSB, 2004, pp:20-33 [Conf]
  4. Gian Luigi Ferrari, Ugo Montanari, Paola Quaglia
    The Weak Late pi-Calculus Semantics as Observation Equivalence. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1995, pp:57-71 [Conf]
  5. Paola Quaglia, David Walker
    On Synchronous and Asynchronous Mobile Processes. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2000, pp:283-296 [Conf]
  6. Paola Quaglia, David Walker
    On Encoding p-pi in m-pi. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1998, pp:42-53 [Conf]
  7. Katerina Pokozy-Korenblat, Corrado Priami, Paola Quaglia
    Performance Analysis of a UML Micro-business Case Study. [Citation Graph (0, 0)][DBLP]
    Global Computing, 2004, pp:107-126 [Conf]
  8. Gian Luigi Ferrari, Ugo Montanari, Paola Quaglia
    A Pi-Calculus with Explicit Substitutions: the Late Semantics. [Citation Graph (0, 0)][DBLP]
    MFCS, 1994, pp:342-351 [Conf]
  9. Jan Himmelspach, Paola Lecca, Davide Prandi, Corrado Priami, Paola Quaglia, Adelinde Uhrmacher
    Developing An Hierarchical Simulator for Beta-binders. [Citation Graph (0, 0)][DBLP]
    PADS, 2006, pp:92-102 [Conf]
  10. Diego Latella, Paola Quaglia
    A Fully Parallel Calculus of Synchronizing Processes. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1993, pp:732-745 [Conf]
  11. Corrado Priami, Paola Quaglia
    Modelling the dynamics of biosystems. [Citation Graph (0, 0)][DBLP]
    Briefings in Bioinformatics, 2004, v:5, n:3, pp:259-269 [Journal]
  12. Davide Prandi, Corrado Priami, Paola Quaglia
    Process Calculi in a Biological Context. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 2005, v:85, n:, pp:53-69 [Journal]
  13. Paola Quaglia
    The Pi-Calculus: Notes on Labelled Semantic. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1999, v:68, n:, pp:104-114 [Journal]
  14. Pierpaolo Degano, Davide Prandi, Corrado Priami, Paola Quaglia
    Beta-binders for Biological Quantitative Experiments. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:164, n:3, pp:101-117 [Journal]
  15. Paola Quaglia, David Walker
    Types and full abstraction for polyadic pi-calculus. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2005, v:200, n:2, pp:215-246 [Journal]
  16. Gian Luigi Ferrari, Ugo Montanari, Paola Quaglia
    A Pi-Calculus with Explicit Substitutions. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1996, v:168, n:1, pp:53-103 [Journal]
  17. Paola Quaglia
    Explicit substitutions for pi-congruences. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2001, v:269, n:1-2, pp:83-134 [Journal]
  18. Federica Ciocchetta, Corrado Priami, Paola Quaglia
    Modeling Kohn Interaction Maps with Beta-Binders: An Example. [Citation Graph (0, 0)][DBLP]
    , 2005, v:, n:, pp:33-48 [Journal]
  19. Corrado Priami, Paola Quaglia
    Operational Patterns in Beta-Binders. [Citation Graph (0, 0)][DBLP]
    T. Comp. Sys. Biology, 2005, v:1, n:, pp:50-65 [Journal]
  20. Davide Prandi, Paola Quaglia
    Stochastic COWS. [Citation Graph (0, 0)][DBLP]
    ICSOC, 2007, pp:245-256 [Conf]

  21. On Beta-Binders Communications. [Citation Graph (, )][DBLP]


  22. BlenX4Bio - BlenX for Biologists. [Citation Graph (, )][DBLP]


  23. BlenX Static and Dynamic Semantics. [Citation Graph (, )][DBLP]


  24. Formal Analysis of BPMN Via a Translation into COWS. [Citation Graph (, )][DBLP]


  25. Proceedings Third Workshop From Biology To Concurrency and back [Citation Graph (, )][DBLP]


  26. A Translation of Beta-binders in a Prioritized Pi-calculus. [Citation Graph (, )][DBLP]


Search in 0.069secs, Finished in 0.070secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002