Foto del docente

Claudio Sacerdoti Coen

Professore associato

Dipartimento di Informatica - Scienza e Ingegneria

Settore scientifico disciplinare: INF/01 INFORMATICA

Coordinatore del Corso di Laurea in Informatica

Pubblicazioni

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]

C. Sacerdoti Coen, Declarative Representation of Proof Terms, in: Programming Languages for Mechanized Mathematics Workshop, LINZ, RISC Report Series, University of Linz, 2007, 07-10, pp. 3 - 18 (atti di: Programming Languages for Mechanized Mathematics Workshop, Research Institute for Symbolic Computation, Hagenberg, Austria, 29-30/06/2007) [Contributo in Atti di convegno]

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

C. Sacerdoti Coen, Reduction and Conversion Strategies for the Calculus of (co)Inductive Construtions: Part I, in: , 2007, 174(10), pp. 97 - 118 (atti di: Sixth International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2006), Seattle, Washington, 11 Agosto 2006) [Contributo in Atti di convegno]

SACERDOTI COEN, Claudio; Zacchiroli, Stefano, Spurious Disambiguation Error Detection, in: Towards Mechanized Mathematical Assistants, «LECTURE NOTES IN COMPUTER SCIENCE», 2007, 4573, pp. 381 - 392 (atti di: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007) [Contributo in Atti di convegno]

SACERDOTI COEN, Claudio; Tassi, Enrico; Zacchiroli, Stefano, Tinycals: Step by Step Tacticals, in: , 2007, 174(2), pp. 125 - 142 (atti di: 7th Workshop on User Interfaces for Theorem Provers, Seattle, Washington, 12 Agosto 2006) [Contributo in Atti di convegno]

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]

S. Autexier; C. Sacerdoti Coen, A Formal Correspondence between OMDoc with Alternative Proofs and the lambda-bar-mu-mu-tilde-Calculus, in: Lecture Notes in Computer Science - Lecture Notes in Artificial Intelligence Mathematical Knowledge Management, 5th International Conference, MKM 2006, s.l, Springer, 2006, 4108, pp. 67 - 81 (atti di: Mathematical Knowledge Management, 5th International Conference, MKM 2006, Wokingham, UK, 11-12/08/2006) [Contributo in Atti di convegno]

SACERDOTI COEN, Claudio, A semi-reflexive tactic for (sub-)equational reasoning, in: Types for Proofs and ProgramsInternational Workshop, TYPES 2004, s.l, Springer, 2006, 3839, pp. 99 - 115 (atti di: Types for Proofs and ProgramsInternational Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004) [Contributo in Atti di convegno]

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]

Sacerdoti Coen, C., Explanation in Natural language of lambda-bar-mu-mu-tilde-terms, in: Lecture Notes in Computer Science-Lecture Notes in Artificial IntelligenceMathematical Knowledge Management4th International Conference, MKM 2005, s.l, Springer, 2006, 3863, pp. 234 - 249 (atti di: Mathematical Knowledge Management4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005) [Contributo in Atti di convegno]

A.Asperti; F.Guidi; C.Sacerdoti Coen; E.Tassi; S.Zacchiroli, A content based mathematical search engine: Whelp, in: Types for Proofs and Programs International Workshop, TYPES 2004, s.l, Springer, 2005, 3839, pp. 17 - 32 (atti di: Types for Proofs and Programs International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004) [Contributo in Atti di convegno]

L.Padovani; C.Sacerdoti Coen; S.Zacchiroli, A Generative Approach to the Implementation of Language Bindings for the Document Object Model, in: GABOR KARSAI, EELCO VISSER, Generative Programming and Component Engineering: Third International Conference, GPCE 2004, Vancouver, Canada, October 24-28, 2004. Proceedings, s.l, Springer, 2004, 3286, pp. 469 - 487 [Contributo in Atti di convegno]

SACERDOTI COEN, Claudio; Zacchiroli, Stefano, Efficient Ambiguous Parsing of Mathematical Formulae, in: ANDREA ASPERTI, GRZEGORZ BANCEREK, ANDRZEJ TRYBULEC, Mathematical Knowledge Management, Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings, s.l, Springer, 2004, 3119, pp. 347 - 362 [Contributo in Atti di convegno]

SACERDOTI COEN, Claudio, Mathematical Libraries as Proof Assistant Environments, in: ANDREA ASPERTI, GRZEGORZ BANCEREK, ANDRZEJ TRYBULEC, Mathematical Knowledge Management, Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings, s.l, Springer, 2004, 3119, pp. 332 - 346 [Contributo in Atti di convegno]