Causal pi-Calculus for Biochemical Modelling. - Michele Curti; Pierpaolo Degano; Cosima Tatiana Baldari (CMSB, 2003)

VICE: A VIrtual CEll. - Davide Chiarugi; Michele Curti; Pierpaolo Degano; Roberto Marangoni (CMSB, 2004)

Performance Evaluation of Security Protocols Specified in LySa. - Chiara Bodei; Michele Curti; Pierpaolo Degano; Mikael Buchholtz; Flemming Nielson; Hanne Riis Nielson; Corrado Priami (QAPL, 2004)

A Quantitative Study of Two Attacks. - Chiara Bodei; Michele Curti; Pierpaolo Degano; Corrado Priami (WISP@ICATPN, 2004)

Modelling biochemical pathways through enhanced pi-calculus. - Michele Curti; Pierpaolo Degano; Corrado Priami; Cosima Tatiana Baldari (Theor. Comput. Sci., 2004)

On Evaluating the Performance of Security Protocols. - Chiara Bodei; Mikael Buchholtz; Michele Curti; Pierpaolo Degano; Flemming Nielson; Hanne Riis Nielson; Corrado Priami (PaCT, 2005)

Formal Executable Descriptions of Biological Systems. - Michele Curti; Davide Prandi; Linda Brodo (QEST, 2005)