Manfred Kufleitner

99 papers A* 2A 5B 6C 8Misc 7Journal 61Unranked 6

Year	Rank	Type	Title / 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