Paola Quaglia

	2009
29		Corrado Priami, Paolo Ballarini, Paola Quaglia: BlenX4Bio - BlenX for Biologists. CMSB 2009: 26-51
28		Corrado Priami, Paola Quaglia, Alessandro Romanel: BlenX Static and Dynamic Semantics. CONCUR 2009: 37-52
27		Igor Cappello, Paola Quaglia: A Translation of Beta-binders in a Prioritized Pi-calculus. Electr. Notes Theor. Comput. Sci. 229(1): 109-125 (2009)
	2008
26		Davide Prandi, Paola Quaglia, Nicola Zannone: Formal Analysis of BPMN Via a Translation into COWS. COORDINATION 2008: 249-263
25		Paola Quaglia: On Beta-Binders Communications. Concurrency, Graphs and Models 2008: 457-472
24		Federica Ciocchetta, Corrado Priami, Paola Quaglia: An Automatic Translation of SBML into Beta-Binders. IEEE/ACM Trans. Comput. Biology Bioinform. 5(1): 80-90 (2008)
23		Davide Prandi, Corrado Priami, Paola Quaglia: Communicating by compatibility. J. Log. Algebr. Program. 75(2): 167-181 (2008)
	2007
22		Davide Prandi, Paola Quaglia: Stochastic COWS. ICSOC 2007: 245-256
	2006
21		Jan Himmelspach, Paola Lecca, Davide Prandi, Corrado Priami, Paola Quaglia, Adelinde Uhrmacher: Developing An Hierarchical Simulator for Beta-binders. PADS 2006: 92-102
20		Pierpaolo 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)
17		Paola Quaglia, David Walker: Types and full abstraction for polyadic pi-calculus. Inf. Comput. 200(2): 215-246 (2005)
16		Federica Ciocchetta, Corrado Priami, Paola Quaglia: Modeling Kohn Interaction Maps with Beta-Binders: An Example. T. Comp. Sys. Biology: 33-48 (2005)
15		Corrado Priami, Paola Quaglia: Operational Patterns in Beta-Binders. T. Comp. Sys. Biology 1: 50-65 (2005)
	2004
14		Corrado Priami, Paola Quaglia: Beta Binders for Biological Interactions. CMSB 2004: 20-33
13		Radu Mardare, Corrado Priami, Paola Quaglia, Oleksandr Vagin: Model Checking Biological Systems Described Using Ambient Calculus. CMSB 2004: 85-103
12		Katerina 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)
10		Paola 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
9		Paola Quaglia: Explicit substitutions for pi-congruences. Theor. Comput. Sci. 269(1-2): 83-134 (2001)
	2000
8		Paola 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
6		Paola 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
4		Gian Luigi Ferrari, Ugo Montanari, Paola Quaglia: A Pi-Calculus with Explicit Substitutions. Theor. Comput. Sci. 168(1): 53-103 (1996)
	1995
3		Gian Luigi Ferrari, Ugo Montanari, Paola Quaglia: The Weak Late pi-Calculus Semantics as Observation Equivalence. CONCUR 1995: 57-71
	1994
2		Gian Luigi Ferrari, Ugo Montanari, Paola Quaglia: A Pi-Calculus with Explicit Substitutions: the Late Semantics. MFCS 1994: 342-351
	1993
1		Diego Latella, Paola Quaglia: A Fully Parallel Calculus of Synchronizing Processes. TAPSOFT 1993: 732-745

Coauthor Index

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

Colors in the list of coauthors