Karin Quaas

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Deciding emptiness for constraint automata on strings with the prefix and suffix order	2024-08-06	Paper
First steps towards taming description logics with strings	2024-05-29	Paper
The Containment Problem for Unambiguous Register Automata	2022-07-18	Paper
The containment problem for unambiguous register automata and unambiguous timed automata	2021-08-05	Paper
https://portal.mardi4nfdi.de/entity/Q4994943	2021-06-22	Paper
https://portal.mardi4nfdi.de/entity/Q4994958	2021-06-22	Paper
https://portal.mardi4nfdi.de/entity/Q5144644	2021-01-19	Paper
Computing branching distances with quantitative games	2020-11-06	Paper
The Complexity of Flat Freeze LTL	2020-05-27	Paper
MTL and TPTL for One-Counter Machines	2020-02-14	Paper
Computing branching distances using quantitative games	2019-12-12	Paper
https://portal.mardi4nfdi.de/entity/Q4972731	2019-11-26	Paper
Effective definability of the reachability relation in timed automata	2019-11-21	Paper
Synchronizing Data Words for Register Automata	2019-07-04	Paper
Synchronizing Data Words for Register Automata	2018-03-21	Paper
Path Checking for MTL and TPTL over Data Words	2017-10-12	Paper
An Algebraic Approach to Energy Problems II — The Algebra of Energy Functions	2017-08-25	Paper
An Algebraic Approach to Energy Problems I — ^*-Continuous Kleene ω-Algebras	2017-08-25	Paper
Path Checking for MTL and TPTL over Data Words	2015-11-10	Paper
Verification for Timed Automata extended with Unbounded Discrete Data Structures	2015-10-29	Paper
Verification for Timed Automata Extended with Unbounded Discrete Data Structures	2014-09-15	Paper
Kleene Algebras and Semimodules for Energy Problems	2014-07-08	Paper
Parameterized model checking of weighted networks	2014-04-29	Paper
Satisfiability for MTL and TPTL over Non-monotonic Data Words	2014-03-31	Paper
Recognizability of the support of recognizable series over the semiring of the integers is undecidable	2013-03-28	Paper
Model Checking Metric Temporal Logic over Automata with One Counter	2013-03-18	Paper
MSO logics for weighted timed automata	2011-06-30	Paper
On the Interval-Bound Problem for Weighted Timed Automata	2011-06-03	Paper
A Kleene-Schützenberger theorem for weighted timed automata	2011-03-14	Paper
https://portal.mardi4nfdi.de/entity/Q3574978	2010-07-05	Paper
On the Supports of Recognizable Timed Series	2009-12-01	Paper
Weighted Timed MSO Logics	2009-07-07	Paper
https://portal.mardi4nfdi.de/entity/Q3601411	2009-02-10	Paper
Zone-Based Universality Analysis for Single-Clock Timed Automata	2008-07-01	Paper
A Kleene-Schützenberger Theorem for Weighted Timed Automata	2008-04-11	Paper

Research outcomes over time

This page was built for person: Karin Quaas