SACERDOTI COEN, CLAUDIO
SACERDOTI COEN, CLAUDIO
DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
Docenti di ruolo di IIa fascia
Coen, S. C.; Coen, Claudio Sacerdoti; C. SACERDOTI COEN; Claudio Sacerdoti Coen
A Bi-Directional Refinement Algorithm for the Calculus of (Co)Inductive Constructions
2012-01-01 A. Asperti; W. Ricciotti; C. Sacerdoti Coen; E. Tassi
A compact kernel for the calculus of inductive constructions
2009-01-01 A.Asperti; W.Ricciotti; C.Sacerdoti Coen; E.Tassi
A constructive and formal proof of Lebesgue’s Dominated Convergence Theorem in the interactive theorem prover Matita
2008-01-01 C. Sacerdoti Coen; E. Tassi
A content based mathematical search engine: Whelp
2005-01-01 A.Asperti; F.Guidi; C.Sacerdoti Coen; E.Tassi; S.Zacchiroli
A Formal Correspondence between OMDoc with Alternative Proofs and the lambda-bar-mu-mu-tilde-Calculus
2006-01-01 S. Autexier; C. Sacerdoti Coen
A Foundational View on Integration Problems
2011-01-01 F.Rabe; M.Kohlhase; C.Sacerdoti Coen
A Generative Approach to the Implementation of Language Bindings for the Document Object Model
2004-01-01 L.Padovani; C.Sacerdoti Coen; S.Zacchiroli
A new type for tactics
2009-01-01 A. Asperti; W. Ricciotti; E. Tassi; C. Sacerdoti Coen
A Note on Formalizing Undefined Terms in Real Analysis
2007-01-01 C. Sacerdoti Coen; E. Zoli
A Term Rewriting System for Kuratowski's Closure-Complement Problem
2012-01-01 O. Al-Hassani; Q. Mahesar; C. Sacerdoti Coen; V. Sorge
A User Interface for a Mathematical System that Allows Ambiguous Formulae
2009-01-01 C. Sacerdoti Coen
An Interactive Algebra Course with Formalised Proofs and Definitions
2006-01-01 Asperti, Andrea; Geuvers, H.; Loeb, I.; Mamane, L. E.; SACERDOTI COEN, Claudio
Analysis of smart contracts balances
2021-01-01 Cosimo Laneve; Claudio Sacerdoti Coen
CerCo Cost Annotating Compiler
2013-01-01 R. M. Amadio; N. Ayache; Y. Régis-Gianas; R. Saillard; B. Campbell; D. Mulligan; P. Tranquilli; C. Sacerdoti Coen
Certified Complexity
2011-01-01 R. Armadio; A. Asperti; N. Ayache; B. Campbell; D. Mulligan; R. Pollack; Y. Regis-Gianas; C. Sacerdoti Coen; I. Stark
Certified Complexity (CerCo)
2010-01-01 C. Sacerdoti Coen
Certified Complexity (CerCo)Foundational and Practical Aspects of Resource Analysis
2014-01-01 Roberto M. Amadio;Nicolas Ayache;Francois Bobot;Jaap P. Boender;Brian Campbell;Ilias Garnier;Antoine Madet;James McKinna;Dominic P. Mulligan;Mauro Piccolo;Randy Pollack;Yann Régis-Gianas;Claudio Sacerdoti Coen;Ian Stark;Paolo Tranquilli
CICM-WS 2019 Workshop Papers at 12th Conference on Intelligent Computer Mathematics CICM 2019 Joint Proceedings of the FMM and LML Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2019 co-located with the 12th Conference on Intelligent Computer Mathematics (CICM 2019)
2020-01-01 Edwin Brady, James Davenport, William M. Farmer, Cezary Kaliszyk, Andrea Kohlhase, Michael Kohlhase, Dennis Müller, Karol Pąk, Claudio Sacerdoti Coen
The Coq Library as a Theory Graph
2019-01-01 Muller D.; Rabe F.; Sacerdoti Coen C.
Crafting a Proof Assistant
2007-01-01 A.Asperti; C.Sacerdoti Coen; E.Tassi; S.Zacchiroli
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
|---|---|---|---|---|---|---|
| A Bi-Directional Refinement Algorithm for the Calculus of (Co)Inductive Constructions | A. Asperti; W. Ricciotti; C. Sacerdoti Coen; E. Tassi | 2012-01-01 | LOGICAL METHODS IN COMPUTER SCIENCE | - | 1.01 Articolo in rivista | - |
| A compact kernel for the calculus of inductive constructions | A.Asperti; W.Ricciotti; C.Sacerdoti Coen; E.Tassi | 2009-01-01 | SADHANA (BANGALORE) | - | 1.01 Articolo in rivista | - |
| A constructive and formal proof of Lebesgue’s Dominated Convergence Theorem in the interactive theorem prover Matita | C. Sacerdoti Coen; E. Tassi | 2008-01-01 | JOURNAL OF FORMALIZED REASONING | - | 1.01 Articolo in rivista | - |
| A content based mathematical search engine: Whelp | A.Asperti; F.Guidi; C.Sacerdoti Coen; E.Tassi; S.Zacchiroli | 2005-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
| A Formal Correspondence between OMDoc with Alternative Proofs and the lambda-bar-mu-mu-tilde-Calculus | S. Autexier; C. Sacerdoti Coen | 2006-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
| A Foundational View on Integration Problems | F.Rabe; M.Kohlhase; C.Sacerdoti Coen | 2011-01-01 | - | Springer-Verlag | 4.01 Contributo in Atti di convegno | - |
| A Generative Approach to the Implementation of Language Bindings for the Document Object Model | L.Padovani; C.Sacerdoti Coen; S.Zacchiroli | 2004-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
| A new type for tactics | A. Asperti; W. Ricciotti; E. Tassi; C. Sacerdoti Coen | 2009-01-01 | - | s.n | 4.01 Contributo in Atti di convegno | - |
| A Note on Formalizing Undefined Terms in Real Analysis | C. Sacerdoti Coen; E. Zoli | 2007-01-01 | - | s.n | 4.01 Contributo in Atti di convegno | - |
| A Term Rewriting System for Kuratowski's Closure-Complement Problem | O. Al-Hassani; Q. Mahesar; C. Sacerdoti Coen; V. Sorge | 2012-01-01 | - | Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik | 4.01 Contributo in Atti di convegno | - |
| A User Interface for a Mathematical System that Allows Ambiguous Formulae | C. Sacerdoti Coen | 2009-01-01 | ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | - | 4.01 Contributo in Atti di convegno | - |
| An Interactive Algebra Course with Formalised Proofs and Definitions | Asperti, Andrea; Geuvers, H.; Loeb, I.; Mamane, L. E.; SACERDOTI COEN, Claudio | 2006-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
| Analysis of smart contracts balances | Cosimo Laneve; Claudio Sacerdoti Coen | 2021-01-01 | BLOCKCHAIN: RESEARCH AND APPLICATIONS | - | 1.01 Articolo in rivista | ana.pdf |
| CerCo Cost Annotating Compiler | R. M. Amadio; N. Ayache; Y. Régis-Gianas; R. Saillard; B. Campbell; D. Mulligan; P. Tranquilli; C.... Sacerdoti Coen | 2013-01-01 | - | - | 7.04 Software | - |
| Certified Complexity | R. Armadio; A. Asperti; N. Ayache; B. Campbell; D. Mulligan; R. Pollack; Y. Regis-Gianas; C. Sace...rdoti Coen; I. Stark | 2011-01-01 | PROCEDIA COMPUTER SCIENCE | - | 1.01 Articolo in rivista | - |
| Certified Complexity (CerCo) | C. Sacerdoti Coen | 2010-01-01 | - | - | 8.04 Coordinamento di progetti di ricerca | - |
| Certified Complexity (CerCo)Foundational and Practical Aspects of Resource Analysis | Roberto M. Amadio;Nicolas Ayache;Francois Bobot;Jaap P. Boender;Brian Campbell;Ilias Garnier;Anto...ine Madet;James McKinna;Dominic P. Mulligan;Mauro Piccolo;Randy Pollack;Yann Régis-Gianas;Claudio Sacerdoti Coen;Ian Stark;Paolo Tranquilli | 2014-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
| CICM-WS 2019 Workshop Papers at 12th Conference on Intelligent Computer Mathematics CICM 2019 Joint Proceedings of the FMM and LML Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2019 co-located with the 12th Conference on Intelligent Computer Mathematics (CICM 2019) |
Edwin Brady, James Davenport, William M. Farmer, Cezary Kaliszyk, Andrea Kohlhase, Michael K...ohlhase, Dennis Müller, Karol Pąk, Claudio Sacerdoti Coen |
2020-01-01 | - | Sun SITE Central Europe | 3.02 Curatela | - |
| The Coq Library as a Theory Graph | Muller D.; Rabe F.; Sacerdoti Coen C. | 2019-01-01 | - | Springer Verlag | 4.01 Contributo in Atti di convegno | - |
| Crafting a Proof Assistant | A.Asperti; C.Sacerdoti Coen; E.Tassi; S.Zacchiroli | 2007-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |