 | 2009 |
|---|
| 15 |       | Mahmoud Fouz,
Manfred Kufleitner,
Bodo Manthey,
Nima Zeini Jahromi:
On Smoothed Analysis of Quicksort and Hoare's Find.
COCOON 2009: 158-167 |
| 14 | | Manfred Kufleitner,
Pascal Weil:
On FO2 Quantifier Alternation over Words.
MFCS 2009: 513-524 |
| 13 | | Volker Diekert,
Manfred Kufleitner:
Fragments of First-Order Logic over Infinite Words.
STACS 2009: 325-336 |
| 12 | | Manfred Kufleitner,
Pascal Weil:
On FO2 quantifier alternation over words
CoRR abs/0904.2894: (2009) |
| 11 | | Mahmoud Fouz,
Manfred Kufleitner,
Bodo Manthey,
Nima Zeini Jahromi:
On Smoothed Analysis of Quicksort and Hoare's Find
CoRR abs/0904.3898: (2009) |
| 10 | | Volker Diekert,
Manfred Kufleitner:
Fragments of first-order logic over infinite words
CoRR abs/0906.2995: (2009) |
| 9 | | Manfred Kufleitner:
On Bijective Variants of the Burrows-Wheeler Transform
CoRR abs/0908.0239: (2009) |
| 2008 |
|---|
| 8 | | Manfred Kufleitner:
The Height of Factorization Forests.
MFCS 2008: 443-454 |
| 7 | | 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 | | Volker Diekert,
Manfred Kufleitner:
On First-Order Fragments for Words and Mazurkiewicz Traces.
Developments in Language Theory 2007: 1-19 |
| 5 | | Manfred Kufleitner:
A Proof of the Factorization Forest Theorem
CoRR abs/0710.5130: (2007) |
| 4 | | Volker Diekert,
Martin Horsch,
Manfred Kufleitner:
On First-Order Fragments for Mazurkiewicz Traces.
Fundam. Inform. 80(1-3): 1-29 (2007) |
| 3 | | Manfred Kufleitner:
Polynomials, fragments of temporal logic and the variety DA over traces.
Theor. Comput. Sci. 376(1-2): 89-100 (2007) |
| 2006 |
|---|
| 2 | | Manfred Kufleitner:
Polynomials, Fragments of Temporal Logic and the Variety DA over Traces.
Developments in Language Theory 2006: 37-48 |
| 2002 |
|---|
| 1 | | Volker Diekert,
Manfred Kufleitner:
A Remark about Quadratic Trace Equations.
Developments in Language Theory 2002: 59-66 |
