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). [Editorship]
C. Sacerdoti Coen,
A. Tiu, Proceedings Fifteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, Waterloo, Open Publishing Association, 2021, pp. 67 . [Editorship]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., 2021, 2021-, pp. 1 - 14 (atti di: 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021, Rome, 2021) [Contribution to conference proceedings]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). [Editorship]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, 2020, 12166, pp. 395 - 401 (atti di: 10th International Joint Conference on Automated Reasoning, IJCAR 2020, Paris, 01-04/07/2020) [Contribution to conference proceedings]
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, 2019, 11617, pp. 243 - 257 (atti di: 12th International Conference on Intelligent Computer Mathematics, CICM 2019, cze, 2019) [Contribution to conference proceedings]
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) [Contribution to conference proceedings]
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 [Scientific article]
Cezary Kaliszyk, Edwin Brady, Andrea Kohlhase, Claudio Sacerdoti Coen, Intelligent Computer Mathematics
12th International Conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019, Proceedings, Basel, Springer Verlag, 2019, pp. 317 (LECTURE NOTES IN ARTIFICIAL INTELLIGENCE). [Editorship]
Laneve, Cosimo; Coen, Claudio Sacerdoti; Veschetti, Adele, On the Prediction of Smart Contracts’ Behaviours, in: From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday, Springer Verlag, 2019, 11865, pp. 397 - 415 (atti di: Collquium in honour of Stefania Gnesi, Porto, 08/10/2019) [Contribution to conference proceedings]Open Access
Condoluci A.; Kohlhase M.; Muller D.; Rabe F.; Sacerdoti Coen C.; Wenzel M., Relational Data Across Mathematical Libraries, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag, 2019, 11617, pp. 61 - 76 (atti di: 12th International Conference on Intelligent Computer Mathematics, CICM 2019, cze, 2019) [Contribution to conference proceedings]
Condoluci, Andrea; Accattoli, Beniamino; Coen, Claudio Sacerdoti, Sharing Equality is Linear, in: PPDP '19: Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages 2019, 2019, pp. 1 - 14 (atti di: 21st International Symposium on Principles and Practice of Programming Languages 2019, Porto, 7-9/10/2019) [Contribution to conference proceedings]
Muller D.; Rabe F.; Sacerdoti Coen C., The Coq Library as a Theory Graph, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag, 2019, 11617, pp. 171 - 186 (atti di: 12th International Conference on Intelligent Computer Mathematics, CICM 2019, cze, 2019) [Contribution to conference proceedings]
Alberto Fiori, Claudio Sacerdoti Coen, Towards an Implementation in LambdaProlog of the Two Level Minimalist Foundation (short paper), in: Workshop Papers at 11th Conference on Intelligent Computer Mathematics CICM 2018, 2018, 2307, pp. 1 - 9 (atti di: 11th Conference on Intelligent Computer Mathematics CICM 2018, Hagenberg, Austria, 13-17/07/2018) [Contribution to conference proceedings]
Accattoli, Beniamino; SACERDOTI COEN, Claudio, On the value of variables, «INFORMATION AND COMPUTATION», 2017, 255, pp. 224 - 242 [Scientific article]
