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: Kufleitner:Manfred
Contributed to:
Wrote 14 papers:
- CIAA-2012-JahnKL
- 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.
- AFL-2011-KufleitnerL
- Around Dot-Depth One (MK, AL), pp. 255–269.
- AFL-J-2011-KufleitnerL12
- 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.