Karin Quaas

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5090504	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
https://portal.mardi4nfdi.de/entity/Q5111647	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
https://portal.mardi4nfdi.de/entity/Q4608573	2018-03-21	Paper
Path Checking for MTL and TPTL over Data Words	2017-10-12	Paper
An Algebraic Approach to Energy Problems I — ^*-Continuous Kleene ω-Algebras	2017-08-25	Paper
An Algebraic Approach to Energy Problems II — The Algebra of Energy Functions	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Karin Quaas