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
IMELL Cut Elimination with Linear Overhead
2024 Accattoli, Beniamino; SACERDOTI COEN, Claudio
Proceedings Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
2024 Florian Rabe; Claudio Sacerdoti Coen
Reversible debugging of concurrent Erlang programs: Supporting imperative primitives
2024 Lami, Pietro; Lanese, Ivan; Stefani, Jean-Bernard; Sacerdoti Coen, Claudio; Fabbretti, Giovanni
Causal Reversibility Implies Time Reversibility
2023 Bernardo M.; Lanese I.; Marin A.; Mezzina C.A.; Rossi S.; Sacerdoti Coen C.
Formalizing Functions as Processes
2023 Beniamino Accattoli; Horace Blanc; Claudio Sacerdoti Coen
Properties of a Computational Lambda Calculus for Higher-Order Relational Queries
2023 Coen C.; Treglia R.
Proceedings of the 22nd Italian Conference on Theoretical Computer Science, Bologna, Italy, September 13-15, 2021
2022 C. Sacerdoti Coen, I. Salvo
Reversibility in Erlang: Imperative Constructs
2022 Lami P.; Lanese I.; Stefani J.-B.; Sacerdoti Coen C.; Fabbretti G.
Analysis of smart contracts balances
2021 Cosimo Laneve; Claudio Sacerdoti Coen
Functional and Constraint Logic Programming. 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers
2021 M. Hanus, C. Sacerdoti Coen
Intelligent Computer Mathematics - 14th International Conference, CICM 2021, Timisoara, Romania, July 26–31, 2021, Proceedings
2021 Kamareddine F., Sacerdoti Coen C.
Proceedings Fifteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
2021 C. Sacerdoti Coen, A. Tiu
Strong Call-by-Value is Reasonable, Implosively
2021 Accattoli B.; Condoluci A.; Sacerdoti Coen C.
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 Edwin Brady, James Davenport, William M. Farmer, Cezary Kaliszyk, Andrea Kohlhase, Michael Kohlhase, Dennis Müller, Karol Pąk, Claudio Sacerdoti Coen
Logic-Independent Proof Search in Logical Frameworks: (Short Paper)
2020 Kohlhase M.; Rabe F.; Sacerdoti Coen C.; Schaefer J.F.
A Plugin to Export Coq Libraries to XML
2019 Sacerdoti Coen C.
Crumbling Abstract Machines
2019 Accattoli, Beniamino; Condoluci, Andrea; Guerrieri, Giulio; Coen, Claudio Sacerdoti
Implementing type theory in higher order constraint logic programming
2019 Guidi F.; Sacerdoti Coen C.; Tassi E.
Intelligent Computer Mathematics 12th International Conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019, Proceedings
2019 Cezary Kaliszyk, Edwin Brady, Andrea Kohlhase, Claudio Sacerdoti Coen
On the Prediction of Smart Contracts’ Behaviours
2019 Laneve, Cosimo; Coen, Claudio Sacerdoti; Veschetti, Adele
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
|---|---|---|---|---|---|---|
| IMELL Cut Elimination with Linear Overhead | Accattoli, Beniamino; SACERDOTI COEN, Claudio | 2024-01-01 | - | Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing | 4.01 Contributo in Atti di convegno | - |
| Proceedings Workshop on Logical Frameworks and Meta-Languages: Theory and Practice | Florian Rabe; Claudio Sacerdoti Coen | 2024-01-01 | ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | Open Publishing Association | 3.02 Curatela | Proceedings.pdf |
| Reversible debugging of concurrent Erlang programs: Supporting imperative primitives | Lami, Pietro; Lanese, Ivan; Stefani, Jean-Bernard; Sacerdoti Coen, Claudio; Fabbretti, Giovanni | 2024-01-01 | THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING | - | 1.01 Articolo in rivista | - |
| Causal Reversibility Implies Time Reversibility | Bernardo M.; Lanese I.; Marin A.; Mezzina C.A.; Rossi S.; Sacerdoti Coen C. | 2023-01-01 | - | Springer Science and Business Media Deutschland GmbH | 4.01 Contributo in Atti di convegno | paper.pdf |
| Formalizing Functions as Processes | Beniamino Accattoli; Horace Blanc; Claudio Sacerdoti Coen | 2023-01-01 | - | - | 4.01 Contributo in Atti di convegno | LIPIcs.ITP.2023.5.pdf |
| Properties of a Computational Lambda Calculus for Higher-Order Relational Queries | Coen C.; Treglia R. | 2023-01-01 | - | CEUR-WS | 4.01 Contributo in Atti di convegno | 8059.pdf |
| Proceedings of the 22nd Italian Conference on Theoretical Computer Science, Bologna, Italy, September 13-15, 2021 | C. Sacerdoti Coen, I. Salvo | 2022-01-01 | - | Sun SITE Central Europe | 3.02 Curatela | preface (1).pdf |
| Reversibility in Erlang: Imperative Constructs | Lami P.; Lanese I.; Stefani J.-B.; Sacerdoti Coen C.; Fabbretti G. | 2022-01-01 | - | - | 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 |
| Functional and Constraint Logic Programming. 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers | M. Hanus, C. Sacerdoti Coen | 2021-01-01 | - | Springer, Cham | 3.02 Curatela | wflp.pdf |
| Intelligent Computer Mathematics - 14th International Conference, CICM 2021, Timisoara, Romania, July 26–31, 2021, Proceedings | Kamareddine F., Sacerdoti Coen C. | 2021-01-01 | - | Springer Nature Switzerland AG | 3.02 Curatela | - |
| Proceedings Fifteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice |
C. Sacerdoti Coen, A. Tiu |
2021-01-01 | ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | Open Publishing Association | 3.02 Curatela | Proceedings Fifteenth Workshop on Logical Frameworks and Meta-Languages.pdf |
| Strong Call-by-Value is Reasonable, Implosively | Accattoli B.; Condoluci A.; Sacerdoti Coen C. | 2021-01-01 | - | Institute of Electrical and Electronics Engineers Inc. | 4.01 Contributo in Atti di convegno | Strong_Call-by-Value_is_Reasonable_Implosively.pdf |
| 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 | preface.pdf |
| Logic-Independent Proof Search in Logical Frameworks: (Short Paper) | Kohlhase M.; Rabe F.; Sacerdoti Coen C.; Schaefer J.F. | 2020-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
| A Plugin to Export Coq Libraries to XML | Sacerdoti Coen C. | 2019-01-01 | - | Springer Verlag | 4.01 Contributo in Atti di convegno | - |
| Crumbling Abstract Machines | Accattoli, Beniamino; Condoluci, Andrea; Guerrieri, Giulio; Coen, Claudio Sacerdoti | 2019-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
| Implementing type theory in higher order constraint logic programming | Guidi F.; Sacerdoti Coen C.; Tassi E. | 2019-01-01 | MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE | - | 1.01 Articolo in rivista | - |
| Intelligent Computer Mathematics 12th International Conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019, Proceedings | Cezary Kaliszyk, Edwin Brady, Andrea Kohlhase, Claudio Sacerdoti Coen | 2019-01-01 | - | Springer Verlag | 3.02 Curatela | - |
| On the Prediction of Smart Contracts’ Behaviours | Laneve, Cosimo; Coen, Claudio Sacerdoti; Veschetti, Adele | 2019-01-01 | - | Springer Verlag | 4.01 Contributo in Atti di convegno | accepted_manuscript.pdf |