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 database1,
David M. Cerna
authored at least 39 papers
between 2014 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2014
2016
2018
2020
2022
2024
0
1
2
3
4
5
6
7
8
9
5
1
1
2
3
1
2
2
1
3
1
1
1
5
2
1
3
3
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2024
ACM Trans. Comput. Log., 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
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023
2022
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022
2021
Proceedings of the 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2021
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
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
Proceedings of the 3rd International Conference on Formal Structures for Computation and Deduction, 2018
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
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