Claudio Sacerdoti Coen
Università degli Studi di Bologna
H-index: 21
Europe-Italy
Top articles of Claudio Sacerdoti Coen
Title | Journal | Author(s) | Publication Date |
|---|---|---|---|
Reversible debugging of concurrent Erlang programs: Supporting imperative primitives | Journal of Logical and Algebraic Methods in Programming | Pietro Lami Ivan Lanese Jean-Bernard Stefani Claudio Sacerdoti Coen Giovanni Fabbretti | 2024/4/1 |
Causal reversibility implies time reversibility | Marco Bernardo Ivan Lanese Andrea Marin Claudio A Mezzina Sabina Rossi | 2023/9/15 | |
Confluence of a Computational Lambda Calculus for Higher-Order Relational Queries | 12th International Workshop on Confluence | Claudio Sacerdoti Coen Riccardo Treglia | 2023/8/23 |
Formalizing Functions as Processes | Beniamino Accattoli Horace Blanc Claudio Sacerdoti Coen | 2023/7/31 | |
Properties of a Computational Lambda Calculus for Higher-Order Relational Queries | CEUR WORKSHOP PROCEEDINGS | C Coen Riccardo Treglia | 2023 |
Reversibility in erlang: imperative constructs | Pietro Lami Ivan Lanese Jean-Bernard Stefani Claudio Sacerdoti Coen Giovanni Fabbretti | 2022/6/28 | |
Proceedings of the 22nd Italian Conference on Theoretical Computer Science, Bologna, Italy, September 13-15, 2021 | CEUR WORKSHOP PROCEEDINGS | C Sacerdoti Coen I Salvo | 2022 |
Reversibility in Erlang: Imperative Constructs-Technical Report | Pietro Lami Ivan Lanese Jean-Bernard Stefani Claudio Sacerdoti Coen Giovanni Fabbretti | 2022/7/5 | |
Proceedings Fifteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice | arXiv preprint arXiv:2101.02835 | Claudio Sacerdoti Coen Alwen Tiu | 2021/1/8 |
Intelligent Computer Mathematics | Fairouz Kamareddine Claudio Sacerdoti Coen | 2021 | |
Analysis of smart contracts balances | Blockchain: Research and Applications | Cosimo Laneve Claudio Sacerdoti Coen | 2021/9/1 |
Strong call-by-value is reasonable, implosively | Beniamino Accattoli Andrea Condoluci Claudio Sacerdoti Coen | 2021/6/29 | |
Functional and Constraint Logic Programming: 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers | Michael Hanus Claudio Sacerdoti Coen | 2021/5/5 | |
Pre-Proceedings of the 28th International Workshop on Functional and Logic Programming (WFLP 2020) | arXiv preprint arXiv:2009.01001 | Michael Hanus Claudio Sacerdoti Coen | 2020/9/2 |
Logic-Independent Proof Search in Logical Frameworks: (Short Paper) | Michael Kohlhase Florian Rabe Claudio Sacerdoti Coen Jan Frederik Schaefer | 2020/6/24 | |
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 … | CEUR WORKSHOP PROCEEDINGS | Edwin Brady James Davenport William M Farmer Cezary Kaliszyk Andrea Kohlhase | 2020 |
Co-Authors
