Philipp Marohn

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 3

Top Topics

Multimodal Biometrics

Asynchronous Circuits

Top Venues

Publications

Dennis Peuter, Philipp Marohn, Viorica Sofronie-Stokkermans
On the Verification of Parametric Systems. CoRR (2023)
Philipp Marohn, Viorica Sofronie-Stokkermans
SEH-PILoT: A System for Property-Directed Symbol Elimination - Work in Progress (Short Paper). SOQE@KR (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)