Davide Prandi

	2012
15		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
14		Milan Petkovic, Davide Prandi, Nicola Zannone: Purpose Control: Did You Process the Data for the Intended Purpose? Secure Data Management 2011: 145-168
13		Tommaso Mazza, Davide Prandi: Stability analysis of biological network topologies during stochastic simulation. SimuTools 2011: 51-56
	2010
12		Lorenzo Dematté, Davide Prandi: GPU computing for systems biology. Briefings in Bioinformatics 11(3): 323-333 (2010)
	2009
11		Paolo Ballarini, Michele Forlin, Tommaso Mazza, Davide Prandi: Efficient Parallel Statistical Model Checking of Biochemical Networks PDMC 2009: 47-61
10		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)
9		I. Mura, Davide Prandi, Corrado Priami, Alessandro Romanel: Exploiting non-Markovian Bio-Processes. Electr. Notes Theor. Comput. Sci. 253(3): 83-98 (2009)
	2008
8		Davide Prandi, Paola Quaglia, Nicola Zannone: Formal Analysis of BPMN Via a Translation into COWS. COORDINATION 2008: 249-263
7		Davide Prandi, Corrado Priami, Paola Quaglia: Communicating by compatibility. J. Log. Algebr. Program. 75(2): 167-181 (2008)
	2007
6		Davide Prandi, Paola Quaglia: Stochastic COWS. ICSOC 2007: 245-256
	2006
5		Davide Prandi: A Formal Approach to Molecular Docking. CMSB 2006: 78-92
4		Jan Himmelspach, Paola Lecca, Davide Prandi, Corrado Priami, Paola Quaglia, Adelinde Uhrmacher: Developing An Hierarchical Simulator for Beta-binders. PADS 2006: 92-102
3		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
2		Michele Curti, Davide Prandi, Linda Brodo: Formal Executable Descriptions of Biological Systems. QEST 2005: 2-12
1		Davide Prandi, Corrado Priami, Paola Quaglia: Process Calculi in a Biological Context. Bulletin of the EATCS 85: 53-69 (2005)

Coauthor Index

1	Paolo Ballarini	[10] [11] [15]
2	Linda Brodo	[2]
3	Michele Curti	[2]
4	Pierpaolo Degano	[3]
5	Lorenzo Dematté	[12]
6	Michele Forlin	[11]
7	Rosita Guido	[10] [15]
8	Jan Himmelspach	[4]
9	Paola Lecca	[4]
10	Tommaso Mazza	[10] [11] [13] [15]
11	I. Mura	[9]
12	Milan Petkovic	[14]
13	Corrado Priami	[1] [3] [4] [7] [9]
14	Paola Quaglia	[1] [3] [4] [6] [7] [8]
15	Alessandro Romanel	[9]
16	Adelinde M. Uhrmacher (Adelinde Uhrmacher)	[4]
17	Nicola Zannone	[8] [14]

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