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