Christoph Haase
Home
Biography
Publications
Students
Contact
James Worrell
Latest
On the Existential Theories of Büchi Arithmetic and Linear $p$-adic Fields
Relating Reachability Problems in Timed and Counter Automata
Branching-Time Model Checking of Parametric One-Counter Automata
On the Relationship between Reachability Problems in Timed and Counter Automata
Tractable Reasoning in a Fragment of Separation Logic
Model Checking Succinct and Parametric One-Counter Automata
On Process-Algebraic Extensions of Metric Temporal Logic
Reachability in Succinct and Parametric One-Counter Automata
Cite
×