Claudio Sacerdoti Coen
Orcid: 0000-0002-4360-6016Affiliations:
- University of Bologna, Italy
According to our database1,
Claudio Sacerdoti Coen
authored at least 66 papers
between 2001 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on cs.unibo.it
-
on orcid.org
-
on d-nb.info
On csauthors.net:
Bibliography
2023
Proceedings of the Quantitative Evaluation of Systems - 20th International Conference, 2023
Proceedings of the 14th International Conference on Interactive Theorem Proving, 2023
Proceedings of the 24th Italian Conference on Theoretical Computer Science, 2023
2022
Proceedings of the Reversible Computation - 14th International Conference, 2022
2021
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021
2020
Pre-Proceedings of the 28th International Workshop on Functional and Logic Programming (WFLP 2020).
CoRR, 2020
Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020
2019
Math. Struct. Comput. Sci., 2019
Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages, 2019
Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages, 2019
Proceedings of the Intelligent Computer Mathematics - 12th International Conference, 2019
Proceedings of the Intelligent Computer Mathematics - 12th International Conference, 2019
Proceedings of the Intelligent Computer Mathematics - 12th International Conference, 2019
Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019
2018
Towards an Implementation in LambdaProlog of the Two Level Minimalist Foundation (short paper).
Proceedings of the Joint Proceedings of the CME-EI, 2018
2017
2016
Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2016
2015
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015
Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015
2014
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014
2013
Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2013
2012
J. Autom. Reason., 2012
A Bi-Directional Refinement Algorithm for the Calculus of (Co)Inductive Constructions
Log. Methods Comput. Sci., 2012
Ann. Pure Appl. Log., 2012
Proceedings of the 23rd International Conference on Rewriting Techniques and Applications (RTA'12) , 2012
Proceedings of the Certified Programs and Proofs - Second International Conference, 2012
2011
Proceedings of the 2nd European Future Technologies Conference and Exhibition, 2011
Proceedings of the Intelligent Computer Mathematics - 18th Symposium, 2011
Proceedings of the Intelligent Computer Mathematics - 18th Symposium, 2011
Proceedings of the Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31, 2011
2010
Proceedings of the 9th International Workshop On User Interfaces for Theorem Provers, 2010
Proceedings of the Proceedings Workshop on Partiality and Recursion in Interactive Theorem Provers, 2010
Functions as Processes: Termination and the lm[(m)\tilde]\lambda\mu\widetilde{\mu}-Calculus.
Proceedings of the Trustworthly Global Computing - 5th International Symposium, 2010
Proceedings of the Intelligent Computer Mathematics, 10th International Conference, 2010
2009
Proceedings of the Proceedings Types for Proofs and Programs, Revised Selected Papers, 2009
Proceedings of the Theorem Proving in Higher Order Logics, 22nd International Conference, 2009
Proceedings of the Intelligent Computer Mathematics, 2009
2008
A constructive and formal proof of Lebesgue's Dominated Convergence Theorem in the interactive theorem prover Matita.
J. Formaliz. Reason., 2008
Proceedings of the 8th International Workshop on User Interfaces for Theorem Provers, 2008
2007
Proceedings of the Types for Proofs and Programs, International Conference, 2007
Proceedings of the Towards Mechanized Mathematical Assistants, 14th Symposium, 2007
2006
Proceedings of the 7th Workshop on User Interfaces for Theorem Provers, 2006
Reduction and Conversion Strategies for the Calculus of (co)Inductive Constructions: Part I.
Proceedings of the Sixth International Workshop on Reduction Strategies in Rewriting and Programming, 2006
Proceedings of the Types for Proofs and Programs, International Workshop, 2006
A Formal Correspondence Between OMDoc with Alternative Proofs and the lambdaµµ-Calculus.
Proceedings of the Mathematical Knowledge Management, 5th International Conference, 2006
2005
Proceedings of the Mathematical Knowledge Management, 4th International Conference, 2005
Proceedings of the Mathematical Knowledge Management, 4th International Conference, 2005
2004
PhD thesis, 2004
Proceedings of the 13th international conference on World Wide Web, 2004
Proceedings of the Types for Proofs and Programs, International Workshop, 2004
Proceedings of the Types for Proofs and Programs, International Workshop, 2004
Proceedings of the Mathematical Knowledge Management, Third International Conference, 2004
Proceedings of the Mathematical Knowledge Management, Third International Conference, 2004
A Generative Approach to the Implementation of Language Bindings for the Document Object Model.
Proceedings of the Generative Programming and Component Engineering: Third International Conference, 2004
2003
Proceedings of the Mathematical Knowledge Management, Second International Conference, 2003
A Constructive Proof of the Soundness of the Encoding of Random Access Machines in a Linda Calculus with Ordered Semantics.
Proceedings of the Theoretical Computer Science, 8th Italian Conference, 2003
2001
Proceedings of the Theorem Proving in Higher Order Logics, 14th International Conference, 2001
Proceedings of the Extreme Markup Languages® 2001 Conference, 2001