| 2023 | RV | Runtime Monitoring DNN-Based Perception - (via the Lens of Formal Methods). | Chih-Hong Cheng, Michael Luttenberger, Rongjie Yan |
| 2020 | DLT | Equivalence of Linear Tree Transducers with Output in the Free Group. | Raphaela Lbel, Michael Luttenberger, Helmut Seidl |
| 2020 | DLT | On the Balancedness of Tree-to-Word Transducers. | Raphaela Lbel, Michael Luttenberger, Helmut Seidl |
| 2018 | CAV | Strix: Explicit Reactive Synthesis Strikes Back! | Philipp J. Meyer, Salomon Sickert, Michael Luttenberger |
| 2018 | STACS | Computing the Longest Common Prefix of a Context-free Language in Polynomial Time. | Michael Luttenberger, Raphaela Palenta, Helmut Seidl |
| 2016 | ATVA | Solving Mean-Payoff Games on the GPU. | Philipp J. Meyer, Michael Luttenberger |
| 2015 | LATA | Finite Automata for the Sub- and Superword Closure of CFLs: Descriptional and Computational Complexity. | Georg Bachmeier, Michael Luttenberger, Maximilian Schlund |
| 2014 | EACL | Fast and Accurate Unlexicalized Parsing via Structural Annotations. | Maximilian Schlund, Michael Luttenberger, Javier Esparza |
| 2014 | LATA | A Brief History of Strahler Numbers. | Javier Esparza, Michael Luttenberger, Maximilian Schlund |
| 2013 | ATVA | Solving Parity Games on the GPU. | Philipp Hoffmann, Michael Luttenberger |
| 2013 | LATA | Convergence of Newton's Method over Commutative Semirings. | Michael Luttenberger, Maximilian Schlund |
| 2013 | LPAR | Putting Newton into Practice: A Solver for Polynomial Equations over Semirings. | Maximilian Schlund, Michal Terepeta, Michael Luttenberger |
| 2011 | CALCO | Solving Fixed-Point Equations by Derivation Tree Analysis. | Javier Esparza, Michael Luttenberger |
| 2011 | TACAS | GAVS+: An Open Platform for the Research of Algorithmic Game Solving. | Chih-Hong Cheng, Alois C. Knoll, Michael Luttenberger, Christian Buckl |
| 2010 | ATVA | GAVS: Game Arena Visualization and Synthesis. | Chih-Hong Cheng, Christian Buckl, Michael Luttenberger, Alois C. Knoll |
| 2010 | ICALP | Space-Efficient Scheduling of Stochastically Generated Tasks. | Toms Brzdil, Javier Esparza, Stefan Kiefer, Michael Luttenberger |
| 2008 | DLT | Derivation Tree Analysis for Accelerated Fixed-Point Computation. | Javier Esparza, Stefan Kiefer, Michael Luttenberger |
| 2008 | ICALP | Newton's Method for omega-Continuous Semirings. | Javier Esparza, Stefan Kiefer, Michael Luttenberger |
| 2008 | STACS | Convergence Thresholds of Newton's Method for Monotone Polynomial Equations. | Javier Esparza, Stefan Kiefer, Michael Luttenberger |
| 2007 | DLT | An Extension of Newton's Method to | Javier Esparza, Stefan Kiefer, Michael Luttenberger |
| 2007 | STOC | On the convergence of Newton's method for monotone systems of polynomial equations. | Stefan Kiefer, Michael Luttenberger, Javier Esparza |
| 2007 | STACS | On Fixed Point Equations over Commutative Semirings. | Javier Esparza, Stefan Kiefer, Michael Luttenberger |