Karin Quaas
Identifiers
No identifiers captured yet.
Papers (6)
- On the Containment Problem for Unambiguous Single-Register Automata with Guessing cs.FL · 2019 · author #2
- Effective Definability of the Reachability Relation in Timed Automata cs.FL · 2019 · author #2
- The Containment Problem for Unambiguous Register Automata cs.FL · 2018 · author #2
- Synchronizing Data Words for Register Automata cs.FL · 2017 · author #1
- Revisiting Reachability in Timed Automata cs.LO · 2017 · author #1
- Kleene Algebras and Semimodules for Energy Problems cs.FL · 2013 · author #4
Mentions
No mention provenance yet.
Frequent Coauthors
- Mahsa Shirmohammadi 3 shared papers
- Antoine Mottet 2 shared papers
- James Worrell 2 shared papers
- Axel Legay 1 shared papers
- Martin Fr\"anzle 1 shared papers
- Uli Fahrenberg 1 shared papers
- Zolt\'an \'Esik 1 shared papers