Claudio Sacerdoti Coen

Cited by

	All	Since 2018
Citations	1574	476
h-index	21	12
i10-index	44	17

140

105

2001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202312 15 43 27 24 50 85 54 86 94 86 108 71 87 80 69 82 65 123 88 90 86 23

Public access

View all

9 articles

0 articles

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
Luca PadovaniDipartimento di Informatica, Università degli Studi di TorinoVerified email at unito.it
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
Florian RabeUniversity Erlangen-NurembergVerified email at fau.de
Dominic MulliganPrincipal Applied Scientist, Amazon Web ServicesVerified email at amazon.co.uk
Cosimo LaneveProfessor of Computer Science, University of BolognaVerified email at unibo.it
Yann Régis-GianasIRIF, CNRS, INRIA, Paris Diderot UniversityVerified email at pps.univ-paris-diderot.fr
Brian CampbellLaboratory for Foundations of Computer Science, University of EdinburghVerified email at ed.ac.uk
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
Giulio GuerrieriDepartment of Computer Science, University of BathVerified email at bath.ac.uk
Matteo CiminiUniversity of Massachusetts LowellVerified email at uml.edu
Fabio VitaliProfessor of Computer Science, University of BolognaVerified email at unibo.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
Didier ParigotInriaVerified email at inria.fr

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	111	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	99	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	95	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	74	2006
HELM and the semantic math-web A Asperti, L Padovani, CS Coen, I Schena Theorem Proving in Higher Order Logics: 14th International Conference …, 2001	69	2001
A survey on retrieval of mathematical knowledge F Guidi, C Sacerdoti Coen Mathematics in Computer Science 10 (4), 409-427, 2016	64	2016
Hints in unification A Asperti, W Ricciotti, C Sacerdoti Coen, E Tassi Theorem Proving in Higher Order Logics: 22nd International Conference …, 2009	62	2009
ELPI: fast, embeddable, prolog interpreter C Dunchev, F Guidi, C Sacerdoti Coen, E Tassi Logic for Programming, Artificial Intelligence, and Reasoning: 20th …, 2015	50	2015
On the relative usefulness of fireballs B Accattoli, CS Coen 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 141-155, 2015	49	2015
Crafting a proof assistant A Asperti, CS Coen, E Tassi, S Zacchiroli Types for Proofs and Programs: International Workshop, TYPES 2006 …, 2007	49	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
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	40	2014
On the value of variables B Accattoli, CS Coen Information and Computation 255, 224-242, 2017	39	2017
A bi-directional refinement algorithm for the calculus of (co) inductive constructions E Tassi, CS Coen, W Ricciotti, A Asperti Logical Methods in Computer Science 8, 2012	39	2012
A compact kernel for the calculus of inductive constructions A Asperti, W Ricciotti, C Sacerdoti Coen, E Tassi Sadhana 34, 71-144, 2009	35	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	32	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	24	2004
Working with mathematical structures in type theory C Sacerdoti Coen, E Tassi Types for Proofs and Programs: International Conference, TYPES 2007 …, 2008	23	2008

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