Concepedia

Claudio Sacerdoti Coen

CS

14

Publications

362

Citations

12

H-Index

2001

Active since

Affiliations

University of Bologna(Current)

École Polytechnique

Microsoft (United States)

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

Top concepts

Automated ReasoningEngineeringFormal MethodsComputer ScienceFormal VerificationSemanticsVerificationProgram AnalysisSoftware EngineeringComputational Complexity

Publications per year

2001–2021

14

Publications

14

User Interaction with the Matita Proof Assistant

Andrea Asperti, Claudio Sacerdoti Coen, E. ̃Tassi et al. · Journal of Automated Reasoning · 2007 · 82 citations

Artificial Intelligence, Engineering, Automated Reasoning +9

A Survey on Retrieval of Mathematical Knowledge

Ferruccio Guidi, Claudio Sacerdoti Coen · Mathematics in Computer Science · 2016 · 38 citations

Mathematics Education, Mathematical Knowledge, Information Retrieval +4

On the Relative Usefulness of Fireballs

Beniamino Accattoli, Claudio Sacerdoti Coen · 2015 · 30 citations · Full text

Engineering, Computational Model Theory, Useful Sharing +19

A Bi-Directional Refinement Algorithm for the Calculus of (Co)Inductive Constructions

Andrea Asperti, Wilmer Ricciotti, Claudio Sacerdoti Coen et al. · Logical Methods in Computer Science · 2012 · 30 citations · Full text

Engineering, Type Theory, Automated Proof +20

Schemapath, a minimal extension to xml schema for conditional constraints

Claudio Sacerdoti Coen, Paolo Marinelli, Fabio Vitali · 2004 · 30 citations

Minimal Extension, Engineering, Software Engineering +18

Rows per page

1–5 of 14