Karin Quaas

Identifiers

No identifiers captured yet.

Papers (6)

1. On the Containment Problem for Unambiguous Single-Register Automata with Guessing cs.FL · 2019 · author #2
2. Effective Definability of the Reachability Relation in Timed Automata cs.FL · 2019 · author #2
3. The Containment Problem for Unambiguous Register Automata cs.FL · 2018 · author #2
4. Synchronizing Data Words for Register Automata cs.FL · 2017 · author #1
5. Revisiting Reachability in Timed Automata cs.LO · 2017 · author #1
6. 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