|
Search the dblp DataBase
Paola Quaglia:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Paola Quaglia
Pi-Congruences as CCS Equivalences. [Citation Graph (0, 0)][DBLP] AMAST, 1998, pp:358-372 [Conf]
- 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]
- Corrado Priami, Paola Quaglia
Beta Binders for Biological Interactions. [Citation Graph (0, 0)][DBLP] CMSB, 2004, pp:20-33 [Conf]
- 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]
- Paola Quaglia, David Walker
On Synchronous and Asynchronous Mobile Processes. [Citation Graph (0, 0)][DBLP] FoSSaCS, 2000, pp:283-296 [Conf]
- Paola Quaglia, David Walker
On Encoding p-pi in m-pi. [Citation Graph (0, 0)][DBLP] FSTTCS, 1998, pp:42-53 [Conf]
- 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]
- 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]
- 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]
- Diego Latella, Paola Quaglia
A Fully Parallel Calculus of Synchronizing Processes. [Citation Graph (0, 0)][DBLP] TAPSOFT, 1993, pp:732-745 [Conf]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- Davide Prandi, Paola Quaglia
Stochastic COWS. [Citation Graph (0, 0)][DBLP] ICSOC, 2007, pp:245-256 [Conf]
On Beta-Binders Communications. [Citation Graph (, )][DBLP]
BlenX4Bio - BlenX for Biologists. [Citation Graph (, )][DBLP]
BlenX Static and Dynamic Semantics. [Citation Graph (, )][DBLP]
Formal Analysis of BPMN Via a Translation into COWS. [Citation Graph (, )][DBLP]
Proceedings Third Workshop From Biology To Concurrency and back [Citation Graph (, )][DBLP]
A Translation of Beta-binders in a Prioritized Pi-calculus. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.327secs
|