On Inductive Verification and Synthesis. - Dennis Peuter; Viorica Sofronie-Stokkermans (LuxLogAI (Student / Workshop Papers), 2018)

On Invariant Synthesis for Parametric Systems. - Dennis Peuter; Viorica Sofronie-Stokkermans (CADE, 2019)

Finding High-Level Explanations for Subsumption w.r.t. Combinations of CBoxes in EL and EL+. - Dennis Peuter; Viorica Sofronie-Stokkermans (Description Logics, 2020)

Symbol Elimination and Applications to Parametric Entailment Problems. - Dennis Peuter; Viorica Sofronie-Stokkermans (FroCoS, 2021)

On Testing Containedness Between Geometric Graph Classes using Second-order Quantifier Elimination and Hierarchical Reasoning (Short Paper). - Lucas Böltz; Hannes Frey; Dennis Peuter; Viorica Sofronie-Stokkermans (SOQE@KR, 2021)

Symbol Elimination and Applications to Parametric Entailment Problems (Abstract). - Dennis Peuter; Viorica Sofronie-Stokkermans (SOQE@KR, 2021)

Symbol Elimination for Parametric Second-Order Entailment Problems (with Applications to Problems in Wireless Network Theory). - Dennis Peuter; Philipp Marohn; Viorica Sofronie-Stokkermans (CoRR, 2021)

On P-Interpolation in Local Theory Extensions and Applications to the Study of Interpolation in the Description Logics Eℒ, Eℒ+. - Dennis Peuter; Viorica Sofronie-Stokkermans; Sebastian Thunert (CADE, 2023)

On P-Interpolation in Local Theory Extensions and Applications to the Study of Interpolation in the Description Logics 𝓔𝓛, 𝓔𝓛+. - Dennis Peuter; Viorica Sofronie-Stokkermans; Sebastian Thunert (CoRR, 2023)

On the Verification of Parametric Systems. - Dennis Peuter; Philipp Marohn; Viorica Sofronie-Stokkermans (CoRR, 2023)

Applications for Symbol Elimination in Combination with Hierarchical Reasoning. - Dennis Peuter (2024)