Michele Curti

Publication Activity (10 Years)

Years Active: 2003-2005
Publications (10 Years): 0

Publications

Chiara Bodei, Mikael Buchholtz, Michele Curti, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson, Corrado Priami
On Evaluating the Performance of Security Protocols. PaCT (2005)
Chiara Bodei, Michele Curti, Pierpaolo Degano, Corrado Priami
A Quantitative Study of Two Attacks. Electron. Notes Theor. Comput. Sci. 121 (2005)
Chiara Bodei, Michele Curti, Pierpaolo Degano, Mikael Buchholtz, Flemming Nielson, Hanne Riis Nielson, Corrado Priami
Performance Evaluation of Security Protocols Specified in LySa. Electron. Notes Theor. Comput. Sci. 112 (2005)
Michele Curti, Davide Prandi, Linda Brodo
Formal Executable Descriptions of Biological Systems. QEST (2005)
Michele Curti, Pierpaolo Degano, Corrado Priami, Cosima Tatiana Baldari
Modelling biochemical pathways through enhanced pi-calculus. Theor. Comput. Sci. 325 (1) (2004)
Davide Chiarugi, Michele Curti, Pierpaolo Degano, Roberto Marangoni
VICE: A VIrtual CEll. CMSB (2004)
Michele Curti, Pierpaolo Degano, Cosima Tatiana Baldari
Causal pi-Calculus for Biochemical Modelling. CMSB (2003)