BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Czech Republic
1 × Germany
1 × Greece
1 × Spain
Collaborated with:
Talks about:
problem (4) star (4) recogniz (2) monoid (2) trace (2) techniqu (1) properti (1) automata (1) support (1) distanc (1)

Person: Daniel Kirsten

DBLP DBLP: Kirsten:Daniel

Contributed to:

DLT 20092009
FoSSaCS 20042004
ICALP 20012001
ICALP 19991999

Wrote 5 papers:

DLT-2009-Kirsten #commutative
The Support of a Recognizable Series over a Zero-Sum Free, Commutative Semiring Is Recognizable (DK), pp. 326–333.
FoSSaCS-2004-Kirsten #automaton #distance #problem
Distance Desert Automata and the Star Height One Problem (DK), pp. 257–272.
ICALP-2001-Kirsten #monad #problem #reduction
The Star Problem in Trace Monoids: Reductions Beyond C4 (DK), pp. 591–602.
ICALP-1999-Kirsten #finite #monad #problem
A Connection between the Star Problem and the Finite Power Property in Trace Monoids (DK), pp. 473–482.
ICALP-1999-KirstenM #problem
Two Techniques in the Area of the Star Problem (DK, JM), pp. 483–492.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.