Bernardo M.; Lanese I.; Marin A.; Mezzina C.A.; Rossi S.; Sacerdoti Coen C., Causal Reversibility Implies Time Reversibility, in: Quantitative Evaluation of Systems, Cham, Springer Science and Business Media Deutschland GmbH, «LECTURE NOTES IN COMPUTER SCIENCE», 2023, 14287, pp. 270 - 287 (atti di: 20th International Conference on Quantitative Evaluation of SysTems, QEST 2023, Antwerp, Belgium, 20-22/9/92023) [Contributo in Atti di convegno]
Beniamino Accattoli; Horace Blanc; Claudio Sacerdoti Coen, Formalizing Functions as Processes, in: 14th International Conference on Interactive Theorem Proving (ITP 2023), «LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS», 2023, 268, pp. 1 - 21 (atti di: 14th International Conference on Interactive Theorem Proving (ITP 2023), Bialystock, 31/07/2023 - 04/08/2023) [Contributo in Atti di convegno]Open Access
Coen C.; Treglia R., Properties of a Computational Lambda Calculus for Higher-Order Relational Queries, in: CEUR Workshop Proceedings, CEUR-WS, «CEUR WORKSHOP PROCEEDINGS», 2023, 3587, pp. 254 - 267 (atti di: 24th Italian Conference on Theoretical Computer Science, ICTCS 2023, Palermo (IT), 13-15/09/2023) [Contributo in Atti di convegno]Open Access
C. Sacerdoti Coen, I. Salvo, Proceedings of the 22nd Italian Conference on Theoretical Computer Science, Bologna, Italy, September 13-15, 2021, Aachen, Sun SITE Central Europe, 2022, pp. 340 (CEUR WORKSHOP PROCEEDINGS). [curatela]Open Access
Lami P.; Lanese I.; Stefani J.-B.; Sacerdoti Coen C.; Fabbretti G., Reversibility in Erlang: Imperative Constructs, in: Reversible Computation 14th International Conference, RC 2022, Urbino, Italy, July 5–6, 2022, Proceedings, «LECTURE NOTES IN COMPUTER SCIENCE», 2022, 13354 LNCS, pp. 187 - 203 (atti di: Reversible Computation, Urbino, 5-6/07/2022) [Contributo in Atti di convegno]
Cosimo Laneve; Claudio Sacerdoti Coen, Analysis of smart contracts balances, «BLOCKCHAIN: RESEARCH AND APPLICATIONS», 2021, 2, pp. 1 - 24 [articolo]Open Access
M. Hanus, C. Sacerdoti Coen, Functional and Constraint Logic Programming. 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers, Cham, Springer, Cham, 2021, pp. 148 (LECTURE NOTES IN ARTIFICIAL INTELLIGENCE). [curatela]
Kamareddine F., Sacerdoti Coen C., Intelligent Computer Mathematics - 14th International Conference, CICM 2021, Timisoara, Romania, July 26–31, 2021, Proceedings, Cham, Springer Nature Switzerland AG, 2021, pp. 248 (LECTURE NOTES IN ARTIFICIAL INTELLIGENCE). [curatela]
C. Sacerdoti Coen,
A. Tiu, Proceedings Fifteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, Waterloo, Open Publishing Association, 2021, pp. 67 . [curatela]Open Access
Accattoli B.; Condoluci A.; Sacerdoti Coen C., Strong Call-by-Value is Reasonable, Implosively, in: 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Institute of Electrical and Electronics Engineers Inc., «PROCEEDINGS - SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE», 2021, 2021-, pp. 1 - 14 (atti di: 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021, Rome, 2021) [Contributo in Atti di convegno]Open Access
Edwin Brady,
James Davenport,
William M. Farmer,
Cezary Kaliszyk,
Andrea Kohlhase,
Michael Kohlhase,
Dennis Müller,
Karol Pąk,
Claudio Sacerdoti Coen, 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), Aachen, Sun SITE Central Europe, 2020, pp. 91 (CEUR WORKSHOP PROCEEDINGS). [curatela]Open Access
Kohlhase M.; Rabe F.; Sacerdoti Coen C.; Schaefer J.F., Logic-Independent Proof Search in Logical Frameworks: (Short Paper), in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2020, 12166, pp. 395 - 401 (atti di: 10th International Joint Conference on Automated Reasoning, IJCAR 2020, Paris, 01-04/07/2020) [Contributo in Atti di convegno]
Sacerdoti Coen C., A Plugin to Export Coq Libraries to XML, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2019, 11617, pp. 243 - 257 (atti di: 12th International Conference on Intelligent Computer Mathematics, CICM 2019, cze, 2019) [Contributo in Atti di convegno]
Accattoli, Beniamino; Condoluci, Andrea; Guerrieri, Giulio; Coen, Claudio Sacerdoti, Crumbling Abstract Machines, in: PPDP '19: Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages 2019, 2019, pp. 1 - 15 (atti di: 21st International Symposium on Principles and Practice of Programming Languages, Porto, 7-9/10/2019) [Contributo in Atti di convegno]
Guidi F.; Sacerdoti Coen C.; Tassi E., Implementing type theory in higher order constraint logic programming, «MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE», 2019, nd, pp. 1 - 26 [articolo]
