Dennis Peuter

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 11

Top Topics

Solving Problems

Quantifier Elimination

Top Venues

Description Logics

Publications

Dennis Peuter, Viorica Sofronie-Stokkermans, Sebastian Thunert
. CoRR (2023)
Dennis Peuter, Philipp Marohn, Viorica Sofronie-Stokkermans
On the Verification of Parametric Systems. CoRR (2023)
Dennis Peuter, Viorica Sofronie-Stokkermans, Sebastian Thunert
. CADE (2023)
Lucas Böltz, Hannes Frey, Dennis Peuter, Viorica Sofronie-Stokkermans
On Testing Containedness Between Geometric Graph Classes using Second-order Quantifier Elimination and Hierarchical Reasoning (Short Paper). SOQE@KR (2021)
Dennis Peuter, Viorica Sofronie-Stokkermans
Symbol Elimination and Applications to Parametric Entailment Problems (Abstract). SOQE@KR (2021)
Dennis Peuter, Viorica Sofronie-Stokkermans
Symbol Elimination and Applications to Parametric Entailment Problems. FroCoS (2021)
Dennis Peuter, Philipp Marohn, Viorica Sofronie-Stokkermans
Symbol Elimination for Parametric Second-Order Entailment Problems (with Applications to Problems in Wireless Network Theory). CoRR (2021)
Dennis Peuter, Viorica Sofronie-Stokkermans
Finding High-Level Explanations for Subsumption w.r.t. Combinations of CBoxes in EL and EL+. Description Logics (2020)
Dennis Peuter, Viorica Sofronie-Stokkermans
On Invariant Synthesis for Parametric Systems. CADE (2019)
Dennis Peuter, Viorica Sofronie-Stokkermans
On Invariant Synthesis for Parametric Systems. CoRR (2019)
Dennis Peuter, Viorica Sofronie-Stokkermans
On Inductive Verification and Synthesis. LuxLogAI (Student / Workshop Papers) (2018)