Manfred Kufleitner

	2012
38		Mahmoud Fouz, Manfred Kufleitner, Bodo Manthey, Nima Zeini Jahromi: On Smoothed Analysis of Quicksort and Hoare's Find. Algorithmica 62(3-4): 879-905 (2012)
37		Volker Diekert, Manfred Kufleitner, Klaus Reinhardt, Tobias Walter: Regular Languages are Church-Rosser Congruential CoRR abs/1202.1148: (2012)
36		Manfred Kufleitner, Alexander Lauser: Lattices of Logical Fragments over Words CoRR abs/1202.3355: (2012)
35		Manfred Kufleitner, Pascal Weil: The FO^2 alternation hierarchy is decidable CoRR abs/1203.6152: (2012)
34		Manfred Kufleitner, Alexander Lauser: The Join Levels of the Trotter-Weil Hierarchy are Decidable CoRR abs/1204.4672: (2012)
33		Manfred Kufleitner, Alexander Lauser: The Join of R-trivial and L-trivial Monoids via Combinatorics on Words CoRR abs/1204.5368: (2012)
	2011
32		Manfred Kufleitner, Alexander Lauser: Around Dot-Depth One. AFL 2011: 255-269
31		Manfred Kufleitner, Alexander Lauser: Languages of Dot-Depth One over Infinite Words. LICS 2011: 23-32
30		Jakub Kallas, Manfred Kufleitner, Alexander Lauser: First-order Fragments with Successor over Infinite Words. STACS 2011: 356-367
29		Jakub Kallas, Manfred Kufleitner, Alexander Lauser: First-order Fragments with Successor over Infinite Words CoRR abs/1101.0115: (2011)
28		Manfred Kufleitner, Alexander Lauser: Languages of Dot-depth One over Infinite Words CoRR abs/1101.4152: (2011)
27		Manfred Kufleitner, Alexander Lauser: Cantor Topologies for Finite Words CoRR abs/1102.5013: (2011)
26		Manfred Kufleitner, Alexander Lauser: Around Dot-depth One CoRR abs/1103.1353: (2011)
25		Volker Diekert, Manfred Kufleitner, Benjamin Steinberg: The Krohn-Rhodes Theorem and Local Divisors CoRR abs/1111.1585: (2011)
24		Volker Diekert, Manfred Kufleitner, Pascal Weil: Star-Free Languages are Church-Rosser Congruential CoRR abs/1111.4300: (2011)
23		Manfred Kufleitner, Alexander Lauser: Partially Ordered Two-Way BüChi Automata. Int. J. Found. Comput. Sci. 22(8): 1861-1876 (2011)
22		Volker Diekert, Manfred Kufleitner: Fragments of First-Order Logic over Infinite Words. Theory Comput. Syst. 48(3): 486-516 (2011)
	2010
21		Manfred Kufleitner, Alexander Lauser: Partially Ordered Two-Way Büchi Automata. CIAA 2010: 181-190
20		Luc Dartois, Manfred Kufleitner, Alexander Lauser: Rankers over Infinite Words - (Extended Abstract). Developments in Language Theory 2010: 148-159
19		Luc Dartois, Manfred Kufleitner, Alexander Lauser: Rankers over Infinite Words CoRR abs/1005.0505: (2010)
18		Manfred Kufleitner, Alexander Lauser: Partially Ordered Two-way Büchi Automata CoRR abs/1006.2719: (2010)
	2009
17		Mahmoud Fouz, Manfred Kufleitner, Bodo Manthey, Nima Zeini Jahromi: On Smoothed Analysis of Quicksort and Hoare's Find. COCOON 2009: 158-167
16		Manfred Kufleitner, Pascal Weil: On FO2 Quantifier Alternation over Words. MFCS 2009: 513-524
15		Volker Diekert, Manfred Kufleitner: Fragments of First-Order Logic over Infinite Words. STACS 2009: 325-336
14		Manfred Kufleitner: On Bijective Variants of the Burrows-Wheeler Transform. Stringology 2009: 65-79
13		Manfred Kufleitner, Pascal Weil: On FO2 quantifier alternation over words CoRR abs/0904.2894: (2009)
12		Mahmoud Fouz, Manfred Kufleitner, Bodo Manthey, Nima Zeini Jahromi: On Smoothed Analysis of Quicksort and Hoare's Find CoRR abs/0904.3898: (2009)
11		Volker Diekert, Manfred Kufleitner: Fragments of first-order logic over infinite words CoRR abs/0906.2995: (2009)
10		Manfred Kufleitner: On Bijective Variants of the Burrows-Wheeler Transform CoRR abs/0908.0239: (2009)
	2008
9		Manfred Kufleitner: The Height of Factorization Forests. MFCS 2008: 443-454
8		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
7		Volker Diekert, Manfred Kufleitner: On First-Order Fragments for Words and Mazurkiewicz Traces. Developments in Language Theory 2007: 1-19
6		Manfred Kufleitner: A Proof of the Factorization Forest Theorem CoRR abs/0710.5130: (2007)
5		Volker Diekert, Martin Horsch, Manfred Kufleitner: On First-Order Fragments for Mazurkiewicz Traces. Fundam. Inform. 80(1-3): 1-29 (2007)
4		Manfred Kufleitner: Polynomials, fragments of temporal logic and the variety DA over traces. Theor. Comput. Sci. 376(1-2): 89-100 (2007)
	2006
3		Manfred Kufleitner: Polynomials, Fragments of Temporal Logic and the Variety DA over Traces. Developments in Language Theory 2006: 37-48
2		Manfred Kufleitner: Logical fragments for Mazurkiewicz traces: expressive power and algebraic characterizations. University of Stuttgart 2006
	2002
1		Volker Diekert, Manfred Kufleitner: A Remark about Quadratic Trace Equations. Developments in Language Theory 2002: 59-66

Coauthor Index

1	Luc Dartois	[19] [20]
2	Volker Diekert	[1] [5] [7] [8] [11] [15] [22] [24] [25] [37]
3	Mahmoud Fouz	[12] [17] [38]
4	Paul Gastin	[8]
5	Martin Horsch	[5]
6	Nima Zeini Jahromi	[12] [17] [38]
7	Jakub Kallas	[29] [30]
8	Alexander Lauser	[18] [19] [20] [21] [23] [26] [27] [28] [29] [30] [31] [32] [33] [34] [36]
9	Bodo Manthey (Bodo Siebert)	[12] [17] [38]
10	Klaus Reinhardt	[37]
11	Benjamin Steinberg	[25]
12	Tobias Walter	[37]
13	Pascal Weil	[13] [16] [24] [35]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page