Michele Curti

According to our database, Michele Curti authored at least 7 papers between 2003 and 2005.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2005

Formal Executable Descriptions of Biological Systems.

Michele Curti, Davide Prandi, Linda Brodo

Proceedings of the Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 2005

On Evaluating the Performance of Security Protocols.

Chiara Bodei, Mikael Buchholtz, Michele Curti, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson, Corrado Priami

Proceedings of the Parallel Computing Technologies, 2005

2004

Modelling biochemical pathways through enhanced pi-calculus.

Michele Curti, Pierpaolo Degano, Corrado Priami, Cosima Tatiana Baldari

Theor. Comput. Sci., 2004

A Quantitative Study of Two Attacks.

Chiara Bodei, Michele Curti, Pierpaolo Degano, Corrado Priami

Proceedings of the 2nd International Workshop on Security Issues with Petri Nets and other Computational Models, 2004

Performance Evaluation of Security Protocols Specified in LySa.

Chiara Bodei, Michele Curti, Pierpaolo Degano, Mikael Buchholtz, Flemming Nielson, Hanne Riis Nielson, Corrado Priami

Proceedings of the Second Workshop on Quantitative Aspects of Programming Languages, 2004

VICE: A VIrtual CEll.

Davide Chiarugi, Michele Curti, Pierpaolo Degano, Roberto Marangoni

Proceedings of the Computational Methods in Systems Biology, International Conference, 2004

2003

Causal pi-Calculus for Biochemical Modelling.

Michele Curti, Pierpaolo Degano, Cosima Tatiana Baldari

Proceedings of the Computational Methods in Systems Biology, First International Workshop, 2003