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  

Mostra records
Risultati 1 - 20 di 81 (tempo di esecuzione: 0.031 secondi).
Titolo Autore(i) Anno Periodico Editore Tipo File
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
Relational Data Across Mathematical Libraries Condoluci A.; Kohlhase M.; Muller D.; Rabe F.; Sacerdoti Coen C.; Wenzel M. 2019-01-01 - Springer Verlag 4.01 Contributo in Atti di convegno -
Sharing Equality is Linear Condoluci, Andrea; Accattoli, Beniamino; Coen, Claudio Sacerdoti 2019-01-01 - - 4.01 Contributo in Atti di convegno -