Claudio Sacerdoti Coen

Cited by

	All	Since 2020
Citations	1772	452
h-index	23	13
i10-index	50	16

140

105

200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202511 20 40 30 24 47 87 59 92 86 87 110 70 88 78 68 85 76 132 88 85 88 101 78 12

Public access

View all

13 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
Ferruccio GuidiUniversity of BolognaVerified email at cs.unibo.it
Wilmer RicciottiUniversity of EdinburghVerified email at wilmer-ricciotti.net
Beniamino AccattoliInria & École PolytechniqueVerified email at inria.fr
Andrea CondoluciPhD at University of BolognaVerified email at studio.unibo.it
Florian RabeUniversity Erlangen-NurembergVerified email at fau.de
Dominic MulliganPrincipal Applied Scientist, Amazon Web ServicesVerified email at amazon.co.uk
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
Ivan LaneseUniversity of BolognaVerified email at unibo.it
Giulio GuerrieriDepartment of Computer Science, University of BathVerified email at bath.ac.uk
Pietro LamiINRIAVerified email at inria.fr
Matteo CiminiUniversity of Massachusetts LowellVerified email at uml.edu
Dennis MüllerFAU Erlangen-NürnbergVerified email at fau.de
Giovanni FabbrettiINRIAVerified email at inria.fr
James McKinnaHeriot-Watt University, EdinburghVerified email at hw.ac.uk

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	117	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	104	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	102	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	78	2006
Hints in unification A Asperti, W Ricciotti, C Sacerdoti Coen, E Tassi Theorem Proving in Higher Order Logics: 22nd International Conference …, 2009	73	2009
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	72	2001
ELPI: fast, embeddable, prolog interpreter C Dunchev, F Guidi, C Sacerdoti Coen, E Tassi Logic for Programming, Artificial Intelligence, and Reasoning, 460-468, 2015	66	2015
A survey on retrieval of mathematical knowledge F Guidi, C Sacerdoti Coen Mathematics in Computer Science 10 (4), 409-427, 2016	53	2016
On the relative usefulness of fireballs B Accattoli, CS Coen 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 141-155, 2015	53	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	50	2014
Crafting a proof assistant A Asperti, CS Coen, E Tassi, S Zacchiroli Types for Proofs and Programs: International Workshop, TYPES 2006 …, 2007	50	2007
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	41	2012
A compact kernel for the calculus of inductive constructions A Asperti, W Ricciotti, C Sacerdoti Coen, E Tassi Sadhana 34, 71-144, 2009	38	2009
Strong call-by-value is reasonable, implosively B Accattoli, A Condoluci, CS Coen 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-14, 2021	31	2021
A survey on retrieval of mathematical knowledge F Guidi, C Sacerdoti Coen International Conference on Intelligent Computer Mathematics, 296-315, 2015	31	2015
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	28	2007
Crumbling abstract machines B Accattoli, A Condoluci, G Guerrieri, CS Coen Proceedings of the 21st International Symposium on Principles and Practice …, 2019	27	2019
A semi-reflexive tactic for (sub-) equational reasoning CS Coen Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en …, 2006	26	2006

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