| 2018 | DLT | Computational Complexity of Decision Problems on Self-verifying Finite Automata. | Markus Holzer, Sebastian Jakobi, Jozef Jirsek Jr. |
| 2015 | DLT | Minimal Reversible Deterministic Finite Automata. | Markus Holzer, Sebastian Jakobi, Martin Kutrib |
| 2015 | MCU | Tight Bounds for Cut-Operations on Deterministic Finite Automata. | Frank Drewes, Markus Holzer, Sebastian Jakobi, Brink van der Merwe |
| 2015 | RC | A Hierarchy of Fast Reversible Turing Machines. | Holger Bock Axelsen, Sebastian Jakobi, Martin Kutrib, Andreas Malcher |
| 2014 | DLT | Minimal and Hyper-Minimal Biautomata - (Extended Abstract). | Markus Holzer, Sebastian Jakobi |
| 2012 | DLT | From Equivalence to Almost-Equivalence, and Beyond - Minimizing Automata with Errors - (Extended Abstract). | Markus Holzer, Sebastian Jakobi |
| 2012 | DLT | Generalized Derivations with Synchronized Context-Free Grammars. | Markus Holzer, Sebastian Jakobi, Ian McQuillan |
| 2012 | FUN | On the Complexity of Rolling Block and Alice Mazes. | Markus Holzer, Sebastian Jakobi |
| 2012 | FUN | Grid Graphs with Diagonal Edges and the Complexity of Xmas Mazes. | Markus Holzer, Sebastian Jakobi |
| 2011 | DLT | Chop Operations and Expressions: Descriptional Complexity Considerations. | Markus Holzer, Sebastian Jakobi |