 | 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) |