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