| 2005 |
|---|
| 7 | EE | Chiara Bodei,
Mikael Buchholtz,
Michele Curti,
Pierpaolo Degano,
Flemming Nielson,
Hanne Riis Nielson,
Corrado Priami:
On Evaluating the Performance of Security Protocols.
PaCT 2005: 1-15 |
| 6 | EE | Michele Curti,
Davide Prandi,
Linda Brodo:
Formal Executable Descriptions of Biological Systems.
QEST 2005: 2-12 |
| 5 | EE | Chiara Bodei,
Michele Curti,
Pierpaolo Degano,
Mikael Buchholtz,
Flemming Nielson,
Hanne Riis Nielson,
Corrado Priami:
Performance Evaluation of Security Protocols Specified in LySa.
Electr. Notes Theor. Comput. Sci. 112: 167-189 (2005) |
| 4 | EE | Chiara Bodei,
Michele Curti,
Pierpaolo Degano,
Corrado Priami:
A Quantitative Study of Two Attacks.
Electr. Notes Theor. Comput. Sci. 121: 65-85 (2005) |
| 2004 |
|---|
| 3 | EE | D. Chiarugi,
Michele Curti,
Pierpaolo Degano,
Roberto Marangoni:
VICE: A VIrtual CEll.
CMSB 2004: 207-220 |
| 2 | EE | Michele Curti,
Pierpaolo Degano,
Corrado Priami,
Cosima Tatiana Baldari:
Modelling biochemical pathways through enhanced pi-calculus.
Theor. Comput. Sci. 325(1): 111-140 (2004) |
| 2003 |
|---|
| 1 | EE | Michele Curti,
Pierpaolo Degano,
Cosima Tatiana Baldari:
Causal pi-Calculus for Biochemical Modelling.
CMSB 2003: 21-33 |
