Manfred Kufleitner

Generating author description...

All published works

Action	Title	Year	Authors
+ PDF Chat	The Word Problem for $(\omega - 1)$-Terms over $\boldsymbol{\mathrm{DAb}}$	2024	Jorge Almeida Manfred Kufleitner Jan Philipp Wächter
+	2 Elementary number theory	2023	Volker Diekert Manfred Kufleitner Gerhard Rosenberger Ulrich Hertrampf
+ PDF Chat	Conelikes and Ranker Comparisons	2022	Viktor Henriksson Manfred Kufleitner
+	Reachability Games and Parity Games	2022	Volker Diekert Manfred Kufleitner
+	Yet another proof of Parikh's Theorem	2022	Manfred Kufleitner
+ PDF Chat	Reachability Games and Parity Games	2022	Volker Diekert Manfred Kufleitner
+	The Inclusion Problem for Forest Languages under Substitutions.	2021	Marcial Gaißert Manfred Kufleitner
+	Deciding FO2 Alternation for Automata over Finite and Infinite Words	2021	Viktor Henriksson Manfred Kufleitner
+ PDF Chat	Deciding FO2 Alternation for Automata over Finite and Infinite Words	2021	Viktor Henriksson Manfred Kufleitner
+	Conelikes and Ranker Comparisons	2021	Viktor Henriksson Manfred Kufleitner
+	Deciding FO2 Alternation for Automata over Finite and Infinite Words	2021	Viktor Henriksson Manfred Kufleitner
+	The Inclusion Problem for Forest Languages under Substitutions	2021	Marcial Gaißert Manfred Kufleitner
+	Nesting negations in FO2 over infinite words	2020	Viktor Henriksson Manfred Kufleitner
+ PDF Chat	Nilpotency and strong nilpotency for finite semigroups	2018	Jorge Almeida M. H. Shahzamanian Manfred Kufleitner
+	Testing Simon's congruence	2018	Lukas Fleischer Manfred Kufleitner
+	Testing Simon's congruence	2018	Lukas Fleischer Manfred Kufleitner
+	Testing Simon's congruence	2018	Lukas Fleischer Manfred Kufleitner
+ PDF Chat	Level Two of the Quantifier Alternation Hierarchy Over Infinite Words	2017	Manfred Kufleitner Tobias Walter
+ PDF Chat	The Word Problem for Omega-Terms over the Trotter-Weil Hierarchy	2017	Manfred Kufleitner Jan Philipp Wächter
+ PDF Chat	Green’s Relations in Finite Transformation Semigroups	2017	Lukas Fleischer Manfred Kufleitner
+	The Intersection Problem for Finite Monoids	2017	Lukas Fleischer Manfred Kufleitner
+	Green's Relations in Finite Transformation Semigroups	2017	Lukas Fleischer Manfred Kufleitner
+ PDF Chat	3. Number theoretic algorithms	2016	Volker Diekert Manfred Kufleitner Gerhard Rosenberger Ulrich Hertrampf
+	8. Discrete infinite groups	2016	Volker Diekert Manfred Kufleitner Gerhard Rosenberger Ulrich Hertrampf
+	Operations on Weakly Recognizing Morphisms	2016	Lukas Fleischer Manfred Kufleitner
+ PDF Chat	Level Two of the Quantifier Alternation Hierarchy over Infinite Words	2016	Manfred Kufleitner Tobias Walter
+	Solutions of Word Equations over Partially Commutative Structures	2016	Volker Diekert Artur Jeż Manfred Kufleitner
+	Operations on Weakly Recognizing Morphisms	2016	Lukas Fleischer Manfred Kufleitner
+ PDF Chat	The Word Problem for Omega-Terms over the Trotter-Weil Hierarchy	2016	Manfred Kufleitner Jan Philipp Wächter
+	Solutions of word equations over partially commutative structures	2016	Volker Diekert Artur Jeż Manfred Kufleitner
+	Operations on Weakly Recognizing Morphisms	2016	Lukas Fleischer Manfred Kufleitner
+ PDF Chat	Regular Languages Are Church-Rosser Congruential	2015	Volker Diekert Manfred Kufleitner Klaus Reinhardt Tobias Walter
+	Level Two of the Quantifier Alternation Hierarchy over Infinite Words	2015	Manfred Kufleitner Tobias Walter
+	A survey on the local divisor technique	2015	Volker Diekert Manfred Kufleitner
+	Efficient Algorithms for Morphisms over Omega-Regular Languages	2015	Lukas Fleischer Manfred Kufleitner
+ PDF Chat	One quantifier alternation in first-order logic with modular predicates	2015	Manfred Kufleitner Tobias Walter
+	Efficient Algorithms for Morphisms over Omega-Regular Languages	2015	Lukas Fleischer Manfred Kufleitner
+	Level Two of the Quantifier Alternation Hierarchy over Infinite Words	2015	Manfred Kufleitner Tobias Walter
+ PDF Chat	On the index of Simon's congruence for piecewise testability	2014	Prateek Karandikar Manfred Kufleitner Ph. Schnoebelen
+	A Survey on the Local Divisor Technique	2014	Volker Diekert Manfred Kufleitner
+	Two-Variable Ehrenfeucht-Fraisse Games over Omega-Terms	2014	Manfred Kufleitner Jan Philipp Wächter
+ PDF Chat	Star-Free Languages and Local Divisors	2014	Manfred Kufleitner
+	A Survey on the Local Divisor Technique	2014	Volker Diekert Manfred Kufleitner
+	One Quantifier Alternation in First-Order Logic with Modular Predicates	2013	Manfred Kufleitner Tobias Walter
+	Ehrenfeucht-Fraisse Games on Omega-Terms	2013	Martin Huschenbett Manfred Kufleitner
+	One Quantifier Alternation in First-Order Logic with Modular Predicates	2013	Manfred Kufleitner Tobias Walter
+	Ehrenfeucht-Fraisse Games on Omega-Terms	2013	Martin Huschenbett Manfred Kufleitner
+ PDF Chat	On logical hierarchies within FO^2-definable languages	2012	Manfred Kufleitner Pascal Weil
+ PDF Chat	The Join of the Varieties of R-trivial and L-trivial Monoids via Combinatorics on Words	2012	Manfred Kufleitner Alexander Lauser
+	The Join of the Varieties of R-trivial and L-trivial Monoids via Combinatorics on Words	2012	Manfred Kufleitner Alexander Lauser
+	The Join Levels of the Trotter-Weil Hierarchy are Decidable	2012	Manfred Kufleitner Alexander Lauser
+	The FO^2 alternation hierarchy is decidable	2012	Manfred Kufleitner Pascal Weil
+	Regular Languages are Church-Rosser Congruential	2012	Volker Diekert Manfred Kufleitner Klaus Reinhardt Tobias Walter
+	Star-free languages are Church–Rosser congruential	2012	Volker Diekert Manfred Kufleitner Pascal Weil
+ PDF Chat	The Krohn-Rhodes Theorem and Local Divisors	2012	Volker Diekert Manfred Kufleitner Benjamin Steinberg
+ PDF Chat	The Join Levels of the Trotter-Weil Hierarchy Are Decidable	2012	Manfred Kufleitner Alexander Lauser
+ PDF Chat	Lattices of Logical Fragments over Words	2012	Manfred Kufleitner Alexander Lauser
+ PDF Chat	Regular Ideal Languages and Their Boolean Combinations	2012	Franz G. Jahn Manfred Kufleitner Alexander Lauser
+	Quantifier Alternation in Two-Variable First-Order Logic with Successor Is Decidable	2012	Manfred Kufleitner Alexander Lauser
+ PDF Chat	Regular Languages Are Church-Rosser Congruential	2012	Volker Diekert Manfred Kufleitner Klaus Reinhardt Tobias Walter
+	The FO^2 alternation hierarchy is decidable	2012	Manfred Kufleitner Pascal Weil
+	The Join of the Varieties of R-trivial and L-trivial Monoids via Combinatorics on Words	2012	Manfred Kufleitner Alexander Lauser
+	Regular Languages are Church-Rosser Congruential	2012	Volker Diekert Manfred Kufleitner Klaus Reinhardt Tobias Walter
+	The Join Levels of the Trotter-Weil Hierarchy are Decidable	2012	Manfred Kufleitner Alexander Lauser
+	Lattices of Logical Fragments over Words	2012	Manfred Kufleitner Alexander Lauser
+ PDF Chat	PARTIALLY ORDERED TWO-WAY BÜCHI AUTOMATA	2011	Manfred Kufleitner Alexander Lauser
+	The Krohn-Rhodes Theorem and Local Divisors	2011	Volker Diekert Manfred Kufleitner Benjamin Steinberg
+ PDF Chat	Languages of Dot-Depth One over Infinite Words	2011	Manfred Kufleitner Alexander Lauser
+	Around Dot-depth One	2011	Manfred Kufleitner Alexander Lauser
+	Cantor Topologies for Finite Words	2011	Manfred Kufleitner Alexander Lauser
+	Regular Ideal Languages and Their Boolean Combinations	2011	Franz G. Jahn Manfred Kufleitner Alexander Lauser
+	Languages of Dot-depth One over Infinite Words	2011	Manfred Kufleitner Alexander Lauser
+ PDF Chat	Partially Ordered Two-Way Büchi Automata	2011	Manfred Kufleitner Alexander Lauser
+	First-order Fragments with Successor over Infinite Words	2011	Jakub Kallas Manfred Kufleitner Alexander Lauser
+	The Krohn-Rhodes Theorem and Local Divisors	2011	Volker Diekert Manfred Kufleitner Benjamin Steinberg
+	Regular Ideal Languages and Their Boolean Combinations	2011	Franz Jahn Manfred Kufleitner Alexander Lauser
+	Around Dot-depth One	2011	Manfred Kufleitner Alexander Lauser
+	Languages of Dot-depth One over Infinite Words	2011	Manfred Kufleitner Alexander Lauser
+ PDF Chat	On the lattice of sub-pseudovarieties of DA	2010	Manfred Kufleitner Pascal Weil
+	Rankers over Infinite Words	2010	Luc Dartois Manfred Kufleitner Alexander Lauser
+ PDF Chat	Fragments of First-Order Logic over Infinite Words	2010	Volker Diekert Manfred Kufleitner
+ PDF Chat	Rankers over Infinite Words	2010	Luc Dartois Manfred Kufleitner Alexander Lauser
+ PDF Chat	On the lattice of sub-pseudovarieties of DA	2010	Manfred Kufleitner Pascal Weil
+	Rankers over Infinite Words	2010	Luc Dartois Manfred Kufleitner Alexander Lauser
+	On Bijective Variants of the Burrows-Wheeler Transform	2009	Manfred Kufleitner
+	Fragments of First-Order Logic over Infinite Words (Extended Abstract)	2009	Volker Diekert Manfred Kufleitner
+	Fragments of First-Order Logic over Infinite Words.	2009	Volker Diekert Manfred Kufleitner
+	Fragments of first-order logic over infinite words	2009	Volker Diekert Manfred Kufleitner
+	On Smoothed Analysis of Quicksort and Hoare's Find	2009	Mahmoud Fouz Manfred Kufleitner Bodo Manthey Nima Zeini Jahromi
+	On Bijective Variants of the Burrows-Wheeler Transform	2009	Manfred Kufleitner
+ PDF Chat	On FO 2 Quantifier Alternation over Words	2009	Manfred Kufleitner Pascal Weil
+	On the lattice of sub-pseudovarieties of DA	2009	Manfred Kufleitner Pascal Weil
+	A Proof of the Factorization Forest Theorem	2007	Manfred Kufleitner

