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
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
Pubblicazioni
Risultati 1 - 20 di 70 (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 | 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 | Sun SITE Central Europe | 3.02 Curatela | - | |
| 17 | The Coq Library as a Theory Graph | Muller D.; Rabe F.; Sacerdoti Coen C. | 2019 | Springer Verlag | 4.01 Contributo in Atti di convegno | - | |
| 18 | Crafting a Proof Assistant | A.Asperti; C.Sacerdoti Coen; E.Tassi; S.Zacchiroli | 2007 | 4.01 Contributo in Atti di convegno | - | ||
| 19 | Crumbling Abstract Machines | Accattoli, Beniamino; Condoluci, Andrea; Guerrieri, Giulio; Coen, Claudio Sacerdoti | 2019 | 4.01 Contributo in Atti di convegno | - | ||
| 20 | Declarative Representation of Proof Terms | C. Sacerdoti Coen | 2007 | RISC Report Series, University of Linz | 4.01 Contributo in Atti di convegno | - |
Copyright © 2021