| 2008 |
|---|
| 8 | EE | Davide Prandi,
Paola Quaglia,
Nicola Zannone:
Formal Analysis of BPMN Via a Translation into COWS.
COORDINATION 2008: 249-263 |
| 7 | EE | Davide Prandi,
Corrado Priami,
Paola Quaglia:
Communicating by compatibility.
J. Log. Algebr. Program. 75(2): 167-181 (2008) |
| 2007 |
|---|
| 6 | EE | Davide Prandi,
Paola Quaglia:
Stochastic COWS.
ICSOC 2007: 245-256 |
| 2006 |
|---|
| 5 | EE | Davide Prandi:
A Formal Approach to Molecular Docking.
CMSB 2006: 78-92 |
| 4 | EE | Jan Himmelspach,
Paola Lecca,
Davide Prandi,
Corrado Priami,
Paola Quaglia,
Adelinde Uhrmacher:
Developing An Hierarchical Simulator for Beta-binders.
PADS 2006: 92-102 |
| 3 | EE | 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 | EE | 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) |
