| 2019 | UC | Further Properties of Self-assembly by Hairpin Formation. | Henning Bordihn, Victor Mitrana, Andrei Paun, Mihaela Paun |
| 2015 | FM | Foundations of Semantics and Model Checking in a Software Engineering Course. | Henning Bordihn, Anna-Lena Lamprecht, Tiziana Margaria |
| 2010 | DLT | Undecidability and Hierarchy Results for Parallel Communicating Finite Automata. | Henning Bordihn, Martin Kutrib, Andreas Malcher |
| 2009 | LATA | Undecidability of Operation Problems for T0L Languages and Subclasses. | Henning Bordihn, Markus Holzer, Martin Kutrib |
| 2008 | DLT | On the Computational Capacity of Parallel Communicating Finite Automata. | Henning Bordihn, Martin Kutrib, Andreas Malcher |
| 2008 | LATA | Deterministic Input-Reversal and Input-Revolving Finite Automata. | Suna Bensch, Henning Bordihn, Markus Holzer, Martin Kutrib |
| 2008 | LATA | Random Context in Regulated Rewriting VersusCooperating Distributed Grammar Systems. | Henning Bordihn, Markus Holzer |
| 2007 | DLT | Hairpin Finite Automata. | Henning Bordihn, Markus Holzer, Martin Kutrib |
| 2007 | FCT | Top-Down Deterministic Parsing of Languages Generated by CD Grammar Systems. | Henning Bordihn, Gyrgy Vaszil |
| 2007 | LATA | On leftmost derivations in CD grammar systems. | Henning Bordihn, Gyrgy Vaszil |
| 2005 | DLT | Revolving-Input Finite Automata. | Henning Bordihn, Markus Holzer, Martin Kutrib |
| 2004 | DLT | Input Reversals and Iterated Pushdown Automata: A New Characterization of Khabbaz Geometric Hierarchy of Languages. | Henning Bordihn, Markus Holzer, Martin Kutrib |
| 1999 | DLT | Cooperating distributed grammar systems with non-terminating components. | Henning Bordihn, Markus Holzer |
| 1999 | FCT | Grammar Systems as Language Analyzers and Recursively Enumerable Languages. | Henning Bordihn, Jrgen Dassow, Gyrgy Vaszil |
| 1995 | DLT | Accepting Grammars and Systems: An Overview. | Henning Bordihn, Henning Fernau |
| 1993 | DLT | A Note on the Degree of Nondeterminism. | Henning Bordihn, Jrgen Dassow |