Manfred Kufleitner
Identifiers
- name variant Manfred Kufleitner 0.60 · backfill
Papers (31)
- Testing Simon's congruence cs.FL · 2018 · author #2
- The Intersection Problem for Finite Monoids cs.FL · 2017 · author #2
- Green's Relations in Finite Transformation Semigroups cs.FL · 2017 · author #2
- Operations on Weakly Recognizing Morphisms cs.FL · 2016 · author #2
- Efficient Algorithms for Morphisms over Omega-Regular Languages cs.FL · 2015 · author #2
- Level Two of the Quantifier Alternation Hierarchy over Infinite Words cs.FL · 2015 · author #1
- The Word Problem for Omega-Terms over the Trotter-Weil Hierarchy cs.FL · 2015 · author #1
- Two-Variable Ehrenfeucht-Fraisse Games over Omega-Terms cs.LO · 2014 · author #1
- Star-free languages and local divisors cs.FL · 2014 · author #1
- One Quantifier Alternation in First-Order Logic with Modular Predicates cs.FL · 2013 · author #1
- Ehrenfeucht-Fraisse Games on Omega-Terms cs.FL · 2013 · author #2
- On the index of Simon's congruence for piecewise testability cs.FL · 2013 · author #2
- Quantifier Alternation in Two-Variable First-Order Logic with Successor Is Decidable cs.LO · 2012 · author #1
- The Join of the Varieties of R-trivial and L-trivial Monoids via Combinatorics on Words cs.FL · 2012 · author #1
- The Join Levels of the Trotter-Weil Hierarchy are Decidable cs.FL · 2012 · author #1
- The FO^2 alternation hierarchy is decidable cs.LO · 2012 · author #1
- Lattices of Logical Fragments over Words cs.FL · 2012 · author #1
- Regular Languages are Church-Rosser Congruential cs.FL · 2012 · author #2
- Star-Free Languages are Church-Rosser Congruential cs.FL · 2011 · author #2
- The Krohn-Rhodes Theorem and Local Divisors math.GR · 2011 · author #2
- Around Dot-depth One cs.FL · 2011 · author #1
- Regular Ideal Languages and Their Boolean Combinations cs.FL · 2011 · author #2
- Languages of Dot-depth One over Infinite Words cs.FL · 2011 · author #1
- First-order Fragments with Successor over Infinite Words cs.FL · 2010 · author #2
- Partially Ordered Two-way B\"uchi Automata cs.FL · 2010 · author #1
- Rankers over Infinite Words cs.FL · 2010 · author #2
- On Bijective Variants of the Burrows-Wheeler Transform cs.DS · 2009 · author #1
- Fragments of first-order logic over infinite words cs.FL · 2009 · author #2
- On Smoothed Analysis of Quicksort and Hoare's Find cs.DS · 2009 · author #2
- On FO2 quantifier alternation over words cs.LO · 2009 · author #1
- On the lattice of sub-pseudovarieties of DA math.GR · 2009 · author #1
Mentions
- 1411.0593 #1 · backfill · confidence 0.70 Manfred Kufleitner
- 1408.2842 #1 · backfill · confidence 0.70 Manfred Kufleitner
- 1310.5043 #1 · backfill · confidence 0.70 Manfred Kufleitner
- 1310.3195 #2 · backfill · confidence 0.70 Manfred Kufleitner
- 1310.1278 #2 · backfill · confidence 0.70 Manfred Kufleitner
- 1212.6500 #1 · backfill · confidence 0.70 Manfred Kufleitner
- 1204.5368 #1 · backfill · confidence 0.70 Manfred Kufleitner
- 1204.4672 #1 · backfill · confidence 0.70 Manfred Kufleitner
- 1203.6152 #1 · backfill · confidence 0.70 Manfred Kufleitner
- 1202.3355 #1 · backfill · confidence 0.70 Manfred Kufleitner
- 1202.1148 #2 · backfill · confidence 0.70 Manfred Kufleitner
- 1111.4300 #2 · backfill · confidence 0.70 Manfred Kufleitner
- 1111.1585 #2 · backfill · confidence 0.70 Manfred Kufleitner
- 1103.1353 #1 · backfill · confidence 0.70 Manfred Kufleitner
- 1102.5013 #2 · backfill · confidence 0.70 Manfred Kufleitner
- 1101.4152 #1 · backfill · confidence 0.70 Manfred Kufleitner
- 1101.0115 #2 · backfill · confidence 0.70 Manfred Kufleitner
- 1006.2719 #1 · backfill · confidence 0.70 Manfred Kufleitner
- 1005.0505 #2 · backfill · confidence 0.70 Manfred Kufleitner
- 0908.0239 #1 · backfill · confidence 0.70 Manfred Kufleitner
- 0906.2995 #2 · backfill · confidence 0.70 Manfred Kufleitner
- 0904.3898 #2 · backfill · confidence 0.70 Manfred Kufleitner
- 0904.2894 #1 · backfill · confidence 0.70 Manfred Kufleitner
- 0904.2893 #1 · backfill · confidence 0.70 Manfred Kufleitner
Frequent Coauthors
- Alexander Lauser 10 shared papers
- Lukas Fleischer 5 shared papers
- Pascal Weil (LaBRI) 4 shared papers
- Volker Diekert 4 shared papers
- Tobias Walter 3 shared papers
- Jan Philipp W\"achter 2 shared papers
- Benjamin Steinberg 1 shared papers
- Bodo Manthey 1 shared papers
- Franz Jahn 1 shared papers
- Jakub Kallas 1 shared papers
- Klaus Reinhardt 1 shared papers
- Luc Dartois 1 shared papers
- Mahmoud Fouz 1 shared papers
- Martin Huschenbett 1 shared papers
- Nima Zeini Jahromi 1 shared papers
- Philippe Schnoebelen 1 shared papers
- Prateek Karandikar 1 shared papers