Research

• My CiteULike page: an index of papers I read, with tags and extremely short nano-abstracts as my notes.
• Source code for experiments on Concurrency: Practice and Experience - HotP2P'06 Special Issue
• Progress Report (November 2006)
• Thesis proposal (December 2005)
• Research interests (May 2005)
• DO-CASL: an Observer-based CASL extension for Dynamic Specifications
• Furbo - a tool for Information Retrieval.
• Some bibliography on reputation in P2P systems (with short descriptions in Italian)