dblp.uni-trier.dewww.uni-trier.de

Claudio Sacerdoti Coen

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
21EEClaudio Sacerdoti Coen: A User Interface for a Mathematical System that Allows Ambiguous Formulae. Electr. Notes Theor. Comput. Sci. 226: 67-87 (2009)
2007
20EEClaudio Sacerdoti Coen, Stefano Zacchiroli: Spurious Disambiguation Error Detection. Calculemus/MKM 2007: 381-392
19EEClaudio Sacerdoti Coen, Enrico Tassi: Working with Mathematical Structures in Type Theory. TYPES 2007: 157-172
18EEClaudio Sacerdoti Coen: Reduction and Conversion Strategies for the Calculus of (co)Inductive Constructions: Part I. Electr. Notes Theor. Comput. Sci. 174(10): 97-118 (2007)
17EEClaudio Sacerdoti Coen, Enrico Tassi, Stefano Zacchiroli: Tinycals: Step by Step Tacticals. Electr. Notes Theor. Comput. Sci. 174(2): 125-142 (2007)
16EEAndrea Asperti, Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacchiroli: User Interaction with the Matita Proof Assistant. J. Autom. Reasoning 39(2): 109-139 (2007)
2006
15EESerge Autexier, Claudio Sacerdoti Coen: A Formal Correspondence Between OMDoc with Alternative Proofs and the lambdaµµ-Calculus. MKM 2006: 67-81
14EEAndrea Asperti, Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacchiroli: Crafting a Proof Assistant. TYPES 2006: 18-32
2005
13EEClaudio Sacerdoti Coen: Explanation in Natural Language of lamda-µµ-Terms. MKM 2005: 234-249
12EEAndrea Asperti, Herman Geuvers, Iris Loeb, Lionel Elie Mamane, Claudio Sacerdoti Coen: An Interactive Algebra Course with Formalised Proofs and Definitions. MKM 2005: 315-329
2004
11EELuca Padovani, Claudio Sacerdoti Coen, Stefano Zacchiroli: A Generative Approach to the Implementation of Language Bindings for the Document Object Model. GPCE 2004: 469-487
10EEClaudio Sacerdoti Coen: Mathematical Libraries as Proof Assistant Environments. MKM 2004: 332-346
9EEClaudio Sacerdoti Coen, Stefano Zacchiroli: Efficient Ambiguous Parsing of Mathematical Formulae. MKM 2004: 347-362
8EEAndrea Asperti, Ferruccio Guidi, Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacchiroli: A Content Based Mathematical Search Engine: Whelp. TYPES 2004: 17-32
7EEClaudio Sacerdoti Coen: A Semi-reflexive Tactic for (Sub-)Equational Reasoning. TYPES 2004: 98-114
6EEClaudio Sacerdoti Coen, Paolo Marinelli, Fabio Vitali: Schemapath, a minimal extension to xml schema for conditional constraints. WWW 2004: 164-174
2003
5EEClaudio Sacerdoti Coen: A Constructive Proof of the Soundness of the Encoding of Random Access Machines in a Linda Calculus with Ordered Semantics. ICTCS 2003: 37-57
4EEClaudio Sacerdoti Coen: From Proof-Assistants to Distributed Libraries of Mathematics: Tips and Pitfalls. MKM 2003: 30-44
3 Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Ferruccio Guidi, Irene Schena: Mathematical Knowledge Management in HELM. Ann. Math. Artif. Intell. 38(1-3): 27-46 (2003)
2001
2EEAndrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Irene Schena: XML, Stylesheets and the Re-mathematization of Formal Content. Extreme Markup Languages® 2001
1EEAndrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Irene Schena: HELM and the Semantic Math-Web. TPHOLs 2001: 59-74

Coauthor Index

1Andrea Asperti [1] [2] [3] [8] [12] [14] [16]
2Serge Autexier [15]
3Herman Geuvers [12]
4Ferruccio Guidi [3] [8]
5Iris Loeb [12]
6Lionel Elie Mamane [12]
7Paolo Marinelli [6]
8Luca Padovani [1] [2] [3] [11]
9Irene Schena [1] [2] [3]
10Enrico Tassi [8] [14] [16] [17] [19]
11Fabio Vitali [6]
12Stefano Zacchiroli [8] [9] [11] [14] [16] [17] [20]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)