Concepts as Modal Operators in Description Logics. - Lukas Grätz (Description Logics, 2018)

Leibniz on Reasoning about Impossible Concepts. - Lukas Grätz (LuxLogAI (Student / Workshop Papers), 2018)

Concepts as Modalities in Description Logics. - Lukas Grätz (LuxLogAI (Student / Workshop Papers), 2018)

PSOA Prova: PSOA Translation of Pure Production Rules to the Prova Engine. - Lukas Grätz; Harold Boley; Adrian Paschke (RuleML+RR (Supplement), 2018)

Baumautomaten als notationelle Variante logischer Matrix-Semantik. - Lukas Grätz (SKILL, 2019)

Analytic Tableaux for Non-deterministic Semantics. - Lukas Grätz (TABLEAUX, 2021)

Increasing Engagement with Interactive Visualization: Formal Methods as Serious Games. - Eduard Kamburjan; Lukas Grätz (FMTea, 2021)

Finding Semantic Bugs Fast. - Lukas Grätz; Reiner Hähnle; Richard Bubel (FASE, 2022)

Truth tables for modal logics T and S4, by using three-valued non-deterministic level semantics. - Lukas Grätz (J. Log. Comput., 2022)

Examples For FASE NIER Paper "Finding Semantic Bugs Fast". - Lukas Grätz; Reiner Hähnle; Richard Bubel (Zenodo, 2022)

Examples For FASE NIER Paper "Finding Semantic Bugs Fast". - Lukas Grätz; Reiner Hähnle; Richard Bubel (Zenodo, 2022)

Dependent Assertion Logic for Modular Software Verification. - Lukas Grätz (TASE, 2025)