Paolo Ballarini

	2012
18		Tommaso Mazza, Paolo Ballarini, Rosita Guido, Davide Prandi: The Relevance of Topology in Parallel Simulation of Biological Networks. IEEE/ACM Trans. Comput. Biology Bioinform. 9(3): 911-923 (2012)
	2011
17		Paolo Ballarini, Hilal Djafri, Marie Duflot, Serge Haddad, Nihal Pekergin: Petri nets compositional modeling and verification of Flexible Manufacturing Systems. CASE 2011: 588-593
16		Paolo Ballarini, Hilal Djafri, Marie Duflot, Serge Haddad, Nihal Pekergin: COSMOS: A Statistical Model Checker for the Hybrid Automata Stochastic Logic. QEST 2011: 143-144
	2010
15		Paolo Ballarini: Latency analysis of a contention based MAC protocol for Sensor Networks. ISCC 2010: 1103-1108
14		Paolo Ballarini, Maria Luisa Guerriero: Query-based verification of qualitative trends and oscillations in biochemical systems. Theor. Comput. Sci. 411(20): 2019-2036 (2010)
	2009
13		Corrado Priami, Paolo Ballarini, Paola Quaglia: BlenX4Bio - BlenX for Biologists. CMSB 2009: 26-51
12		Paolo Ballarini, Michele Forlin, Tommaso Mazza, Davide Prandi: Efficient Parallel Statistical Model Checking of Biochemical Networks PDMC 2009: 47-61
11		Paolo Ballarini, Rosita Guido, Tommaso Mazza, Davide Prandi: Taming the complexity of biological pathways through parallel computing. Briefings in Bioinformatics 10(3): 278-288 (2009)
10		Paolo Ballarini, Radu Mardare, Ivan Mura: Analysing Biochemical Oscillation through Probabilistic Model Checking. Electr. Notes Theor. Comput. Sci. 229(1): 3-19 (2009)
9		Paolo Ballarini, Tommaso Mazza, Alida Palmisano, Attila Csikasz-Nagy: Studying Irreversible Transitions in a Model of Cell Cycle Regulation. Electr. Notes Theor. Comput. Sci. 232: 39-53 (2009)
8		Paolo Ballarini, András Horváth: Compositional Model Checking of product-form CTMCs. Electr. Notes Theor. Comput. Sci. 250(1): 21-37 (2009)
	2008
7		Paolo Ballarini, András Horváth: Memory Efficient Calculation of Path Probabilities in Large Structured Markov Chains. QEST 2008: 157-166
	2006
6		Paolo Ballarini, Alice Miller: Model Checking Medium Access Control for Sensor Networks. ISoLA 2006: 255-262
5		Paolo Ballarini, Michael Fisher, Michael Wooldridge: Automated Game Analysis via Probabilistic Model Checking: a case study. Electr. Notes Theor. Comput. Sci. 149(2): 125-137 (2006)
	2004
4		Paolo Ballarini, Lorenzo Capra, Giuliana Franceschinis: Performance and Dependability Analysis of Fault-Tolerant Memory Mechanisms Using Stochastic Well-Formed Nets. ISCIS 2004: 553-563
	2003
3		Paolo Ballarini, Lorenzo Capra, Giuliana Franceschinis, Massimiliano De Pierro: Memory Fault Tolerance Software Mechanisms: Design and Configuration Support through SWN Models. ACSD 2003: 111-121
	2002
2		Paolo Ballarini, Simona Bernardi, Susanna Donatelli: Validation and Evaluation of a Software Solution for Fault Tolerant Distributed Synchronization. DSN 2002: 773-784
	2000
1		Paolo Ballarini, Susanna Donatelli, Giuliana Franceschinis: Parametric Stochastic Well-Formed Nets and Compositional Modelling. ICATPN 2000: 43-62

Coauthor Index

1	Simona Bernardi	[2]
2	Lorenzo Capra	[3] [4]
3	Attila Csikasz-Nagy	[9]
4	Hilal Djafri	[16] [17]
5	Susanna Donatelli	[1] [2]
6	Marie Duflot	[16] [17]
7	Michael Fisher	[5]
8	Michele Forlin	[12]
9	Giuliana Franceschinis	[1] [3] [4]
10	Maria Luisa Guerriero	[14]
11	Rosita Guido	[11] [18]
12	Serge Haddad	[16] [17]
13	András Horváth	[7] [8]
14	Radu Mardare	[10]
15	Tommaso Mazza	[9] [11] [12] [18]
16	Alice Miller	[6]
17	Ivan Mura	[10]
18	Alida Palmisano	[9]
19	Nihal Pekergin	[16] [17]
20	Massimiliano De Pierro	[3]
21	Davide Prandi	[11] [12] [18]
22	Corrado Priami	[13]
23	Paola Quaglia	[13]
24	Michael Wooldridge (Michael J. Wooldridge)	[5]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page