| 2009 |
|---|
| 11 | EE | Volker Diekert,
Manfred Kufleitner:
Fragments of First-Order Logic over Infinite Words.
STACS 2009: 325-336 |
| 10 | EE | Manfred Kufleitner,
Pascal Weil:
On FO2 quantifier alternation over words
CoRR abs/0904.2894: (2009) |
| 9 | EE | Mahmoud Fouz,
Manfred Kufleitner,
Bodo Manthey,
Nima Zeini Jahromi:
On Smoothed Analysis of Quicksort and Hoare's Find
CoRR abs/0904.3898: (2009) |
| 2008 |
|---|
| 8 | EE | Manfred Kufleitner:
The Height of Factorization Forests.
MFCS 2008: 443-454 |
| 7 | EE | Volker Diekert,
Paul Gastin,
Manfred Kufleitner:
A Survey on Small Fragments of First-Order Logic over Finite Words.
Int. J. Found. Comput. Sci. 19(3): 513-548 (2008) |
| 2007 |
|---|
| 6 | EE | Volker Diekert,
Manfred Kufleitner:
On First-Order Fragments for Words and Mazurkiewicz Traces.
Developments in Language Theory 2007: 1-19 |
| 5 | EE | Manfred Kufleitner:
A Proof of the Factorization Forest Theorem
CoRR abs/0710.5130: (2007) |
| 4 | EE | Volker Diekert,
Martin Horsch,
Manfred Kufleitner:
On First-Order Fragments for Mazurkiewicz Traces.
Fundam. Inform. 80(1-3): 1-29 (2007) |
| 3 | EE | Manfred Kufleitner:
Polynomials, fragments of temporal logic and the variety DA over traces.
Theor. Comput. Sci. 376(1-2): 89-100 (2007) |
| 2006 |
|---|
| 2 | EE | Manfred Kufleitner:
Polynomials, Fragments of Temporal Logic and the Variety DA over Traces.
Developments in Language Theory 2006: 37-48 |
| 2002 |
|---|
| 1 | EE | Volker Diekert,
Manfred Kufleitner:
A Remark about Quadratic Trace Equations.
Developments in Language Theory 2002: 59-66 |
