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 × Finland
1 × France
1 × Hungary
1 × Japan
1 × Portugal
1 × USA
1 × United Kingdom
3 × Canada
Collaborated with:
A.Lauser V.Diekert P.Weil F.Jahn L.Dartois P.Gastin K.Reinhardt T.Walter
Talks about:
word (5) fragment (4) order (4) languag (3) trace (3) logic (3) depth (3) one (3) dot (3) automata (2)

Person: Manfred Kufleitner

DBLP DBLP: Kufleitner:Manfred

Contributed to:

CIAA 20122012
CSL 20122012
ICALP (2) 20122012
AFL 20112011
CIAA 20112012
LICS 20112011
CIAA 20102010
CIAA 20102011
DLT 20102010
DLT 20072007
DLT 20072008
DLT 20062006
DLT 20022002

Wrote 14 papers:

Regular Ideal Languages and Their Boolean Combinations (FJ, MK, AL), pp. 205–216.
CSL-2012-KufleitnerW #decidability
The FO2 alternation hierarchy is decidable (MK, PW), pp. 426–439.
ICALP-v2-2012-DiekertKRW #regular expression
Regular Languages Are Church-Rosser Congruential (VD, MK, KR, TW), pp. 177–188.
ICALP-v2-2012-KufleitnerL #logic #word
Lattices of Logical Fragments over Words — (MK, AL), pp. 275–286.
Around Dot-Depth One (MK, AL), pp. 255–269.
Around dot-Depth One (MK, AL), pp. 1323–1340.
LICS-2011-KufleitnerL #infinity #word
Languages of Dot-Depth One over Infinite Words (MK, AL), pp. 23–32.
CIAA-2010-KufleitnerL #automaton #order
Partially Ordered Two-Way Büchi Automata (MK, AL), pp. 181–190.
CIAA-J-2010-KufleitnerL11 #automaton #order
Partially Ordered Two-Way BüChi Automata (MK, AL), pp. 1861–1876.
DLT-2010-DartoisKL #infinity #word
Rankers over Infinite Words (LD, MK, AL), pp. 148–159.
DLT-2007-DiekertK #first-order #on the #word
On First-Order Fragments for Words and Mazurkiewicz Traces (VD, MK), pp. 1–19.
DLT-J-2007-DiekertGK08 #finite #first-order #logic #overview #word
A Survey on Small Fragments of First-Order Logic over Finite Words (VD, PG, MK), pp. 513–548.
DLT-2006-Kufleitner #logic
Polynomials, Fragments of Temporal Logic and the Variety DA over Traces (MK), pp. 37–48.
DLT-2002-DiekertK #equation #polynomial
A Remark about Quadratic Trace Equations (VD, MK), pp. 59–66.

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.