We stand with Ukraine  

Philipp Marohn

According to our database1, Philipp Marohn authored at least 4 papers between 2021 and 2025.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2025
On verification and constraint generation for families of similar hybrid automata.
[BibTeX]
[DOI]
Viorica Sofronie-Stokkermans
,
Philipp Marohn
CoRR, May, 2025

2023
On the Verification of Parametric Systems.
[BibTeX]
[DOI]
Dennis Peuter
,
Philipp Marohn
,
Viorica Sofronie-Stokkermans
CoRR, 2023

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

SEH-PILoT: A System for Property-Directed Symbol Elimination - Work in Progress (Short Paper).
[BibTeX]
[DOI]
Philipp Marohn
,
Viorica Sofronie-Stokkermans
Proceedings of the Second Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2021) associated with the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021), 2021


  Loading...