Paola Quaglia

	2011
34		Igor Cappello, Allan Clark, Stephen Gilmore, Diego Latella, Michele Loreti, Paola Quaglia, Stefano Schivo: Quantitative Analysis of Services. Results of the SENSORIA Project 2011: 522-540
	2010
33		Paola Quaglia: Computational Methods in Systems Biology, 8th International Conference, CMSB 2010, Trento, Italy, September 29 - October 1, 2010. Proceedings ACM 2010
32		Emanuela Merelli, Paola Quaglia: Proceedings Third Workshop From Biology To Concurrency and back FBTC 2010
31		Paola Quaglia, Stefano Schivo: Approximate Model Checking of Stochastic COWS. TGC 2010: 335-347
30		Igor Cappello, Paola Quaglia: A Tool for Checking Probabilistic Properties of COWS Services. TGC 2010: 364-378
	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] [30] [34]
3	Federica Ciocchetta	[16] [24]
4	Allan Clark	[34]
5	G. Constantin	[10]
6	Pierpaolo Degano	[20]
7	Gian Luigi Ferrari (GianLuigi Ferrari)	[2] [3] [4]
8	Stephen Gilmore (Stephen T. Gilmore)	[34]
9	Jan Himmelspach	[21]
10	Diego Latella	[1] [34]
11	Carlo Laudanna	[10]
12	Paola Lecca	[10] [21]
13	Michele Loreti	[34]
14	Radu Mardare	[13]
15	Emanuela Merelli	[32]
16	Ugo Montanari	[2] [3] [4]
17	Katerina Pokozy-Korenblat	[12]
18	Davide Prandi	[18] [20] [21] [22] [23] [26]
19	Corrado Priami	[10] [11] [12] [13] [14] [15] [16] [18] [19] [20] [21] [23] [24] [28] [29]
20	Alessandro Romanel	[28]
21	B. Rossi	[10]
22	Stefano Schivo	[31] [34]
23	Adelinde M. Uhrmacher (Adelinde Uhrmacher)	[21]
24	Oleksandr Vagin	[13]
25	David Walker	[5] [8] [17]
26	Nicola Zannone	[26]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page