# David M. Cerna

Orcid: 0000-0002-6352-603XAffiliations:

- Czech Academy of Sciences, Institute of Computer Science, Prague, Czechia
- Johannes Kepler University, Linz, Austria (former)

According to our database

Collaborative distances:

^{1}, David M. Cerna authored at least 37 papers between 2014 and 2024.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Dataset Other## Links

#### Online presence:

#### On csauthors.net:

## Bibliography

2024

CoRR, 2024

CoRR, 2024

Proceedings of the Automated Reasoning - 12th International Joint Conference, 2024

Proceedings of the Logics and Type Systems in Theory and Practice, 2024

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

CoRR, 2023

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

2022

CoRR, 2022

CoRR, 2022

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

2021

J. Autom. Reason., 2021

CoRR, 2021

Proceedings of the 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2021

2020

ACM Trans. Comput. Log., 2020

Theor. Comput. Sci., 2020

Math. Struct. Comput. Sci., 2020

Proceedings of the 34th International Workshop on Unification, 2020

Aiding an Introduction to Formal Reasoning Within a First-Year Logic Course for CS Majors Using a Mobile Self-Study App.

Proceedings of the 2020 ACM Conference on Innovation and Technology in Computer Science Education, 2020

Proceedings of the 5th International Conference on Formal Structures for Computation and Deduction, 2020

Computational Logic in the First Semester of Computer Science: An Experience Report.

Proceedings of the 12th International Conference on Computer Supported Education, 2020

Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

2019

Proceedings of the Proceedings 8th International Workshop on Theorem Proving Components for Educational Software, 2019

Proceedings of the 4th International Conference on Formal Structures for Computation and Deduction, 2019

2018

CoRR, 2018

Proceedings of the 3rd International Conference on Formal Structures for Computation and Deduction, 2018

2017

CoRR, 2017

Ann. Pure Appl. Log., 2017

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2017

Proceedings of the 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2017

Measuring the Gap: Algorithmic Approximation Bounds for the Space Complexity of Stream Specifications.

Proceedings of the SCSS 2017, 2017

2016

Schematic Cut elimination and the Ordered Pigeonhole Principle [Extended Version].

CoRR, 2016

CoRR, 2016

Space Analysis of a Predicate Logic Fragment for the Specification of Stream Monitors.

Proceedings of the 7th International Symposium on Symbolic Computation in Software Science, 2016

Proceedings of the Runtime Verification - 16th International Conference, 2016

Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016

2015

Analysis of Clause set Schema Aided by Automated Theorem Proving: A Case Study [Extended Paper].

CoRR, 2015

2014

Proceedings of the Intelligent Computer Mathematics - International Conference, 2014