Manfred Kufleitner

ORCID

Publication Activity (10 Years)

Years Active: 2002-2023
Publications (10 Years): 28

Top Venues

University of Stuttgart (PHD)

Education History

University of Stuttgart

PHD

Publications

Viktor Henriksson, Manfred Kufleitner
Alternation Over Finite and Infinite Words. Int. J. Found. Comput. Sci. 34 (2&3) (2023)
Viktor Henriksson, Manfred Kufleitner
Conelikes and Ranker Comparisons. LATIN (2022)
Volker Diekert, Manfred Kufleitner
Reachability Games and Parity Games. ICTAC (2022)
Manfred Kufleitner
Yet another proof of Parikh's Theorem. CoRR (2022)
Volker Diekert, Manfred Kufleitner
Reachability Games and Parity Games. CoRR (2022)
Marcial Gaißert, Manfred Kufleitner
The Inclusion Problem for Forest Languages under Substitutions. CoRR (2021)
Viktor Henriksson, Manfred Kufleitner
Deciding FO2 Alternation for Automata over Finite and Infinite Words. CoRR (2021)
Viktor Henriksson, Manfred Kufleitner
Conelikes and Ranker Comparisons. CoRR (2021)
Viktor Henriksson, Manfred Kufleitner
Alternation for Automata over Finite and Infinite Words. DLT (2021)
Viktor Henriksson, Manfred Kufleitner
Nesting negations in FO2 over infinite words. CoRR (2020)
Lukas Fleischer, Manfred Kufleitner
The complexity of weakly recognizing morphisms. RAIRO Theor. Informatics Appl. 53 (1-2) (2019)
Lukas Fleischer, Manfred Kufleitner
Green's Relations in Deterministic Finite Automata. Theory Comput. Syst. 63 (4) (2019)
Manfred Kufleitner, Jan Philipp Wächter
The Word Problem for Omega-Terms over the Trotter-Weil Hierarchy. Theory Comput. Syst. 62 (3) (2018)
Lukas Fleischer, Manfred Kufleitner
Testing Simon's congruence. MFCS (2018)
Manfred Kufleitner, Tobias Walter
Level Two of the Quantifier Alternation Hierarchy Over Infinite Words. Theory Comput. Syst. 62 (3) (2018)
Lukas Fleischer, Manfred Kufleitner
Testing Simon's congruence. CoRR (2018)
Lukas Fleischer, Manfred Kufleitner
The Intersection Problem for Finite Monoids. STACS (2018)
Lukas Fleischer, Manfred Kufleitner
Green's Relations in Finite Transformation Semigroups. CoRR (2017)
Lukas Fleischer, Manfred Kufleitner, Alexander Lauser
The Half-Levels of the FO2 Alternation Hierarchy. Theory Comput. Syst. 61 (2) (2017)
Lukas Fleischer, Manfred Kufleitner
Green's Relations in Finite Transformation Semigroups. CSR (2017)
Lukas Fleischer, Manfred Kufleitner
The Intersection Problem for Finite Monoids. CoRR (2017)
Manfred Kufleitner, Tobias Walter
Level Two of the Quantifier Alternation Hierarchy over Infinite Words. CSR (2016)
Volker Diekert, Manfred Kufleitner
A survey on the local divisor technique. Theor. Comput. Sci. 610 (2016)
Lukas Fleischer, Manfred Kufleitner
Operations on Weakly Recognizing Morphisms. DCFS (2016)
Manfred Kufleitner, Jan Philipp Wächter
The Word Problem for Omega-Terms over the Trotter-Weil Hierarchy - (Extended Abstract). CSR (2016)
Volker Diekert, Artur Jez, Manfred Kufleitner
Solutions of Word Equations Over Partially Commutative Structures. ICALP (2016)
Lukas Fleischer, Manfred Kufleitner
Operations on Weakly Recognizing Morphisms. CoRR (2016)
Volker Diekert, Artur Jez, Manfred Kufleitner
Solutions of Word Equations over Partially Commutative Structures. CoRR (2016)
Lukas Fleischer, Manfred Kufleitner
Efficient Algorithms for Morphisms over Omega-Regular Languages. FSTTCS (2015)
Prateek Karandikar, Manfred Kufleitner, Philippe Schnoebelen
On the index of Simon's congruence for piecewise testability. Inf. Process. Lett. 115 (4) (2015)
Manfred Kufleitner, Tobias Walter
One quantifier alternation in first-order logic with modular predicates. RAIRO Theor. Informatics Appl. 49 (1) (2015)
Manfred Kufleitner, Jan Philipp Wächter
The Word Problem for Omega-Terms over the Trotter-Weil Hierarchy. CoRR (2015)
Volker Diekert, Manfred Kufleitner
Omega-Rational Expressions with Bounded Synchronization Delay. Theory Comput. Syst. 56 (4) (2015)
Lukas Fleischer, Manfred Kufleitner
Efficient Algorithms for Morphisms over Omega-Regular Languages. CoRR (2015)
Volker Diekert, Manfred Kufleitner, Klaus Reinhardt, Tobias Walter
Regular Languages Are Church-Rosser Congruential. J. ACM 62 (5) (2015)
Manfred Kufleitner, Tobias Walter
Level Two of the Quantifier Alternation Hierarchy over Infinite Words. CoRR (2015)
Manfred Kufleitner
Star-Free Languages and Local Divisors. DCFS (2014)
Volker Diekert, Manfred Kufleitner
A Survey on the Local Divisor Technique. CoRR (2014)
Martin Huschenbett, Manfred Kufleitner
Ehrenfeucht-Fraïssé Games on Omega-Terms. STACS (2014)
Manfred Kufleitner
Star-free languages and local divisors. CoRR (2014)
Lukas Fleischer, Manfred Kufleitner, Alexander Lauser
Block Products and Nesting Negations in FO2. CSR (2014)
Manfred Kufleitner, Jan Philipp Wächter
Two-Variable Ehrenfeucht-Fraisse Games over Omega-Terms. CoRR (2014)
Manfred Kufleitner, Tobias Walter
One Quantifier Alternation in First-Order Logic with Modular Predicates. CoRR (2013)
Manfred Kufleitner, Alexander Lauser
Quantifier Alternation in Two-Variable First-Order Logic with Successor Is Decidable. STACS (2013)
Martin Huschenbett, Manfred Kufleitner
Ehrenfeucht-Fraisse Games on Omega-Terms. CoRR (2013)
Manfred Kufleitner, Alexander Lauser
Lattices of Logical Fragments over Words CoRR (2012)
Volker Diekert, Manfred Kufleitner, Benjamin Steinberg
The Krohn-Rhodes Theorem and Local Divisors. Fundam. Informaticae 116 (1-4) (2012)
Manfred Kufleitner, Pascal Weil
The FO2 alternation hierarchy is decidable. CSL (2012)
Volker Diekert, Manfred Kufleitner, Klaus Reinhardt, Tobias Walter
Regular Languages are Church-Rosser Congruential CoRR (2012)
Volker Diekert, Manfred Kufleitner, Pascal Weil
Star-free languages are Church-Rosser congruential. Theor. Comput. Sci. 454 (2012)
Manfred Kufleitner, Alexander Lauser
Around dot-Depth One. Int. J. Found. Comput. Sci. 23 (6) (2012)
Franz Jahn, Manfred Kufleitner, Alexander Lauser
Regular Ideal Languages and Their Boolean Combinations. CIAA (2012)
Volker Diekert, Manfred Kufleitner, Klaus Reinhardt, Tobias Walter
Regular Languages Are Church-Rosser Congruential. ICALP (2) (2012)
Manfred Kufleitner, Alexander Lauser
The Join of R-trivial and L-trivial Monoids via Combinatorics on Words CoRR (2012)
Mahmoud Fouz, Manfred Kufleitner, Bodo Manthey, Nima Zeini Jahromi
On Smoothed Analysis of Quicksort and Hoare's Find. Algorithmica 62 (3-4) (2012)
Manfred Kufleitner, Alexander Lauser
The Join Levels of the Trotter-Weil Hierarchy are Decidable CoRR (2012)
Manfred Kufleitner, Pascal Weil
-definable languages Log. Methods Comput. Sci. 8 (3) (2012)
Manfred Kufleitner, Alexander Lauser
The Join of R-trivial and L-trivial Monoids via Combinatorics on Words. Discret. Math. Theor. Comput. Sci. 14 (1) (2012)
Manfred Kufleitner, Alexander Lauser
The Join Levels of the Trotter-Weil Hierarchy Are Decidable. MFCS (2012)
Manfred Kufleitner, Alexander Lauser
Quantifier Alternation in Two-Variable First-Order Logic with Successor Is Decidable CoRR (2012)
Manfred Kufleitner, Pascal Weil
The FO^2 alternation hierarchy is decidable CoRR (2012)
Volker Diekert, Manfred Kufleitner
Bounded Synchronization Delay in Omega-Rational Expressions. CSR (2012)
Manfred Kufleitner, Alexander Lauser
Lattices of Logical Fragments over Words - (Extended Abstract). ICALP (2) (2012)
Manfred Kufleitner, Alexander Lauser
Around Dot-depth One CoRR (2011)
Manfred Kufleitner, Alexander Lauser
Languages of Dot-Depth One over Infinite Words. LICS (2011)
Manfred Kufleitner, Alexander Lauser
Around Dot-Depth One. AFL (2011)
Volker Diekert, Manfred Kufleitner, Benjamin Steinberg
The Krohn-Rhodes Theorem and Local Divisors CoRR (2011)
Jakub Kallas, Manfred Kufleitner, Alexander Lauser
First-order Fragments with Successor over Infinite Words CoRR (2011)
Jakub Kallas, Manfred Kufleitner, Alexander Lauser
First-order Fragments with Successor over Infinite Words. STACS (2011)
Volker Diekert, Manfred Kufleitner, Pascal Weil
Star-Free Languages are Church-Rosser Congruential CoRR (2011)
Manfred Kufleitner, Alexander Lauser
Cantor Topologies for Finite Words CoRR (2011)
Volker Diekert, Manfred Kufleitner
Fragments of First-Order Logic over Infinite Words. Theory Comput. Syst. 48 (3) (2011)
Manfred Kufleitner, Alexander Lauser
Languages of Dot-depth One over Infinite Words CoRR (2011)
Manfred Kufleitner, Alexander Lauser
Partially Ordered Two-Way BüChi Automata. Int. J. Found. Comput. Sci. 22 (8) (2011)
Manfred Kufleitner, Alexander Lauser
Partially Ordered Two-Way Büchi Automata. CIAA (2010)
Luc Dartois, Manfred Kufleitner, Alexander Lauser
Rankers over Infinite Words - (Extended Abstract). Developments in Language Theory (2010)
Luc Dartois, Manfred Kufleitner, Alexander Lauser
Rankers over Infinite Words CoRR (2010)
Manfred Kufleitner, Alexander Lauser
Partially Ordered Two-way Büchi Automata CoRR (2010)
Manfred Kufleitner
On Bijective Variants of the Burrows-Wheeler Transform CoRR (2009)
Manfred Kufleitner, Pascal Weil
On FO2 Quantifier Alternation over Words. MFCS (2009)
Volker Diekert, Manfred Kufleitner
Fragments of first-order logic over infinite words CoRR (2009)
Volker Diekert, Manfred Kufleitner
Fragments of First-Order Logic over Infinite Words. STACS (2009)
Mahmoud Fouz, Manfred Kufleitner, Bodo Manthey, Nima Zeini Jahromi
On Smoothed Analysis of Quicksort and Hoare's Find. COCOON (2009)
Manfred Kufleitner, Pascal Weil
On FO2 quantifier alternation over words CoRR (2009)
Manfred Kufleitner
On Bijective Variants of the Burrows-Wheeler Transform. Stringology (2009)
Mahmoud Fouz, Manfred Kufleitner, Bodo Manthey, Nima Zeini Jahromi
On Smoothed Analysis of Quicksort and Hoare's Find CoRR (2009)
Manfred Kufleitner
The Height of Factorization Forests. MFCS (2008)
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) (2008)
Manfred Kufleitner
A Proof of the Factorization Forest Theorem CoRR (2007)
Volker Diekert, Manfred Kufleitner
On First-Order Fragments for Words and Mazurkiewicz Traces. Developments in Language Theory (2007)
Volker Diekert, Martin Horsch, Manfred Kufleitner
On First-Order Fragments for Mazurkiewicz Traces. Fundam. Informaticae 80 (1-3) (2007)
Manfred Kufleitner
Polynomials, fragments of temporal logic and the variety DA over traces. Theor. Comput. Sci. 376 (1-2) (2007)
Manfred Kufleitner
Polynomials, Fragments of Temporal Logic and the Variety DA over Traces. Developments in Language Theory (2006)
Volker Diekert, Manfred Kufleitner
A Remark about Quadratic Trace Equations. Developments in Language Theory (2002)

Manfred Kufleitner.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Manfred Kufleitner