Common Coauthors

Coauthor	Papers Together
Alexander Lauser	24
Volker Diekert	22
Tobias Walter	11
Lukas Fleischer	11
Pascal Weil	8
Viktor Henriksson	6
Jan Philipp Wächter	4
Ulrich Hertrampf	3
Klaus Reinhardt	3
Luc Dartois	3
Gerhard Rosenberger	3
Benjamin Steinberg	3
Artur Jeż	2
Franz G. Jahn	2
Martin Huschenbett	2
Marcial Gaißert	2
Jorge Almeida	2
Ph. Schnoebelen	1
M. H. Shahzamanian	1
Jakub Kallas	1
Klaus Reinhardt	1
Mahmoud Fouz	1
Prateek Karandikar	1
Franz Jahn	1
Nima Zeini Jahromi	1
Bodo Manthey	1

Commonly Cited References

Action	Title	Year	Authors	# of times referenced
+	On finite monoids having only trivial subgroups	1965	M. P. Schützenberger	21
+ PDF Chat	Structure Theorem and Strict Alternation Hierarchy for FO^2 on Words	2009	Philipp Weis Neil Immerman	17
+ PDF Chat	Logic Meets Algebra: the Case of Regular Languages	2007	Pascal Tesson Denis Thérien	11
+ PDF Chat	Fragments of First-Order Logic over Infinite Words	2010	Volker Diekert Manfred Kufleitner	11
+	Finite semigroup varieties of the form V ∗ D	1985	Howard Straubing	10
+ PDF Chat	On the lattice of sub-pseudovarieties of DA	2010	Manfred Kufleitner Pascal Weil	9
+	A generalization of the Schützenberger product of finite monoids	1981	Howard Straubing	9
+ PDF Chat	Lattices of Logical Fragments over Words	2012	Manfred Kufleitner Alexander Lauser	8
+	The FO^2 alternation hierarchy is decidable	2012	Manfred Kufleitner Pascal Weil	7
+	On a Problem of Formal Logic	1930	Frank Plumpton Ramsey	7
+	Star-free languages are Church–Rosser congruential	2012	Volker Diekert Manfred Kufleitner Pascal Weil	5
+ PDF Chat	On logical hierarchies within FO^2-definable languages	2012	Manfred Kufleitner Pascal Weil	5
+	Factorization forests of finite height	1990	Imre Simon	5
+ PDF Chat	The Join Levels of the Trotter-Weil Hierarchy Are Decidable	2012	Manfred Kufleitner Alexander Lauser	5
+ PDF Chat	Representations of Stream Processors Using Nested Fixed Points	2009	Neil Ghani Peter Hancock Dirk Pattinson	4
+	Combinatorics on words	1984	M. Lothaire	4
+	First-order Fragments with Successor over Infinite Words	2011	Jakub Kallas Manfred Kufleitner Alexander Lauser	4
+ PDF Chat	Algebraic Recognizability of Languages	2004	Pascal Weil	4
+	The algebraic theory of semigroups	1964	A. H. Clifford G. B. Preston	4
+	The FO^2 alternation hierarchy is decidable	2012	Manfred Kufleitner Pascal Weil	4
+ PDF Chat	The Krohn-Rhodes Theorem and Local Divisors	2012	Volker Diekert Manfred Kufleitner Benjamin Steinberg	4
+ PDF Chat	Level Two of the Quantifier Alternation Hierarchy Over Infinite Words	2017	Manfred Kufleitner Tobias Walter	3
+ PDF Chat	PARTIALLY ORDERED TWO-WAY BÜCHI AUTOMATA	2011	Manfred Kufleitner Alexander Lauser	3
+ PDF Chat	On FO 2 Quantifier Alternation over Words	2009	Manfred Kufleitner Pascal Weil	3
+ PDF Chat	Separating Regular Languages by Piecewise Testable and Unambiguous Languages	2013	Thomas Place Lorijn van Rooijen Marc Zeitoun	3
+ PDF Chat	Rankers over Infinite Words	2010	Luc Dartois Manfred Kufleitner Alexander Lauser	3
+	Applied Combinatorics on Words (Encyclopedia of Mathematics and its Applications)	2005	M. Lothaire	3
+ PDF Chat	Two-way unary temporal logic over trees	2007	Mikołaj Bojańczyk	3
+	Fragments of First-Order Logic over Infinite Words (Extended Abstract)	2009	Volker Diekert Manfred Kufleitner	3
+ PDF Chat	Effective Characterizations of Simple Fragments of Temporal Logic Using Carton--Michel Automata	2013	Sebastian Preugschat Thomas Wilke	3
+ PDF Chat	Going Higher in the First-Order Quantifier Alternation Hierarchy on Words	2014	Thomas Place Marc Zeitoun	3
+ PDF Chat	The Complexity of Model Checking Higher-Order Fixpoint Logic	2007	Roland Axelsson Martin Lange Rafał Somla	3
+ PDF Chat	An Effective Characterization of the Alternation Hierarchy in Two-Variable Logic	2017	Andreas Krebs Howard Straubing	3
+	Counting permutations with given cycle structure and descent set	1993	Ira M. Gessel Christophe Reutenauer	2
+	Finiteness of the Odd Perfect and Primitive Abundant Numbers with n Distinct Prime Factors	1913	L. E. Dickson	2
+	Positive varieties and infinite words	1998	Jean -éric Pin	2
+	Efficient Membership Testing for Pseudovarieties of Finite Semigroups.	2018	Lukas Fleischer	2
+ PDF Chat	Topologies Refining the Cantor Topology on X ω	2010	Sibylle Schwarz Ludwig Staiger	2
+ PDF Chat	Regular Languages Are Church-Rosser Congruential	2012	Volker Diekert Manfred Kufleitner Klaus Reinhardt Tobias Walter	2
+	Augmentations and wreath products of monoids	1980	G. Lallement	2
+	Free Differential Calculus, IV. The Quotient Groups of the Lower Central Series	1958	K. T. Chen Ralph H. Fox Roger C. Lyndon	2
+	On the Structure of Semigroups	1951	J. A. Green	2
+	The Join Levels of the Trotter-Weil Hierarchy are Decidable	2012	Manfred Kufleitner Alexander Lauser	2
+ PDF Chat	Uniqueness theorems for periodic functions	1965	N. J. Fine Herbert S. Wilf	2
+	A SYNTACTICAL PROOF OF LOCALITY OF DA	1996	Jorge Almeida	2
+	The separation problem for regular languages by piecewise testable languages	2013	Lorijn van Rooijen Marc Zeitoun	2
+ PDF Chat	Languages of Dot-Depth One over Infinite Words	2011	Manfred Kufleitner Alexander Lauser	2
+	The existential theory of equations with rational constraints in free groups is PSPACE-complete	2005	Volker Diekert Claudio Gutiérrez Christian Hagenah	2
+ PDF Chat	Structure Theorem and Strict Alternation Hierarchy for FO2 on Words	2007	P. R. Weis Neil Immerman	2
+ PDF Chat	Partially Ordered Two-Way Büchi Automata	2011	Manfred Kufleitner Alexander Lauser	2