CRIS Current Research Information System
IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.
ItalianoSACERDOTI COEN, CLAUDIO
Pubblicazioni
Risultati 1 - 20 di 68 (tempo di esecuzione: 0.001 secondi).
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File | |
|---|---|---|---|---|---|---|---|
| 1 | A Bi-Directional Refinement Algorithm for the Calculus of (Co)Inductive Constructions | A. Asperti; W. Ricciotti; C. Sacerdoti Coen; E. Tassi | 2012 | LOGICAL METHODS IN COMPUTER SCIENCE | 1.01 Articolo in rivista | - | |
| 2 | A compact kernel for the calculus of inductive constructions | A.Asperti; W.Ricciotti; C.Sacerdoti Coen; E.Tassi | 2009 | SADHANA (BANGALORE) | 1.01 Articolo in rivista | - | |
| 3 | A constructive and formal proof of Lebesgue’s Dominated Convergence Theorem in the interactive theorem prover Matita | C. Sacerdoti Coen; E. Tassi | 2008 | JOURNAL OF FORMALIZED REASONING | 1.01 Articolo in rivista | - | |
| 4 | A content based mathematical search engine: Whelp | A.Asperti; F.Guidi; C.Sacerdoti Coen; E.Tassi; S.Zacchiroli | 2005 | Springer | 4.01 Contributo in Atti di convegno | - | |
| 5 | A Formal Correspondence between OMDoc with Alternative Proofs and the lambda-bar-mu-mu-tilde-Calculus | S. Autexier; C. Sacerdoti Coen | 2006 | Springer | 4.01 Contributo in Atti di convegno | - | |
| 6 | A Foundational View on Integration Problems | F.Rabe; M.Kohlhase; C.Sacerdoti Coen | 2011 | Springer-Verlag | 4.01 Contributo in Atti di convegno | - | |
| 7 | A Generative Approach to the Implementation of Language Bindings for the Document Object Model | L.Padovani; C.Sacerdoti Coen; S.Zacchiroli | 2004 | Springer | 4.01 Contributo in Atti di convegno | - | |
| 8 | A new type for tactics | A. Asperti; W. Ricciotti; E. Tassi; C. Sacerdoti Coen | 2009 | s.n | 4.01 Contributo in Atti di convegno | - | |
| 9 | A Note on Formalizing Undefined Terms in Real Analysis | C. Sacerdoti Coen; E. Zoli | 2007 | s.n | 4.01 Contributo in Atti di convegno | - | |
| 10 | A User Interface for a Mathematical System that Allows Ambiguous Formulae | C. Sacerdoti Coen | 2009 | ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 4.01 Contributo in Atti di convegno | - | |
| 11 | An Interactive Algebra Course with Formalised Proofs and Definitions | Asperti, Andrea; Geuvers, H.; Loeb, I.; Mamane, L. E.; SACERDOTI COEN, Claudio | 2006 | Springer | 4.01 Contributo in Atti di convegno | - | |
| 12 | 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 | 7.04 Software | - | ||
| 13 | Certified Complexity | R. Armadio; A. Asperti; N. Ayache; B. Campbell; D. Mulligan; R. Pollack; Y. Regis-Gianas; C. Sace...rdoti Coen; I. Stark | 2011 | PROCEDIA COMPUTER SCIENCE | 1.01 Articolo in rivista | - | |
| 14 | Certified Complexity (CerCo) | C. Sacerdoti Coen | 2010 | 8.04 Coordinamento di progetti di ricerca | - | ||
| 15 | 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 | Springer | 4.01 Contributo in Atti di convegno | - | |
| 16 | The Coq Library as a Theory Graph | Muller D.; Rabe F.; Sacerdoti Coen C. | 2019 | Springer Verlag | 4.01 Contributo in Atti di convegno | - | |
| 17 | Crafting a Proof Assistant | A.Asperti; C.Sacerdoti Coen; E.Tassi; S.Zacchiroli | 2007 | 4.01 Contributo in Atti di convegno | - | ||
| 18 | Crumbling Abstract Machines | Accattoli, Beniamino; Condoluci, Andrea; Guerrieri, Giulio; Coen, Claudio Sacerdoti | 2019 | 4.01 Contributo in Atti di convegno | - | ||
| 19 | Declarative Representation of Proof Terms | C. Sacerdoti Coen | 2010 | JOURNAL OF AUTOMATED REASONING | 1.01 Articolo in rivista | - | |
| 20 | Declarative Representation of Proof Terms | C. Sacerdoti Coen | 2007 | RISC Report Series, University of Linz | 4.01 Contributo in Atti di convegno | - |
Dettaglio
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
Copyright © 2020