Manfred Kufleitner

99 papers A* 2A 5B 6C 8Misc 7Journal 61Unranked 6
YearRankTypeTitle / Venue / Authors
2024 J jnl
The Word Problem for (ω - 1)-Terms over DAb.
CoRR
Jorge Almeida, Manfred Kufleitner, Jan Philipp Wächter
2023 J jnl
Forbidden Patterns for FO
Int. J. Found. Comput. Sci.
Viktor Henriksson, Manfred Kufleitner
2022 B conf
Conelikes and Ranker Comparisons.
LATIN
Viktor Henriksson, Manfred Kufleitner
2022 C conf
Reachability Games and Parity Games.
ICTAC
Volker Diekert, Manfred Kufleitner
2022 J jnl
Reachability Games and Parity Games.
CoRR
Volker Diekert, Manfred Kufleitner
2022 J jnl
Yet another proof of Parikh's Theorem.
CoRR
Manfred Kufleitner
2021 J jnl
Conelikes and Ranker Comparisons.
CoRR
Viktor Henriksson, Manfred Kufleitner
2021 C conf
Deciding FO
DLT
Viktor Henriksson, Manfred Kufleitner
2021 J jnl
Deciding FO2 Alternation for Automata over Finite and Infinite Words.
CoRR
Viktor Henriksson, Manfred Kufleitner
2021 J jnl
The Inclusion Problem for Forest Languages under Substitutions.
CoRR
Marcial Gaißert, Manfred Kufleitner
2020 J jnl
Nesting negations in FO2 over infinite words.
CoRR
Viktor Henriksson, Manfred Kufleitner
2019 J jnl
Green's Relations in Deterministic Finite Automata.
Theory Comput. Syst.
Lukas Fleischer, Manfred Kufleitner
2019 J jnl
The complexity of weakly recognizing morphisms.
RAIRO Theor. Informatics Appl.
Lukas Fleischer, Manfred Kufleitner
2018 J jnl
Level Two of the Quantifier Alternation Hierarchy Over Infinite Words.
Theory Comput. Syst.
Manfred Kufleitner, Tobias Walter
2018 B conf
Testing Simon's congruence.
MFCS
Lukas Fleischer, Manfred Kufleitner
2018 J jnl
Testing Simon's congruence.
CoRR
Lukas Fleischer, Manfred Kufleitner
2018 A conf
The Intersection Problem for Finite Monoids.
STACS
Lukas Fleischer, Manfred Kufleitner
2018 J jnl
The Word Problem for Omega-Terms over the Trotter-Weil Hierarchy.
Theory Comput. Syst.
Manfred Kufleitner, Jan Philipp Wächter
2017 Misc conf
Green's Relations in Finite Transformation Semigroups.
CSR
Lukas Fleischer, Manfred Kufleitner
2017 J jnl
Green's Relations in Finite Transformation Semigroups.
CoRR
Lukas Fleischer, Manfred Kufleitner
2017 J jnl
The Half-Levels of the FO2 Alternation Hierarchy.
Theory Comput. Syst.
Lukas Fleischer, Manfred Kufleitner, Alexander Lauser
2017 J jnl
The Intersection Problem for Finite Monoids.
CoRR
Lukas Fleischer, Manfred Kufleitner
2016 J jnl
A survey on the local divisor technique.
Theor. Comput. Sci.
Volker Diekert, Manfred Kufleitner
2016 — book
Discrete Algebraic Methods - Arithmetic, Cryptography, Automata and Groups.
Volker Diekert, Manfred Kufleitner, Gerhard Rosenberger, Ulrich Hertrampf
2016 Misc conf
Level Two of the Quantifier Alternation Hierarchy over Infinite Words.
CSR
Manfred Kufleitner, Tobias Walter
2016 — conf
Operations on Weakly Recognizing Morphisms.
DCFS
Lukas Fleischer, Manfred Kufleitner
2016 J jnl
Operations on Weakly Recognizing Morphisms.
CoRR
Lukas Fleischer, Manfred Kufleitner
2016 A* conf
Solutions of Word Equations Over Partially Commutative Structures.
ICALP
Volker Diekert, Artur Jez, Manfred Kufleitner
2016 J jnl
Solutions of Word Equations over Partially Commutative Structures.
CoRR
Volker Diekert, Artur Jez, Manfred Kufleitner
2016 Misc conf
The Word Problem for Omega-Terms over the Trotter-Weil Hierarchy - (Extended Abstract).
CSR
Manfred Kufleitner, Jan Philipp Wächter
2015 — conf
Efficient Algorithms for Morphisms over Omega-Regular Languages.
FSTTCS
Lukas Fleischer, Manfred Kufleitner
2015 J jnl
Efficient Algorithms for Morphisms over Omega-Regular Languages.
CoRR
Lukas Fleischer, Manfred Kufleitner
2015 J jnl
Level Two of the Quantifier Alternation Hierarchy over Infinite Words.
CoRR
Manfred Kufleitner, Tobias Walter
2015 J jnl
Omega-Rational Expressions with Bounded Synchronization Delay.
Theory Comput. Syst.
Volker Diekert, Manfred Kufleitner
2015 J jnl
On the index of Simon's congruence for piecewise testability.
Inf. Process. Lett.
Prateek Karandikar, Manfred Kufleitner, Philippe Schnoebelen
2015 J jnl
One quantifier alternation in first-order logic with modular predicates.
RAIRO Theor. Informatics Appl.
Manfred Kufleitner, Tobias Walter
2015 J jnl
Regular Languages Are Church-Rosser Congruential.
J. ACM
Volker Diekert, Manfred Kufleitner, Klaus Reinhardt, Tobias Walter
2015 J jnl
The Word Problem for Omega-Terms over the Trotter-Weil Hierarchy.
CoRR
Manfred Kufleitner, Jan Philipp Wächter
2014 J jnl
A Survey on the Local Divisor Technique.
CoRR
Volker Diekert, Manfred Kufleitner
2014 Misc conf
Block Products and Nesting Negations in FO2.
CSR
Lukas Fleischer, Manfred Kufleitner, Alexander Lauser
2014 A conf
Ehrenfeucht-Fraïssé Games on Omega-Terms.
STACS
Martin Huschenbett, Manfred Kufleitner
2014 — conf
Star-Free Languages and Local Divisors.
DCFS
Manfred Kufleitner
2014 J jnl
Star-free languages and local divisors.
CoRR
Manfred Kufleitner
2014 J jnl
Two-Variable Ehrenfeucht-Fraisse Games over Omega-Terms.
CoRR
Manfred Kufleitner, Jan Philipp Wächter
2013 — book
Diskrete algebraische Methoden - Arithmetik, Kryptographie, Automaten und Gruppen.
Volker Diekert, Manfred Kufleitner, Gerhard Rosenberger
2013 J jnl
Ehrenfeucht-Fraisse Games on Omega-Terms.
CoRR
Martin Huschenbett, Manfred Kufleitner
2013 — book
Elemente der diskreten Mathematik - Zahlen und Zählen, Graphen und Verbände.
Volker Diekert, Manfred Kufleitner, Gerhard Rosenberger
2013 J jnl
One Quantifier Alternation in First-Order Logic with Modular Predicates.
CoRR
Manfred Kufleitner, Tobias Walter
2013 A conf
Quantifier Alternation in Two-Variable First-Order Logic with Successor Is Decidable.
STACS
Manfred Kufleitner, Alexander Lauser
2012 J jnl
Around dot-Depth One.
Int. J. Found. Comput. Sci.
Manfred Kufleitner, Alexander Lauser
2012 Misc conf
Bounded Synchronization Delay in Omega-Rational Expressions.
CSR
Volker Diekert, Manfred Kufleitner
2012 J jnl
Lattices of Logical Fragments over Words
CoRR
Manfred Kufleitner, Alexander Lauser
2012 — conf
Lattices of Logical Fragments over Words - (Extended Abstract).
ICALP (2)
Manfred Kufleitner, Alexander Lauser
2012 J jnl
On Smoothed Analysis of Quicksort and Hoare's Find.
Algorithmica
Mahmoud Fouz, Manfred Kufleitner, Bodo Manthey, Nima Zeini Jahromi
2012 J jnl
On logical hierarchies within FO
Log. Methods Comput. Sci.
Manfred Kufleitner, Pascal Weil
2012 J jnl
Quantifier Alternation in Two-Variable First-Order Logic with Successor Is Decidable
CoRR
Manfred Kufleitner, Alexander Lauser
2012 C conf
Regular Ideal Languages and Their Boolean Combinations.
CIAA
Franz Jahn, Manfred Kufleitner, Alexander Lauser
2012 — conf
Regular Languages Are Church-Rosser Congruential.
ICALP (2)
Volker Diekert, Manfred Kufleitner, Klaus Reinhardt, Tobias Walter
2012 J jnl
Regular Languages are Church-Rosser Congruential
CoRR
Volker Diekert, Manfred Kufleitner, Klaus Reinhardt, Tobias Walter
2012 J jnl
Star-free languages are Church-Rosser congruential.
Theor. Comput. Sci.
Volker Diekert, Manfred Kufleitner, Pascal Weil
2012 B conf
The FO2 alternation hierarchy is decidable.
CSL
Manfred Kufleitner, Pascal Weil
2012 J jnl
The FO^2 alternation hierarchy is decidable
CoRR
Manfred Kufleitner, Pascal Weil
2012 B conf
The Join Levels of the Trotter-Weil Hierarchy Are Decidable.
MFCS
Manfred Kufleitner, Alexander Lauser
2012 J jnl
The Join Levels of the Trotter-Weil Hierarchy are Decidable
CoRR
Manfred Kufleitner, Alexander Lauser
2012 J jnl
The Join of R-trivial and L-trivial Monoids via Combinatorics on Words
CoRR
Manfred Kufleitner, Alexander Lauser
2012 J jnl
The Join of R-trivial and L-trivial Monoids via Combinatorics on Words.
Discret. Math. Theor. Comput. Sci.
Manfred Kufleitner, Alexander Lauser
2012 J jnl
The Krohn-Rhodes Theorem and Local Divisors.
Fundam. Informaticae
Volker Diekert, Manfred Kufleitner, Benjamin Steinberg
2011 — conf
Around Dot-Depth One.
AFL
Manfred Kufleitner, Alexander Lauser
2011 J jnl
Around Dot-depth One
CoRR
Manfred Kufleitner, Alexander Lauser
2011 J jnl
Cantor Topologies for Finite Words
CoRR
Manfred Kufleitner, Alexander Lauser
2011 J jnl
First-order Fragments with Successor over Infinite Words
CoRR
Jakub Kallas, Manfred Kufleitner, Alexander Lauser
2011 A conf
First-order Fragments with Successor over Infinite Words.
STACS
Jakub Kallas, Manfred Kufleitner, Alexander Lauser
2011 J jnl
Fragments of First-Order Logic over Infinite Words.
Theory Comput. Syst.
Volker Diekert, Manfred Kufleitner
2011 A* conf
Languages of Dot-Depth One over Infinite Words.
LICS
Manfred Kufleitner, Alexander Lauser
2011 J jnl
Languages of Dot-depth One over Infinite Words
CoRR
Manfred Kufleitner, Alexander Lauser
2011 J jnl
Partially Ordered Two-Way BüChi Automata.
Int. J. Found. Comput. Sci.
Manfred Kufleitner, Alexander Lauser
2011 J jnl
Star-Free Languages are Church-Rosser Congruential
CoRR
Volker Diekert, Manfred Kufleitner, Pascal Weil
2011 J jnl
The Krohn-Rhodes Theorem and Local Divisors
CoRR
Volker Diekert, Manfred Kufleitner, Benjamin Steinberg
2010 C conf
Partially Ordered Two-Way Büchi Automata.
CIAA
Manfred Kufleitner, Alexander Lauser
2010 J jnl
Partially Ordered Two-way Büchi Automata
CoRR
Manfred Kufleitner, Alexander Lauser
2010 J jnl
Rankers over Infinite Words
CoRR
Luc Dartois, Manfred Kufleitner, Alexander Lauser
2010 C conf
Rankers over Infinite Words - (Extended Abstract).
Developments in Language Theory
Luc Dartois, Manfred Kufleitner, Alexander Lauser
2009 A conf
Fragments of First-Order Logic over Infinite Words.
STACS
Volker Diekert, Manfred Kufleitner
2009 J jnl
Fragments of first-order logic over infinite words
CoRR
Volker Diekert, Manfred Kufleitner
2009 J jnl
On Bijective Variants of the Burrows-Wheeler Transform
CoRR
Manfred Kufleitner
2009 Misc conf
On Bijective Variants of the Burrows-Wheeler Transform.
PSC
Manfred Kufleitner
2009 B conf
On FO2 Quantifier Alternation over Words.
MFCS
Manfred Kufleitner, Pascal Weil
2009 J jnl
On FO2 quantifier alternation over words
CoRR
Manfred Kufleitner, Pascal Weil
2009 J jnl
On Smoothed Analysis of Quicksort and Hoare's Find
CoRR
Mahmoud Fouz, Manfred Kufleitner, Bodo Manthey, Nima Zeini Jahromi
2009 Misc conf
On Smoothed Analysis of Quicksort and Hoare's Find.
COCOON
Mahmoud Fouz, Manfred Kufleitner, Bodo Manthey, Nima Zeini Jahromi
2008 J jnl
A Survey on Small Fragments of First-Order Logic over Finite Words.
Int. J. Found. Comput. Sci.
Volker Diekert, Paul Gastin, Manfred Kufleitner
2008 B conf
The Height of Factorization Forests.
MFCS
Manfred Kufleitner
2007 J jnl
A Proof of the Factorization Forest Theorem
CoRR
Manfred Kufleitner
2007 J jnl
On First-Order Fragments for Mazurkiewicz Traces.
Fundam. Informaticae
Volker Diekert, Martin Horsch, Manfred Kufleitner
2007 C conf
On First-Order Fragments for Words and Mazurkiewicz Traces.
Developments in Language Theory
Volker Diekert, Manfred Kufleitner
2007 J jnl
Polynomials, fragments of temporal logic and the variety DA over traces.
Theor. Comput. Sci.
Manfred Kufleitner
2006 — —
Logical fragments for Mazurkiewicz traces: expressive power and algebraic characterizations.
Manfred Kufleitner
2006 C conf
Polynomials, Fragments of Temporal Logic and the Variety DA over Traces.
Developments in Language Theory
Manfred Kufleitner
2002 C conf
A Remark about Quadratic Trace Equations.
Developments in Language Theory
Volker Diekert, Manfred Kufleitner