David Cerna, Dr

Publications

	David Cerna, Temur Kutsia. Anti-unification and Generalization: a Survey. In: Proceedings of IJCAI 2023 - 32nd International Joint Conference on Artifical Intelligence, Edith Elkind (ed.), pp. 6563-6573. 2023. ijcai.org, ISBN 978-1-956792-03-4 . [url] [bib]
	Mauricio Ayala-Rincón, David M. Cerna, Andres Felipe Gonzalez Barragan, Temur Kutsia. Equational Anti-Unification over Absorption Theories. arXiv:2310.11136. Technical report, 2023. [url] [bib]
	Stanislav Purgal and David Cerna and Cezary Kalisyk. Learning Higher-Order Programs without Meta-Interpretive Learning. In: Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, IJCAI-22, Lud De Raedt (ed.), Proceedings of International Joint Conference on Artificial Intelligence, Main Track , pp. 2726-2733. july 2022. International Joint Conferences on Artificial Intelligence Organization, 10.24963/ijcai.2022/378. [url] [bib]
	David M. Cerna. A Special Case of Schematic Syntactic Unification. CAS ICS / RISC. Technical report, 2021. [pdf] [bib]
	David Cerna, Temur Kutsia. Idempotent Anti-unification. ACM Transactions on Computational Logic (TOCL) 21(2), pp. 10:1-10:32. 2020. ACM Press, ISSN 1529-3785. [url] [pdf] [bib]
	David M. Cerna, Martina Seidl, Wolfgang Schreiner, Wolfgang Windsteiger, Armin Biere. Aiding an Introduction to Formal Reasoning Within a First-Year Logic Course for CS Majors Using a Mobile Self-Study App. In: ITICSE 2020, ACM (ed.), Proceedings of ITICSE, pp. 61-67. 2020. 9781450368742. [url] [bib]
	David M. Cerna, Martina Seidl, Wolfgang Schreiner, Wolfgang Windsteiger, Armin Biere. Computational Logic in the First Semester of Computer Science: An Experience Report. In: Proceedings of the 12th International Conference on Computer Supported Education - Volume 2: CSEDU, Springer (ed.), Proceedings of CSEDU, pp. 374-381. 2020. 978-989-758-417-6. [url] [bib]
	David M. Cerna, Temur Kutsia. Unital Anti-Unification: Type and Algorithms. In: Proceedings of the 5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020), Zena M. Ariola (ed.), Leibniz International Proceedings in Informatics (LIPIcs) 167, pp. 26:1-26:20. 2020. Schloss Dagstuhl-Leibniz-Zentrum für Informatik, ISBN 978-3-95977-155-9, ISSN 1868-8969. [url] [bib]
	David M. Cerna, Temur Kutsia. Higher-order pattern generalization modulo equational theories. Mathematical Structures in Computer Science 30(6), pp. 627-663. 2020. ISSN 0960-1295. [url] [bib]
	David M. Cerna. Anti-unification and the Theory of Semirings. Theor. Comput. Sci. 848, pp. 133-139. 2020. RISC / CAS ICS, 0304-3975. [url] [bib]
	David Cerna and Alexander Leitsch and Anela Lolic. Schematic Refutations of Formula Schemata. Journal of Automated Reasoning, pp. -. 2020. 1573-0670. [url] [bib]
	David M. Cerna and Rafael P. D. Kiesel and Alexandra Dzhiganskaya. A Mobile Application for Self-Guided Study of Formal Reasoning. In: Proceedings 8th International Workshop on Theorem Proving Components for Educational Software, ThEdu@CADE 2019, Natal, Brazil, 25th August 2019, Pedro Quaresma and Walther Neuper and Jo{ {a}}o Marcos (ed.), EPTCS 313, pp. 35-53. 2020. 2075-2180. [url] [bib]
	David M. Cerna , Temur Kutsia. Unital Anti-Unification: Type and Algorithms. In: 5th International Conference on Formal Structures for Computation and Deduction, {FSCD} 2020, June 29-July 6, 2020, Paris, France (Virtual Conference, Zena M. Ariola (ed.), Proceedings of FSCD, LIPICS 167/20-02, pp. 1-20. 2020. 1868-8969. [url] [bib]
	David M. Cerna. Evaluation of the VL Logic (342.208-9) 2018W End of Semester Questionnaire. Feburary 2019. [xlsx] [pdf] [bib]
	David M. Cerna. The Castle Game. 2019. [pdf] [bib]
	David M. Cerna. Manual for AXolotl. 2019. [zip] [pdf] [jar] [bib]
	David M. Cerna and Temur Kutsia. Higher-Order Pattern Generalization Modulo Equational Theories. 2019. [pdf] [bib]
	David Cerna. AXolotl: A Self-study Tool for First-order Logic. May 2019. [pdf] [bib]
	David M. Cerna, Temur Kutsia. A Generic Framework for Higher-Order Generalizations. In: Proceedings of the 4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019), Herman Geuvers (ed.), Leibniz International Proceedings in Informatics (LIPIcs) 131, pp. 10:1-10:19. 2019. Schloss Dagstuhl, ISSN 1868-8969. [url] [bib]
	David M. Cerna. On the Complexity of Unsatisfiable Primitive Recursively defined $\Sigma_1$-Sentences. 2019. [pdf] [bib]
	David M. Cerna and Rafael Kiesel and Alexandra Dzhiganskaya. A Mobile Application for Self-Guided Study of Formal Reasoning. October 2019. [pdf] [bib]
	David M. Cerna and Anela Lolic. System Description: GAPT for schematic proofs. Jan. 2018. [pdf] [bib]
	David M. Cerna. Primitive Recursive Proof Systems for Arithmetic. RISC. Technical report, January 2018. In revision. [pdf] [pdf] [bib]
	David M. Cerna. A General Recursive Construction for Schematic Resolution Derivations. 2018. [bib]
	David M. Cerna and Alexander Leitsch and Anela Lolic . A Resolution Calculus for Recursive Clause Sets: Extended Version. Technical Report, April 2018. [pdf] [bib]
	David M. Cerna, Temur Kutsia. Higher-Order Equational Pattern Anti-Unification. In: 3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018), Helene Kirchner (ed.), Leibniz International Proceedings in Informatics (LIPIcs) 108, pp. 12:1-12:17. 2018. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, ISBN 978-3-95977-077-4 ISSN 1868-8969. [url] [bib]
	David M. Cerna, Temur Kutsia. Idempotent Anti-unification . RISC. Technical report, Feb. 2018. to appear in TOCL. [pdf] [bib]
	David M. Cerna , Wolfgang Schreiner. Measuring the Gap: Algorithmic Approximation Bounds for the Space Complexity of Stream Specifications. In: Epic series in computer science, Mohamed Mosbah, Michaël Rusinowitch (eds). (ed.), Proceedings of SCSS 2017, 8th International Symposium on Symbolic Computation in Software Science, Epic 45, pp. 1-15. April 2017. Easy chair, ISSN 2398-7340. [url] [pdf] [bib]
	David Cerna, Alexander Leitsch, Giselle Reis, Simon Wolfsteiner. Ceres in Intuitionistic Logic. Annals of Pure and Applied Logic, pp. 1783-1836. October 2017. Elsevier, ISSN 0168-0072. [url] [bib]
	David M. Cerna and Michael Lettmann. Towards a Clausal Analysis of Proof Schemata. In: SYNASC 2017, Tudor Jebelean and Viorel Negru and Dana Petcu and Daniela Zaharie and Tetsuo Ida and Stephan Watt (ed.), IEEE Xplore , pp. 113-120. September 2017. 978-1-5386-2625-2. [bib]
	David M. Cerna and Michael Lettmann. Integrating a Global Induction Mechanism into a Sequent Calculus. In: TABLEAUX 2017, Renate A. Schmidt and Cl{\'{a}}udia Nalon (ed.), Proceedings of Tableaux, lecture notes in computer science , pp. 278-294. September 2017. Springer, 978-3-319-66901-4. [bib]
	Wolfgang Schreiner, David Cerna, Temur Kutsia, Michael Krieger, Bashar Ahmad, Helmut Otto, Martin Rummerstorfer, Thomas Gössl. Practical Event Monitoring in the LogicGuard Framework. In: embedded world Conference 2016, February 23-25 2016, Nürnberg, Germany, Matthias Sturm et al. (ed.), pp. -. February 2016. Design & Elektronik, Haar, Germany, ISBN 978-3-645-50159-0. [pdf] [bib]
	David M. Cerna, Wolfgang Schreiner, and Temur Kutsia. Space Analysis of a Predicate Logic Fragment for the Specification of Stream Monitors. In: SCSS 2016. 7th International Symposium on Symbolic Computation in Software Science, James H. Davenport and Fadoua Ghourabi (ed.), Proceedings of The 7th International Symposium on Symbolic Computation in Software Science, EPiC Series in Computing 39, pp. 29-41. 2016. EasyChair, ISSN 2040-557X. [url] [pdf] [bib]
	David M. Cerna and Alexander Leitsch. Schematic Cut Elimination and the Ordered Pigeonhole Principle. In: Automated Reasoning - 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings, Nicola Olivetti and Ashish Tiwari (ed.), Proceedings of IJCAR, Lecture Notes in Computer Science 9706, pp. 241-256. June 2016. Springer, RISC Institute, 0302-9743. [url] [bib]
	David M. Cerna and Wolfgang Schreiner, Temur Kutsia. Predicting Space Requirements for a Stream Monitor Specification Language. In: Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings, Yliès Falcone and César Sánchez (ed.), Proceedings of Runtime Verification, pp. 135-151. September 2016. Springer International Publishing, 978-3-319-46981-2. [url] [pdf] [bib]
	Wolfgang Schreiner, Temur Kutsia, Davic Cerna, Michael Krieger, Bashar Ahmad, Helmut Otto, Martin Rummerstorfer, Thomas Gössl. The LogicGuard Stream Monitor Specification Language Tutorial and Reference Manual. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, October 2015. Technical Report. [pdf] [bib]
	David M. Cerna. A Tableaux-Based Decision Procedure for Multi-parameter Propositional Schemata. In: Intelligent Computer Mathematics - International Conference, {CICM} 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings, Stephen M. Watt and James H. Davenport and Alan P. Sexton and Petr Sojka and Josef Urban (ed.), Proceedings of CICM, pp. 61-75. 2014. 10.1007/978-3-319-08434-3\_6. [bib]