Asperti, Andrea; Naibo, Alberto; Sacerdoti Coen, Claudio, Thinking Machines: Mathematical Reasoning in the Age of LLMs, «BIG DATA AND COGNITIVE COMPUTING», 2026, 10, pp. 1 - 36 [articolo]
Accattoli, B.; Belo Lourenco, C.; Ghica, D. R.; Guerrieri, G.; Sacerdoti Coen, C., Closure Conversion, Flat Environments, and the Complexity of Abstract Machines, in: Proceedings of the 27th International Symposium on Principles and Practice of Declarative Programming, PPDP 2025, Co-located with the 41st International Conference on Logic Programming, Association for Computing Machinery, Inc, 2025, pp. 1 - 15 (atti di: 27th International Symposium on Principles and Practice of Declarative Programming, PPDP 2025, ita, 2025) [Contributo in Atti di convegno]
Sacerdoti Coen, C.; Alidra, A., Indexing and Retrieval in a Heterogeneous Formal Library, in: Lecture Notes in Computer Science, GEWERBESTRASSE 11, CHAM, CH-6330, SWITZERLAND, Springer Science and Business Media Deutschland GmbH, «LECTURE NOTES IN COMPUTER SCIENCE», 2025, 16136, pp. 258 - 275 (atti di: 18th International Conference on Intelligent Computer Mathematics, CICM 2025, Brasilia (BRA), 6-10/10/2025) [Contributo in Atti di convegno]
Accattoli, B.; Sacerdoti Coen, C.; Wu, J. H., Positive Sharing and Abstract Machines, in: Programming Languages and Systems. APLAS 2025, «LECTURE NOTES IN COMPUTER SCIENCE», 2025, 16201 LNCS, pp. 107 - 127 (atti di: 23rd Asian Symposium on Programming Languages and Systems (APLAS) 2025, Bengaluru (India), 27-30/10/2025) [Contributo in Atti di convegno]
Accattoli, Beniamino; Magliocca, Francesco; Peyrot, Loïc; Sacerdoti Coen, Claudio, The Cost of Skeletal Call-By-Need, Smoothly, in: 10th International Conference on Formal Structures for Computation and Deduction (FSCD 2025), «LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS», 2025, pp. 1 - 22 (atti di: Formal Structures for Computation and Deduction (FSCD), Birmingham, 14-20/07/2025) [Contributo in Atti di convegno]Open Access
Accattoli, Beniamino; SACERDOTI COEN, Claudio, IMELL Cut Elimination with Linear Overhead, in: 9th International Conference on Formal Structures for Computation and Deduction (FSCD 2024), Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, «LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS», 2024, 299, pp. 1 - 24 (atti di: 9th International Conference on Formal Structures for Computation and Deduction, FSCD 2024, Tallinn, Estonia, July 10-13, 2024) [Contributo in Atti di convegno]Open Access
Florian Rabe; Claudio Sacerdoti Coen, Proceedings Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, Waterloo, Open Publishing Association, 2024, pp. 69 . [curatela]Open Access
Lami, Pietro; Lanese, Ivan; Stefani, Jean-Bernard; Sacerdoti Coen, Claudio; Fabbretti, Giovanni, Reversible debugging of concurrent Erlang programs: Supporting imperative primitives, «THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING», 2024, 138, Article number: 100944, pp. 1 - 37 [articolo]Open Access
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]Open Access
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]
