Foto del docente

Andrea Asperti

Professore ordinario

Dipartimento di Informatica - Scienza e Ingegneria

Settore scientifico disciplinare: INF/01 INFORMATICA

Pubblicazioni

A.Asperti; E.Tassi, An Interactive Driver for Goal-directed Proof Strategies., in: , 2009, 226, pp. 89 - 105 (atti di: User Interfaces for Theorem Provers (UITP 2008), Montréal, Québec, Canada, August 2008) [Contributo in Atti di convegno]

A., Asperti; W., Ricciotti; C., Sacerdoti Coen; E.,Tassi, Hints in Unification, in: Theorem Proving in Higher Order Logics, «LECTURE NOTES IN COMPUTER SCIENCE», 2009, 5674, pp. 84 - 98 (atti di: Theorem Proving in Higher Order Logics (TPHOLs 2009), Munich, Germany, August 17-20, 2009) [Contributo in Atti di convegno]

A.Asperti; C.Sacerdoti Coen; E.Tassi; S.Zacchiroli, Matita 0.5.8, 2009. [software]

A.Asperti; N.Busi, Mobile Petri nets, «MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE», 2009, V.19, n.6, pp. 1265 - 1278 [articolo]

R.Amadio; A.Asperti; G.Castagna, Preface, «INFORMATION AND COMPUTATION», 2009, 207(5), pp. 543 - 544 [replica/breve intervento]

A.Asperti; H.Geuvers; R.Natarajan, Social processes, program verification and all that, «MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE», 2009, 19, pp. 1 - 20 [articolo]

A.Asperti; C.Armentano, A page in number theory, «JOURNAL OF FORMALIZED REASONING», 2008, 1, No.1, pp. 1 - 23 [articolo]

A.Asperti; C.Sacerdoti Coen; W. Ricciotti; E.Tassi; S.Zacchiroli, Matita 0.5.7, 2008. [software]

A. Asperti, The intensional content of Rice's theorem., in: POPL '08: The 35th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, NEW YORK, ACM, 2008, pp. 113 - 120 (atti di: POPL '08: The 35th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Francisco (CA), January 7-12 2008) [Contributo in Atti di convegno]

A.Asperti; C.Sacerdoti Coen; E.Tassi; S.Zacchiroli, Crafting a Proof Assistant, in: Types for Proofs and Programs, «LECTURE NOTES IN COMPUTER SCIENCE», 2007, 4502, pp. 18 - 32 (atti di: TYPES 2006, Nottingham, UK, April 18-21, 2006) [Contributo in Atti di convegno]

A.Asperti; E.Tassi., Higher order proof reconstruction from paramodulation-based refutations: the unit equality case., in: Towards Mechanized Mathematical Assistants, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2007, 4573, pp. 146 - 160 (atti di: MKM 2007, Hagenberg, Austria, 27 - 30 June 2007) [Contributo in Atti di convegno]

Ruolo editoriale nella rivista «Journal of Formalized Reasoning ISSN: 1972-5787», BOLOGNA, CIB Centro Inter-Bibliotecario

A.Asperti; C.Sacerdoti Coen; E.Tassi; S.Zacchiroli, Matita, 2007. [software]

A.Asperti; C.Sacerdoti Coen; E. Tassi; S.Zacchiroli, User Interaction with the Matita Proof Assistant, «JOURNAL OF AUTOMATED REASONING», 2007, 39, Number 2, pp. 109 - 139 [articolo]

Asperti, Andrea; Geuvers, H.; Loeb, I.; Mamane, L. E.; SACERDOTI COEN, Claudio, An Interactive Algebra Course with Formalised Proofs and Definitions, in: Lecture Notes in Computer Science-Lecture Notes in Artificial Intelligence Mathematical Knowledge Management 4th International Conference, MKM 2005, s.l, Springer, 2006, 3863, pp. 315 - 329 (atti di: Mathematical Knowledge Management 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005) [Contributo in Atti di convegno]