Claudio Sacerdoti Coen
TitleCited byYear
User interaction with the Matita proof assistant
A Asperti, CS Coen, E Tassi, S Zacchiroli
Journal of Automated Reasoning 39 (2), 109-139, 2007
992007
Mathematical knowledge management in HELM
A Asperti, L Padovani, CS Coen, F Guidi, I Schena
Annals of Mathematics and Artificial Intelligence 38 (1-3), 27-46, 2003
892003
The Matita interactive theorem prover
A Asperti, W Ricciotti, CS Coen, E Tassi
International Conference on Automated Deduction, 64-69, 2011
832011
A content based mathematical search engine: Whelp
A Asperti, F Guidi, CS Coen, E Tassi, S Zacchiroli
International Workshop on Types for Proofs and Programs, 17-32, 2004
692004
HELM and the semantic math-web
A Asperti, L Padovani, CS Coen, I Schena
International Conference on Theorem Proving in Higher Order Logics, 59-74, 2001
692001
Hints in unification
A Asperti, W Ricciotti, CS Coen, E Tassi
International Conference on Theorem Proving in Higher Order Logics, 84-98, 2009
472009
Crafting a proof assistant
A Asperti, CS Coen, E Tassi, S Zacchiroli
International Workshop on Types for Proofs and Programs, 18-32, 2006
452006
Schemapath, a minimal extension to XML Schema for conditional constraints
CS Coen, P Marinelli, F Vitali
Proceedings of the 13th international conference on World Wide Web, 164-174, 2004
402004
On the relative usefulness of fireballs
B Accattoli, CS Coen
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 141-155, 2015
322015
A compact kernel for the calculus of inductive constructions
A Asperti, W Ricciotti, CS Coen, E Tassi
Sadhana 34 (1), 71-144, 2009
302009
ELPI: Fast, Embeddable, Prolog Interpreter
C Dunchev, F Guidi, CS Coen, E Tassi
Logic for Programming, Artificial Intelligence, and Reasoning, 460-468, 2015
282015
A survey on retrieval of mathematical knowledge
F Guidi, CS Coen
Mathematics in Computer Science 10 (4), 409-427, 2016
262016
On the value of variables
B Accattoli, CS Coen
Information and Computation 255, 224-242, 2017
252017
SmartTools: a development environment generator based on XML technologies
I Attali, C Courbis, P Degenne, A Fau, J Fillon, D Parigot, C Pasquier, ...
XML Technologies and Software Engineering, 2001
252001
A bi-directional refinement algorithm for the calculus of (co) inductive constructions
A Asperti, W Ricciotti, CS Coen, E Tassi
arXiv preprint arXiv:1202.4905, 2012
232012
Tinycals: step by step tacticals
CS Coen, E Tassi, S Zacchiroli
Electronic Notes in Theoretical Computer Science 174 (2), 125-142, 2007
232007
A semi-reflexive tactic for (sub-) equational reasoning
CS Coen
International Workshop on Types for Proofs and Programs, 98-114, 2004
232004
Mathematical knowledge management and interactive theorem proving
CS Coen
PhD thesis, University of Bologna, 2004. Technical Report UBLCS 2004-5, 2004
232004
Certified complexity (cerco)
RM Amadio, N Ayache, F Bobot, JP Boender, B Campbell, I Garnier, ...
International Workshop on Foundational and Practical Aspects of Resource …, 2013
202013
A foundational view on integration problems
F Rabe, M Kohlhase, CS Coen
International Conference on Intelligent Computer Mathematics, 107-122, 2011
202011
The system can't perform the operation now. Try again later.
Articles 1–20