Schematic cut elimination and the ordered pigeonhole principle DM Cerna, A Leitsch International Joint Conference on Automated Reasoning, 241-256, 2016 | 21 | 2016 |
Anti-unification and generalization: a survey DM Cerna, T Kutsia arXiv preprint arXiv:2302.00277, 2023 | 20 | 2023 |
Advances in schematic cut elimination DM Cerna Technische Universität Wien, 2015 | 14 | 2015 |
Idempotent anti-unification D Cerna, T Kutsia ACM Transactions on Computational Logic (TOCL) 21 (2), 1-32, 2019 | 12 | 2019 |
Learning higher-order logic programs from failures SJ Purgał, DM Cerna, C Kaliszyk IJCAI 2022, 2726-2733, 2022 | 10 | 2022 |
Integrating a global induction mechanism into a sequent calculus DM Cerna, M Lettmann International Conference on Automated Reasoning with Analytic Tableaux and …, 2017 | 10 | 2017 |
A mobile application for self-guided study of formal reasoning DM Cerna, RPD Kiesel, A Dzhiganskaya arXiv preprint arXiv:2002.12553, 2020 | 9 | 2020 |
Unital anti-unification: Type and algorithms DM Cerna, T Kutsia 5th International Conference on Formal Structures for Computation and …, 2020 | 8 | 2020 |
Predicting space requirements for a stream monitor specification language DM Cerna, W Schreiner, T Kutsia Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain …, 2016 | 8 | 2016 |
Higher-Order Equational Pattern Anti-Unification [Preprint] DM Cerna, T Kutsia arXiv preprint arXiv:1801.07438, 2018 | 7 | 2018 |
Space Analysis of a Predicate Logic Fragment for the Specification of Stream Monitors. DM Cerna, W Schreiner, T Kutsia SCSS, 29-41, 2016 | 7 | 2016 |
A tableaux-based decision procedure for multi-parameter propositional schemata D Cerna International Conference on Intelligent Computer Mathematics, 61-75, 2014 | 7 | 2014 |
Schematic refutations of formula schemata DM Cerna, A Leitsch, A Lolic Journal of Automated Reasoning 65, 599-645, 2021 | 6 | 2021 |
Anti-unification and the theory of semirings DM Cerna Theoretical Computer Science 848, 133-139, 2020 | 6 | 2020 |
Covered clauses are not propagation redundant LA Barnett, D Cerna, A Biere International Joint Conference on Automated Reasoning, 32-47, 2020 | 6 | 2020 |
A generic framework for higher-order generalizations DM Cerna, T Kutsia 4th International Conference on Formal Structures for Computation and …, 2019 | 6 | 2019 |
Higher-order pattern generalization modulo equational theories DM Cerna, T Kutsia Mathematical Structures in Computer Science 30 (6), 627-663, 2020 | 5 | 2020 |
Towards a clausal analysis of proof schemata DM Cerna, M Lettmann 2017 19th International Symposium on Symbolic and Numeric Algorithms for …, 2017 | 5 | 2017 |
Aiding an Introduction to Formal Reasoning Within a First-Year Logic Course for CS Majors Using a Mobile Self-Study App D Cerna, M Seidl, W Schreiner, W Windsteiger, A Biere Proceedings of the 2020 ACM Conference on Innovation and Technology in …, 2020 | 4 | 2020 |
The LogicGuard Stream Monitor Specification Language W Schreiner, T Kutsia, D Cerna, M Krieger, B Ahmad, H Otto, ... | 4 | 2015 |