| 2009 |
|---|
| 21 | EE | Claudio Sacerdoti Coen:
A User Interface for a Mathematical System that Allows Ambiguous Formulae.
Electr. Notes Theor. Comput. Sci. 226: 67-87 (2009) |
| 2007 |
|---|
| 20 | EE | Claudio Sacerdoti Coen,
Stefano Zacchiroli:
Spurious Disambiguation Error Detection.
Calculemus/MKM 2007: 381-392 |
| 19 | EE | Claudio Sacerdoti Coen,
Enrico Tassi:
Working with Mathematical Structures in Type Theory.
TYPES 2007: 157-172 |
| 18 | EE | Claudio 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) |
| 17 | EE | Claudio Sacerdoti Coen,
Enrico Tassi,
Stefano Zacchiroli:
Tinycals: Step by Step Tacticals.
Electr. Notes Theor. Comput. Sci. 174(2): 125-142 (2007) |
| 16 | EE | Andrea Asperti,
Claudio Sacerdoti Coen,
Enrico Tassi,
Stefano Zacchiroli:
User Interaction with the Matita Proof Assistant.
J. Autom. Reasoning 39(2): 109-139 (2007) |
| 2006 |
|---|
| 15 | EE | Serge Autexier,
Claudio Sacerdoti Coen:
A Formal Correspondence Between OMDoc with Alternative Proofs and the lambdaµµ-Calculus.
MKM 2006: 67-81 |
| 14 | EE | Andrea Asperti,
Claudio Sacerdoti Coen,
Enrico Tassi,
Stefano Zacchiroli:
Crafting a Proof Assistant.
TYPES 2006: 18-32 |
| 2005 |
|---|
| 13 | EE | Claudio Sacerdoti Coen:
Explanation in Natural Language of lamda-µµ-Terms.
MKM 2005: 234-249 |
| 12 | EE | Andrea 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 |
|---|
| 11 | EE | Luca Padovani,
Claudio Sacerdoti Coen,
Stefano Zacchiroli:
A Generative Approach to the Implementation of Language Bindings for the Document Object Model.
GPCE 2004: 469-487 |
| 10 | EE | Claudio Sacerdoti Coen:
Mathematical Libraries as Proof Assistant Environments.
MKM 2004: 332-346 |
| 9 | EE | Claudio Sacerdoti Coen,
Stefano Zacchiroli:
Efficient Ambiguous Parsing of Mathematical Formulae.
MKM 2004: 347-362 |
| 8 | EE | Andrea Asperti,
Ferruccio Guidi,
Claudio Sacerdoti Coen,
Enrico Tassi,
Stefano Zacchiroli:
A Content Based Mathematical Search Engine: Whelp.
TYPES 2004: 17-32 |
| 7 | EE | Claudio Sacerdoti Coen:
A Semi-reflexive Tactic for (Sub-)Equational Reasoning.
TYPES 2004: 98-114 |
| 6 | EE | Claudio Sacerdoti Coen,
Paolo Marinelli,
Fabio Vitali:
Schemapath, a minimal extension to xml schema for conditional constraints.
WWW 2004: 164-174 |
| 2003 |
|---|
| 5 | EE | Claudio 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 |
| 4 | EE | Claudio 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 |
|---|
| 2 | EE | Andrea Asperti,
Luca Padovani,
Claudio Sacerdoti Coen,
Irene Schena:
XML, Stylesheets and the Re-mathematization of Formal Content.
Extreme Markup Languages® 2001 |
| 1 | EE | Andrea Asperti,
Luca Padovani,
Claudio Sacerdoti Coen,
Irene Schena:
HELM and the Semantic Math-Web.
TPHOLs 2001: 59-74 |
