Karin Quaas

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 29

Top Venues

CoRR

CONCUR

Log. Methods Comput. Sci.

MFCS

University of Leipzig (PHD)

Education History

University of Leipzig

PHD

Publications

Stéphane Demri, Karin Quaas
First Steps Towards Taming Description Logics with Strings. JELIA (2023)
Stéphane Demri, Karin Quaas
Constraint Automata on Infinite Data Trees: From CTL(Z)/CTL*(Z) To Decision Procedures. CoRR (2023)
Stéphane Demri, Karin Quaas
Constraint Automata on Infinite Data Trees: from CTL(ℤ)/ CTL^*}(ℤ) to Decision Procedures. CONCUR (2023)
Dominik Peteler, Karin Quaas
Deciding Emptiness for Constraint Automata on Strings with the Prefix and Suffix Order. MFCS (2022)
Wojciech Czerwinski, Antoine Mottet, Karin Quaas
New Techniques for Universality in Unambiguous Register Automata. CoRR (2021)
Antoine Mottet, Karin Quaas
The Containment Problem for Unambiguous Register Automata and Unambiguous Timed Automata. Theory Comput. Syst. 65 (4) (2021)
Wojciech Czerwinski, Antoine Mottet, Karin Quaas
New Techniques for Universality in Unambiguous Register Automata. ICALP (2021)
Thomas Colcombet, Karin Quaas, Michal Skrzypczak
Unambiguity in Automata Theory (Dagstuhl Seminar 21452). Dagstuhl Reports 11 (10) (2021)
Stéphane Demri, Karin Quaas
Concrete domains in logics: a survey. ACM SIGLOG News 8 (3) (2021)
Shiguang Feng, Claudia Carapelle, Oliver Fernández Gil, Karin Quaas
MTL and TPTL for One-Counter Machines: Expressiveness, Model Checking, and Satisfiability. ACM Trans. Comput. Log. 21 (2) (2020)
Martin Fränzle, Karin Quaas, Mahsa Shirmohammadi, James Worrell
Effective definability of the reachability relation in timed automata. Inf. Process. Lett. 153 (2020)
Uli Fahrenberg, Axel Legay, Karin Quaas
Computing branching distances with quantitative games. Theor. Comput. Sci. 847 (2020)
Uli Fahrenberg, Axel Legay, Karin Quaas
Computing Branching Distances Using Quantitative Games. CoRR (2019)
Uli Fahrenberg, Axel Legay, Karin Quaas
Computing Branching Distances Using Quantitative Games. ICTAC (2019)
Benedikt Bollig, Karin Quaas, Arnaud Sangnier
The Complexity of Flat Freeze LTL. Log. Methods Comput. Sci. 15 (3) (2019)
Antoine Mottet, Karin Quaas
On the Containment Problem for Unambiguous Single-Register Automata with Guessing. CoRR (2019)
Antoine Mottet, Karin Quaas
The Containment Problem for Unambiguous Register Automata. STACS (2019)
Karin Quaas, Mahsa Shirmohammadi
Synchronizing Data Words for Register Automata. ACM Trans. Comput. Log. 20 (2) (2019)
Martin Fränzle, Karin Quaas, Mahsa Shirmohammadi, James Worrell
Effective Definability of the Reachability Relation in Timed Automata. CoRR (2019)
Antoine Mottet, Karin Quaas
The Containment Problem for Unambiguous Register Automata. CoRR (2018)
Benedikt Bollig, Karin Quaas, Arnaud Sangnier
The Complexity of Flat Freeze LTL. CONCUR (2017)
Shiguang Feng, Markus Lohrey, Karin Quaas
Path Checking for MTL and TPTL over Data Words. Log. Methods Comput. Sci. 13 (3) (2017)
Zoltán Ésik, Uli Fahrenberg, Axel Legay, Karin Quaas
-Continuous Kleene ω-Algebras. Acta Cybern. 23 (1) (2017)
Karin Quaas, Mahsa Shirmohammadi, James Worrell
Revisiting Reachability in Timed Automata. CoRR (2017)
Karin Quaas, Mahsa Shirmohammadi, James Worrell
Revisiting reachability in timed automata. LICS (2017)
Karin Quaas, Mahsa Shirmohammadi
Synchronizing Data Words for Register Automata. CoRR (2017)
Zoltán Ésik, Uli Fahrenberg, Axel Legay, Karin Quaas
An Algebraic Approach to Energy Problems II - The Algebra of Energy Functions. Acta Cybern. 23 (1) (2017)
Parvaneh Babari, Karin Quaas, Mahsa Shirmohammadi
Synchronizing Data Words for Register Automata. MFCS (2016)
Benedikt Bollig, Karin Quaas, Arnaud Sangnier
On Parameterized One-Counter Automata. CoRR (2016)
Karin Quaas
Verification for Timed Automata extended with Discrete Data Structure. Log. Methods Comput. Sci. 11 (3) (2015)
Shiguang Feng, Markus Lohrey, Karin Quaas
Path Checking for MTL and TPTL over Data Words. DLT (2015)
Karin Quaas
MTL-Model Checking of One-Clock Parametric Timed Automata is Undecidable. SynCoP (2014)
Karin Quaas
Verification for Timed Automata Extended with Unbounded Discrete Data Structures. CONCUR (2014)
Ingmar Meinecke, Karin Quaas
Parameterized model checking of weighted networks. Theor. Comput. Sci. 534 (2014)
Claudia Carapelle, Shiguang Feng, Oliver Fernandez Gil, Karin Quaas
Satisfiability for MTL and TPTL over Non-monotonic Data Words. LATA (2014)
Claudia Carapelle, Shiguang Feng, Oliver Fernandez Gil, Karin Quaas
Ehrenfeucht-Fraisse Games for TPTL and MTL over Non-monotonic Data Words. AFL (2014)
Shiguang Feng, Markus Lohrey, Karin Quaas
Path-Checking for MTL and TPTL over Data Words. CoRR (2014)
Karin Quaas
Model Checking Metric Temporal Logic over Automata with One Counter. LATA (2013)
Zoltán Ésik, Uli Fahrenberg, Axel Legay, Karin Quaas
Kleene Algebras and Semimodules for Energy Problems. CoRR (2013)
Zoltán Ésik, Uli Fahrenberg, Axel Legay, Karin Quaas
Kleene Algebras and Semimodules for Energy Problems. ATVA (2013)
Manfred Droste, Karin Quaas
A Kleene-Schützenberger theorem for weighted timed automata. Theor. Comput. Sci. 412 (12-14) (2011)
Karin Quaas
MSO logics for weighted timed automata. Formal Methods Syst. Des. 38 (3) (2011)
Karin Quaas
On the Interval-Bound Problem for Weighted Timed Automata. LATA (2011)
Daniel Kirsten, Karin Quaas
Recognizability of the support of recognizable series over the semiring of the integers is undecidable. Inf. Process. Lett. 111 (10) (2011)
Karin Quaas
On the Supports of Recognizable Timed Series. FORMATS (2009)
Karin Quaas
Weighted Timed MSO Logics. Developments in Language Theory (2009)
Parosh Aziz Abdulla, Johann Deneux, Joël Ouaknine, Karin Quaas, James Worrell
Universality Analysis for One-Clock Timed Automata. Fundam. Informaticae 89 (4) (2008)
Manfred Droste, Karin Quaas
A Kleene-Schützenberger Theorem for Weighted Timed Automata. FoSSaCS (2008)
Parosh Aziz Abdulla, Joël Ouaknine, Karin Quaas, James Worrell
Zone-Based Universality Analysis for Single-Clock Timed Automata. FSEN (2007)

Karin Quaas.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Karin Quaas