Claudio Sacerdoti Coen

Author

Also Known As

C. Sacerdoti Coen, CLAUDIO SACERDOTI COEN, Carette, Jacques, Claudio Sacerdoti Coen, Coen, C. Sacerdoti, Coen, Claudio Sacerdoti, Kamareddine, Fairouz, Sacerdoti Coen C., Sacerdoti Coen, Claudio, Sacerdoti, Claudio

112

Publications

943

Citations

H-Index

Concepts

All Affiliations

University of Bologna Zambon (Italy)École Polytechnique Microsoft (United States)

About

Claudio Sacerdoti Coen is an author at University of Bologna specializing in automated reasoning, formal methods, and engineering.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	7	7	216
2	Computer Science	6	6	204
3	Language Studies	1	1	30
4	Data Science	1	1	30
5	Mathematics Education	1	1	38

Claudio Sacerdoti Coen

Publications

362

Citations

H-Index

Page 1

	Year	Citations
User Interaction with the Matita Proof Assistant Andrea Asperti, Claudio Sacerdoti Coen, E. ̃Tassi, Journal of Automated Reasoning Artificial IntelligenceEngineeringAutomated ReasoningVerificationFormal Methods	2007	82
A Survey on Retrieval of Mathematical Knowledge Ferruccio Guidi, Claudio Sacerdoti Coen Mathematics in Computer Science Mathematics EducationMathematical KnowledgeInformation RetrievalAutomated ReasoningKnowledge Retrieval	2016	38
On the Relative Usefulness of Fireballs Beniamino Accattoli, Claudio Sacerdoti Coen EngineeringComputational Model TheoryUseful SharingComputational ComplexityFire Protection	2015	30
A Bi-Directional Refinement Algorithm for the Calculus of (Co)Inductive Constructions Andrea Asperti, Wilmer Ricciotti, Claudio Sacerdoti Coen, Logical Methods in Computer Science EngineeringType TheoryAutomated ProofComputational ComplexitySemantics	2012	30
Schemapath, a minimal extension to xml schema for conditional constraints Claudio Sacerdoti Coen, Paolo Marinelli, Fabio Vitali Minimal ExtensionEngineeringSoftware EngineeringSemanticsSemantic Web	2004	30
Formalising Overlap Algebras in Matita Claudio Sacerdoti Coen, E. ̃Tassi Mathematical Structures in Computer Science	2011	24
A compact kernel for the calculus of inductive constructions Andrea Asperti, Wilmer Ricciotti, Claudio Sacerdoti Coen, Sadhana Automated ReasoningModel TheoryCompact KernelInductive InferenceComputability Theory	2009	23
Tinycals: Step by Step Tacticals Claudio Sacerdoti Coen, E. ̃Tassi, Stefano Zacchiroli Electronic Notes in Theoretical Computer Science EngineeringVerificationSoftware EngineeringAutomated ProofDefence Technology	2007	22
Strong Call-by-Value is Reasonable, Implosively Beniamino Accattoli, Andrea Condoluci, Claudio Sacerdoti Coen Archivio istituzionale della ricerca (Alma Mater Studiorum Università di Bologna)	2021	21
A constructive and formal proof of Lebesgue’s Dominated Convergence Theorem in the interactive theorem prover Matita Claudio Sacerdoti Coen, E. ̃Tassi SHILAP Revista de lepidopterología Formal ProofPeculiar FeaturesMeasure TheoryOrdered UniformitiesLattice (Order)	2008	14

Page 1