Daniel Kirsten

Available identifiers

zbMath Open kirsten.danielMaRDI QIDQ764363

List of research outcomes

Publication	Date of Publication	Type
An algebraic characterization of semirings for which the support of every recognizable series is recognizable	2014-04-29	Paper
Recognizability of the support of recognizable series over the semiring of the integers is undecidable	2013-03-28	Paper
The support of a recognizable series over a zero-sum free, commutative semiring is recognizable	2012-09-18	Paper
Deciding Unambiguity and Sequentiality of Polynomially Ambiguous Min-Plus Automata	2012-04-24	Paper
Decidability, undecidability, and PSPACE-completeness of the twins property in the tropical semiring	2012-03-13	Paper
Some Variants of the Star Height Problem	2011-08-17	Paper
https://portal.mardi4nfdi.de/entity/Q3067630	2011-01-21	Paper
An Algebraic Characterization of Semirings for Which the Support of Every Recognizable Series Is Recognizable	2009-10-16	Paper
The Support of a Recognizable Series over a Zero-Sum Free, Commutative Semiring Is Recognizable	2009-07-07	Paper
A Burnside Approach to the Termination of Mohri's Algorithm for Polynomially Ambiguous Min-Plus-Automata	2008-09-25	Paper
STACS 2004	2007-10-01	Paper
Foundations of Software Science and Computation Structures	2007-09-28	Paper
https://portal.mardi4nfdi.de/entity/Q3431481	2007-04-10	Paper
Distance desert automata and star height substitutions.	2006-11-23	Paper
A Burnside approach to the finite substitution problem	2006-10-25	Paper
Distance desert automata and the star height problem	2005-09-01	Paper
Two techniques in the area of the star problem in trace monoids	2004-10-27	Paper
Alternating Tree Automata and Parity Games	2003-07-16	Paper
The finite power problem revisited.	2003-01-21	Paper
The star problem and the finite power property in trace monoids: Reductions beyond C4	2003-01-14	Paper
Decidability equivalence between the star problem and the finite power problem in trace monoids	2002-07-22	Paper
https://portal.mardi4nfdi.de/entity/Q4535050	2002-06-12	Paper
https://portal.mardi4nfdi.de/entity/Q4938642	2000-08-02	Paper
https://portal.mardi4nfdi.de/entity/Q4938641	2000-08-02	Paper
https://portal.mardi4nfdi.de/entity/Q4251054	1999-12-08	Paper

Research outcomes over time

This page was built for person: Daniel Kirsten