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). [curatela]
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, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2019, 11865, pp. 397 - 415 (atti di: Collquium in honour of Stefania Gnesi, Porto, 08/10/2019) [Contributo in Atti di convegno]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, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2019, 11617, pp. 61 - 76 (atti di: 12th International Conference on Intelligent Computer Mathematics, CICM 2019, cze, 2019) [Contributo in Atti di convegno]
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) [Contributo in Atti di convegno]
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, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2019, 11617, pp. 171 - 186 (atti di: 12th International Conference on Intelligent Computer Mathematics, CICM 2019, cze, 2019) [Contributo in Atti di convegno]
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, «CEUR WORKSHOP PROCEEDINGS», 2018, 2307, pp. 1 - 9 (atti di: 11th Conference on Intelligent Computer Mathematics CICM 2018, Hagenberg, Austria, 13-17/07/2018) [Contributo in Atti di convegno]
Accattoli, Beniamino; SACERDOTI COEN, Claudio, On the value of variables, «INFORMATION AND COMPUTATION», 2017, 255, pp. 224 - 242 [articolo]
Guidi, Ferruccio; Sacerdoti Coen, Claudio, A Survey on Retrieval of Mathematical Knowledge, «MATHEMATICS IN COMPUTER SCIENCE», 2016, 10, pp. 409 - 427 [articolo]
Dunchev, Tsvetan; Sacerdoti Coen, Claudio; Tassi, Enrico, Implementing HOL in an higher order logic programming language, in: ACM International Conference Proceeding Series, New York, NY, USA, Association for Computing Machinery, 2016, 23-, pp. 1 - 10 (atti di: 11th Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP 2016, Porto, Portugal, 23/06/2016) [Contributo in Atti di convegno]
Guidi, Ferruccio; Sacerdoti Coen, Claudio, A survey on retrieval of mathematical knowledge, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag, 2015, 9150, pp. 296 - 315 (atti di: International Conference on Intelligent Computer Mathematics, CICM 2015, Washington DC, USA, July 13-17, 2015) [Contributo in Atti di convegno]
Dunchev, Tsvetan Chavdarov; Guidi, Ferruccio; Sacerdoti Coen, Claudio; Tassi, Enrico, ELPI: Fast, embeddable, λprolog interpreter, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag, 2015, 9450, pp. 460 - 468 (atti di: 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2015, Suva, Fiji, November, 24-28, 2015) [Contributo in Atti di convegno]
Tsvetan Chavdarov, Dunchev; Claudio Sacerdoti Coen; Enrico Tassi, Embedded Lambda Prolog Interpreter (ELPI), 2015. [software]
Accattoli, Beniamino; SACERDOTI COEN, Claudio, On the relative usefulness of fireballs, in: 30th Annual ACM/IEEE Symposium on Logic in Computer Science, Institute of Electrical and Electronics Engineers Inc., «PROCEEDINGS - SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE», 2015, pp. 141 - 155 (atti di: 30th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2015, Grand Prince Hotel, jpn, 2015) [Contributo in Atti di convegno]Open Access
Roberto M. Amadio;Nicolas Ayache;Francois Bobot;Jaap P. Boender;Brian Campbell;Ilias Garnier;Antoine Madet;James McKinna;Dominic P. Mulligan;Mauro Piccolo;Randy Pollack;Yann Régis-Gianas;Claudio Sacerdoti Coen;Ian Stark;Paolo Tranquilli, Certified Complexity (CerCo)Foundational and Practical Aspects of Resource Analysis, in: Lecture Notes in Computer ScienceFoundational and Practical Aspects of Resource Analysis, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2014, 8552, pp. 1 - 18 (atti di: Foundational and Practical Aspects of Resource Analysis, Bertinoro, Italy, August 29-31, 2013) [Contributo in Atti di convegno]
Andrea Asperti; Wilmer Ricciotti; Claudio Sacerdoti Coen, Matita Tutorial, «JOURNAL OF FORMALIZED REASONING», 2014, 7, pp. 91 - 199 [articolo]
