dblp.uni-trier.dewww.uni-trier.de

Paola Quaglia Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
29EECorrado Priami, Paolo Ballarini, Paola Quaglia: BlenX4Bio - BlenX for Biologists. CMSB 2009: 26-51
28EECorrado Priami, Paola Quaglia, Alessandro Romanel: BlenX Static and Dynamic Semantics. CONCUR 2009: 37-52
27EEIgor Cappello, Paola Quaglia: A Translation of Beta-binders in a Prioritized Pi-calculus. Electr. Notes Theor. Comput. Sci. 229(1): 109-125 (2009)
2008
26EEDavide Prandi, Paola Quaglia, Nicola Zannone: Formal Analysis of BPMN Via a Translation into COWS. COORDINATION 2008: 249-263
25EEPaola Quaglia: On Beta-Binders Communications. Concurrency, Graphs and Models 2008: 457-472
24EEFederica Ciocchetta, Corrado Priami, Paola Quaglia: An Automatic Translation of SBML into Beta-Binders. IEEE/ACM Trans. Comput. Biology Bioinform. 5(1): 80-90 (2008)
23EEDavide Prandi, Corrado Priami, Paola Quaglia: Communicating by compatibility. J. Log. Algebr. Program. 75(2): 167-181 (2008)
2007
22EEDavide Prandi, Paola Quaglia: Stochastic COWS. ICSOC 2007: 245-256
2006
21EEJan Himmelspach, Paola Lecca, Davide Prandi, Corrado Priami, Paola Quaglia, Adelinde Uhrmacher: Developing An Hierarchical Simulator for Beta-binders. PADS 2006: 92-102
20EEPierpaolo Degano, Davide Prandi, Corrado Priami, Paola Quaglia: Beta-binders for Biological Quantitative Experiments. Electr. Notes Theor. Comput. Sci. 164(3): 101-117 (2006)
2005
19 Corrado Priami, Paola Quaglia: Global Computing, IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers Springer 2005
18 Davide Prandi, Corrado Priami, Paola Quaglia: Process Calculi in a Biological Context. Bulletin of the EATCS 85: 53-69 (2005)
17EEPaola Quaglia, David Walker: Types and full abstraction for polyadic pi-calculus. Inf. Comput. 200(2): 215-246 (2005)
16EEFederica Ciocchetta, Corrado Priami, Paola Quaglia: Modeling Kohn Interaction Maps with Beta-Binders: An Example. T. Comp. Sys. Biology: 33-48 (2005)
15EECorrado Priami, Paola Quaglia: Operational Patterns in Beta-Binders. T. Comp. Sys. Biology 1: 50-65 (2005)
2004
14EECorrado Priami, Paola Quaglia: Beta Binders for Biological Interactions. CMSB 2004: 20-33
13EERadu Mardare, Corrado Priami, Paola Quaglia, Oleksandr Vagin: Model Checking Biological Systems Described Using Ambient Calculus. CMSB 2004: 85-103
12EEKaterina Pokozy-Korenblat, Corrado Priami, Paola Quaglia: Performance Analysis of a UML Micro-business Case Study. Global Computing 2004: 107-126
11 Corrado Priami, Paola Quaglia: Modelling the dynamics of biosystems. Briefings in Bioinformatics 5(3): 259-269 (2004)
10EEPaola Lecca, Corrado Priami, Paola Quaglia, B. Rossi, Carlo Laudanna, G. Constantin: A Stochastic Process Algebra Approach to Simulation of Autoreactive Lymphocyte Recruitment. Simulation 80(6): 273-288 (2004)
2001
9EEPaola Quaglia: Explicit substitutions for pi-congruences. Theor. Comput. Sci. 269(1-2): 83-134 (2001)
2000
8EEPaola Quaglia, David Walker: On Synchronous and Asynchronous Mobile Processes. FoSSaCS 2000: 283-296
1999
7 Paola Quaglia: The Pi-Calculus: Notes on Labelled Semantic. Bulletin of the EATCS 68: 104-114 (1999)
1998
6EEPaola Quaglia: Pi-Congruences as CCS Equivalences. AMAST 1998: 358-372
5 Paola Quaglia, David Walker: On Encoding p-pi in m-pi. FSTTCS 1998: 42-53
1996
4EEGian Luigi Ferrari, Ugo Montanari, Paola Quaglia: A Pi-Calculus with Explicit Substitutions. Theor. Comput. Sci. 168(1): 53-103 (1996)
1995
3EEGian Luigi Ferrari, Ugo Montanari, Paola Quaglia: The Weak Late pi-Calculus Semantics as Observation Equivalence. CONCUR 1995: 57-71
1994
2EEGian Luigi Ferrari, Ugo Montanari, Paola Quaglia: A Pi-Calculus with Explicit Substitutions: the Late Semantics. MFCS 1994: 342-351
1993
1EEDiego Latella, Paola Quaglia: A Fully Parallel Calculus of Synchronizing Processes. TAPSOFT 1993: 732-745

Coauthor Index

1Paolo Ballarini [29]
2Igor Cappello [27]
3Federica Ciocchetta [16] [24]
4G. Constantin [10]
5Pierpaolo Degano [20]
6Gian Luigi Ferrari (GianLuigi Ferrari) [2] [3] [4]
7Jan Himmelspach [21]
8Diego Latella [1]
9Carlo Laudanna [10]
10Paola Lecca [10] [21]
11Radu Mardare [13]
12Ugo Montanari [2] [3] [4]
13Katerina Pokozy-Korenblat [12]
14Davide Prandi [18] [20] [21] [22] [23] [26]
15Corrado Priami [10] [11] [12] [13] [14] [15] [16] [18] [19] [20] [21] [23] [24] [28] [29]
16Alessandro Romanel [28]
17B. Rossi [10]
18Adelinde M. Uhrmacher (Adelinde Uhrmacher) [21]
19Oleksandr Vagin [13]
20David Walker [5] [8] [17]
21Nicola Zannone [26]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)