Claudio Sacerdoti Coen

Cited by

	All	Since 2018
Citations	1624	526
h-index	21	13
i10-index	46	17

140

105

2001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202311 21 38 30 22 48 83 55 87 93 85 111 71 88 80 65 83 65 125 88 87 87 73

Public access

View all

12 articles

1 article

available

not available

Based on funding mandates

Co-authors

aspertiUniversity of BolognaVerified email at cs.unibo.it
Stefano ZacchiroliLTCI, Télécom Paris, Polytechnique Institute of Paris, FranceVerified email at telecom-paris.fr
Wilmer RicciottiUniversity of EdinburghVerified email at wilmer-ricciotti.net
Ferruccio GuidiUniversity of BolognaVerified email at cs.unibo.it
Andrea CondoluciPhD at University of BolognaVerified email at studio.unibo.it
Dominic MulliganPrincipal Applied Scientist, Amazon Web ServicesVerified email at amazon.co.uk
Florian RabeUniversity Erlangen-NurembergVerified email at fau.de
Yann Régis-GianasIRIF, CNRS, INRIA, Paris Diderot UniversityVerified email at pps.univ-paris-diderot.fr
Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghVerified email at ed.ac.uk
Jaap BoenderFormal Verification Engineer, Hensoldt Cyber GmbHVerified email at kerguelen.org
Cosimo LaneveProfessor of Computer Science, University of BolognaVerified email at unibo.it
Brian CampbellLaboratory for Foundations of Computer Science, University of EdinburghVerified email at ed.ac.uk
Giulio GuerrieriDepartment of Computer Science, University of BathVerified email at bath.ac.uk
Matteo CiminiUniversity of Massachusetts LowellVerified email at uml.edu
Silvio ValentiniUniversità di PadovaVerified email at math.unipd.it
James McKinnaHeriot-Watt University, EdinburghVerified email at hw.ac.uk
Ilias GarnierPostdoc, École Normale SupérieureVerified email at di.ens.fr
François BobotVerified email at bobot.eu
Fabio VitaliProfessor of Computer Science, University of BolognaVerified email at unibo.it
Davide SangiorgiProfessor of Computer Science, University of BolognaVerified email at cs.unibo.it

Claudio Sacerdoti Coen

University of Bologna

Verified email at unibo.it - Homepage

Interactive Theorem Proving Mathematical Knowledge Management


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
The Matita interactive theorem prover A Asperti, W Ricciotti, C Sacerdoti Coen, E Tassi Automated Deduction–CADE-23: 23rd International Conference on Automated …, 2011	114	2011
User interaction with the Matita proof assistant A Asperti, C Sacerdoti Coen, E Tassi, S Zacchiroli Journal of Automated Reasoning 39, 109-139, 2007	102	2007
Mathematical knowledge management in HELM A Asperti, L Padovani, C Sacerdoti Coen, F Guidi, I Schena Annals of Mathematics and Artificial Intelligence 38, 27-46, 2003	96	2003
A content based mathematical search engine: Whelp A Asperti, F Guidi, CS Coen, E Tassi, S Zacchiroli Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en …, 2006	75	2006
A survey on retrieval of mathematical knowledge F Guidi, C Sacerdoti Coen Mathematics in Computer Science 10 (4), 409-427, 2016	70	2016
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	70	2001
Hints in unification A Asperti, W Ricciotti, C Sacerdoti Coen, E Tassi Theorem Proving in Higher Order Logics: 22nd International Conference …, 2009	64	2009
ELPI: fast, embeddable, prolog interpreter C Dunchev, F Guidi, C Sacerdoti Coen, E Tassi Logic for Programming, Artificial Intelligence, and Reasoning, 460-468, 2015	51	2015
Crafting a proof assistant A Asperti, CS Coen, E Tassi, S Zacchiroli Types for Proofs and Programs: International Workshop, TYPES 2006 …, 2007	50	2007
On the relative usefulness of fireballs B Accattoli, CS Coen 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 141-155, 2015	47	2015
Certified complexity (cerco) RM Amadio, N Ayache, F Bobot, JP Boender, B Campbell, I Garnier, ... Foundational and Practical Aspects of Resource Analysis: Third International …, 2014	45	2014
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	44	2004
A bi-directional refinement algorithm for the calculus of (co) inductive constructions A Asperti, W Ricciotti, CS Coen, E Tassi Logical Methods in Computer Science 8, 2012	38	2012
A compact kernel for the calculus of inductive constructions A Asperti, W Ricciotti, C Sacerdoti Coen, E Tassi Sadhana 34, 71-144, 2009	37	2009
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	31	2001
Tinycals: step by step tacticals CS Coen, E Tassi, S Zacchiroli Electronic Notes in Theoretical Computer Science 174 (2), 125-142, 2007	25	2007
A semi-reflexive tactic for (sub-) equational reasoning CS Coen Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en …, 2006	25	2006
Mathematical knowledge management and interactive theorem proving CS Coen PhD thesis, University of Bologna, 2004. Technical Report UBLCS 2004-5, 2004	25	2004
Matita tutorial A Asperti, W Ricciotti, CS Coen Journal of Formalized Reasoning 7 (2), 91-199, 2014	24	2014
Crumbling abstract machines B Accattoli, A Condoluci, G Guerrieri, CS Coen Proceedings of the 21st International Symposium on Principles and Practice …, 2019	22	2019

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors