Claudio Sacerdoti Coen

	2009
24		Jacques Carette, Lucas Dixon, Claudio Sacerdoti Coen, Stephen M. Watt: Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings Springer 2009
23		Claudio Sacerdoti Coen, Enrico Tassi: Natural Deduction Environment for Matita. Calculemus/MKM 2009: 486-491
22		Andrea Asperti, Wilmer Ricciotti, Claudio Sacerdoti Coen, Enrico Tassi: Hints in Unification. TPHOLs 2009: 84-98
21		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		Claudio Sacerdoti Coen, Stefano Zacchiroli: Spurious Disambiguation Error Detection. Calculemus/MKM 2007: 381-392
19		Claudio Sacerdoti Coen, Enrico Tassi: Working with Mathematical Structures in Type Theory. TYPES 2007: 157-172
18		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		Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacchiroli: Tinycals: Step by Step Tacticals. Electr. Notes Theor. Comput. Sci. 174(2): 125-142 (2007)
16		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		Serge Autexier, Claudio Sacerdoti Coen: A Formal Correspondence Between OMDoc with Alternative Proofs and the lambdaµµ-Calculus. MKM 2006: 67-81
14		Andrea Asperti, Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacchiroli: Crafting a Proof Assistant. TYPES 2006: 18-32
	2005
13		Claudio Sacerdoti Coen: Explanation in Natural Language of lamda-µµ-Terms. MKM 2005: 234-249
12		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		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		Claudio Sacerdoti Coen: Mathematical Libraries as Proof Assistant Environments. MKM 2004: 332-346
9		Claudio Sacerdoti Coen, Stefano Zacchiroli: Efficient Ambiguous Parsing of Mathematical Formulae. MKM 2004: 347-362
8		Andrea Asperti, Ferruccio Guidi, Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacchiroli: A Content Based Mathematical Search Engine: Whelp. TYPES 2004: 17-32
7		Claudio Sacerdoti Coen: A Semi-reflexive Tactic for (Sub-)Equational Reasoning. TYPES 2004: 98-114
6		Claudio Sacerdoti Coen, Paolo Marinelli, Fabio Vitali: Schemapath, a minimal extension to xml schema for conditional constraints. WWW 2004: 164-174
	2003
5		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		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		Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Irene Schena: XML, Stylesheets and the Re-mathematization of Formal Content. Extreme Markup Languages® 2001
1		Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Irene Schena: HELM and the Semantic Math-Web. TPHOLs 2001: 59-74

Coauthor Index

1	Andrea Asperti	[1] [2] [3] [8] [12] [14] [16] [22]
2	Serge Autexier	[15]
3	Jacques Carette	[24]
4	Lucas Dixon	[24]
5	Herman Geuvers	[12]
6	Ferruccio Guidi	[3] [8]
7	Iris Loeb	[12]
8	Lionel Elie Mamane	[12]
9	Paolo Marinelli	[6]
10	Luca Padovani	[1] [2] [3] [11]
11	Wilmer Ricciotti	[22]
12	Irene Schena	[1] [2] [3]
13	Enrico Tassi	[8] [14] [16] [17] [19] [22] [23]
14	Fabio Vitali	[6]
15	Stephen M. Watt	[24]
16	Stefano Zacchiroli	[8] [9] [11] [14] [16] [17] [20]

Colors in the list of coauthors