Journal Publications

Conference and Workshop Publications

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2005

2004

2003

2002

2001

2000

1999

1998

1997

1996



PhD Thesis

Chiara Bodei Security Issues in Process Calculi. Computer Science Department. University of Pisa. TD-2/00, March 2000.

Chapters in books