2022

Grätz, Lukas ; Hähnle, Reiner ; Bubel, Richard
Hrsg.: Johnsen, Einar Broch ; Wimmer, Manuel (2022)
Finding Semantic Bugs Fast.
25th International Conference of the European Joint Conferences on Theory and Practice of Software. Munich, Germany (02.04.2022-07.04.2022)
doi: 10.1007/978-3-030-99429-7_8
Konferenzveröffentlichung, Bibliographie

Grätz, Lukas (2022)
Truth tables for modal logics T and S4, by using three-valued non-deterministic level semantics.
In: Journal of Logic and Computation, 32 (1)
doi: 10.1093/logcom/exab068
Artikel, Bibliographie

2021

Kamburjan, Eduard ; Grätz, Lukas
Hrsg.: Ferreira, Joo ; Mendes, Alexandra ; Menghi, Claudio (2021)
Increasing Engagement with Interactive Visualization: Formal Methods as Serious Games.
4th World Congress on Formal Methods. virtual Conference (21.11.2021-21.11.2021)
doi: 10.1007/978-3-030-91550-6_4
Konferenzveröffentlichung, Bibliographie

Grätz, Lukas (2021)
Analytic Tableaux for Non-deterministic Semantics.
30th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods. Birmingham, United Kingdom (06.09.2021-09.09.2021)
doi: 10.1007/978-3-030-86059-2_3
Konferenzveröffentlichung, Bibliographie