| 2022 | ICTAC | Reachability Games and Parity Games. | Volker Diekert, Manfred Kufleitner |
| 2022 | LATIN | Conelikes and Ranker Comparisons. | Viktor Henriksson, Manfred Kufleitner |
| 2021 | DLT | Deciding FO | Viktor Henriksson, Manfred Kufleitner |
| 2018 | MFCS | Testing Simon's congruence. | Lukas Fleischer, Manfred Kufleitner |
| 2018 | STACS | The Intersection Problem for Finite Monoids. | Lukas Fleischer, Manfred Kufleitner |
| 2017 | CSR | Green's Relations in Finite Transformation Semigroups. | Lukas Fleischer, Manfred Kufleitner |
| 2016 | CSR | Level Two of the Quantifier Alternation Hierarchy over Infinite Words. | Manfred Kufleitner, Tobias Walter |
| 2016 | CSR | The Word Problem for Omega-Terms over the Trotter-Weil Hierarchy - (Extended Abstract). | Manfred Kufleitner, Jan Philipp Wchter |
| 2016 | ICALP | Solutions of Word Equations Over Partially Commutative Structures. | Volker Diekert, Artur Jez, Manfred Kufleitner |
| 2014 | CSR | Block Products and Nesting Negations in FO2. | Lukas Fleischer, Manfred Kufleitner, Alexander Lauser |
| 2014 | STACS | Ehrenfeucht-Frass Games on Omega-Terms. | Martin Huschenbett, Manfred Kufleitner |
| 2013 | STACS | Quantifier Alternation in Two-Variable First-Order Logic with Successor Is Decidable. | Manfred Kufleitner, Alexander Lauser |
| 2012 | CSL | The FO2 alternation hierarchy is decidable. | Manfred Kufleitner, Pascal Weil |
| 2012 | CSR | Bounded Synchronization Delay in Omega-Rational Expressions. | Volker Diekert, Manfred Kufleitner |
| 2012 | ICALP | Regular Languages Are Church-Rosser Congruential. | Volker Diekert, Manfred Kufleitner, Klaus Reinhardt, Tobias Walter |
| 2012 | ICALP | Lattices of Logical Fragments over Words - (Extended Abstract). | Manfred Kufleitner, Alexander Lauser |
| 2012 | MFCS | The Join Levels of the Trotter-Weil Hierarchy Are Decidable. | Manfred Kufleitner, Alexander Lauser |
| 2011 | LICS | Languages of Dot-Depth One over Infinite Words. | Manfred Kufleitner, Alexander Lauser |
| 2011 | STACS | First-order Fragments with Successor over Infinite Words. | Jakub Kallas, Manfred Kufleitner, Alexander Lauser |
| 2010 | DLT | Rankers over Infinite Words - (Extended Abstract). | Luc Dartois, Manfred Kufleitner, Alexander Lauser |
| 2009 | COCOON | On Smoothed Analysis of Quicksort and Hoare's Find. | Mahmoud Fouz, Manfred Kufleitner, Bodo Manthey, Nima Zeini Jahromi |
| 2009 | MFCS | On FO2 Quantifier Alternation over Words. | Manfred Kufleitner, Pascal Weil |
| 2009 | STACS | Fragments of First-Order Logic over Infinite Words. | Volker Diekert, Manfred Kufleitner |
| 2008 | MFCS | The Height of Factorization Forests. | Manfred Kufleitner |
| 2007 | DLT | On First-Order Fragments for Words and Mazurkiewicz Traces. | Volker Diekert, Manfred Kufleitner |
| 2006 | DLT | Polynomials, Fragments of Temporal Logic and the Variety DA over Traces. | Manfred Kufleitner |
| 2002 | DLT | A Remark about Quadratic Trace Equations. | Volker Diekert, Manfred Kufleitner |