Publications by Alberto Ciaffaglione

• A coinductive semantics of the Unlimited Register Machine
  In Proceedings of INFINITY, Taipei (Taiwan)
  Volume 73 of Electronic Proceedings in Computer Science, Open Publishing Association, 2011;
• About Applications of Mechanized Coinduction
  Department of Mathematics and Computer Science, University of Udine (Italy)
  Technical Report 08/2009, 2009;
• Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts (with L.Liquori, M.Miculan)
  Journal of Automated Reasoning, Volume 39(1)
  Springer, 2007
• A Certified, Corecursive Implementation of Exact Real Numbers (with P.Di Gianantonio)
  Theoretical Computer Science, Volume 351(1), Special issue on Real Numbers and Computers
  Elsevier, 2006
• Proof Methodologies for Behavioural Equivalence in Distributed pi-calculus (with M.Hennessy, J.Rathke)
  In Proceedings of FORTE, Taipei (Taiwan), Best Paper Award
  Volume 3731 of Lecture Notes in Computer Science, Springer-Verlag (Berlin), 2005
• Plug and Play the Theory of Contexts in Higher-Order Abstract Syntax (with I.Scagnetto)
  In Proceedings of CoMeta, Udine (Italy)
  Volume 104 of Electronic Notes in Theoretical Computer Science, Elsevier, 2004
• Imperative Object-based Calculi in Coinductive Type Theories (with L.Liquori, M.Miculan)
  In Proceedings of LPAR, Almaty (Kazakhstan)
  Volume 2850 of Lecture Notes in Artificial Intelligence, Springer-Verlag, 2003
• Reasoning on an Imperative Object-based Calculus in Higher-Order Abstract Syntax (with L.Liquori, M.Miculan)
  In Proceedings of MERLIN, Uppsala (Sweden)
  Association for Computing Machinery Press (New York), 2003
• Certified Reasoning on Real Numbers and Objects in Coinductive Type Theory
  University of Udine (Italy) and Institut Polytechnique de Lorraine, Nancy (France)
  PhD Thesis Series, Computer Science 2003/1, Forum (Udine), 2003
• Foundations for Dynamic Object Reclassification (with P.Di Gianantonio, F.Honsell, L.Liquori)
  Department of Mathematics and Computer Science, University of Udine (Italy)
  Technical Report 03/2003, 2003
• A tour with Constructive Real Numbers (with P.Di Gianantonio)
  In Proceedings of TYPES, Durham (United Kingdom)
  Volume 2277 of Lecture Notes in Computer Science, Springer-Verlag, 2002
• A Coinductive approach to Real Numbers (with P.Di Gianantonio)
  In Proceedings of TYPES, Lokeberg (Sweden)
  Volume 1956 of Lecture Notes in Computer Science, Springer-Verlag, 2000