| 2016 | DLT | Weighted Symbolic Automata with Data Storage. | Luisa Herrmann, Heiko Vogler |
| 2016 | LATA | A Weighted MSO Logic with Storage Behaviour and Its Bchi-Elgot-Trakhtenbrot Theorem. | Heiko Vogler, Manfred Droste, Luisa Herrmann |
| 2014 | COLING | Hybrid Grammars for Discontinuous Parsing. | Mark-Jan Nederhof, Heiko Vogler |
| 2013 | ACL | General binarization for parsing and translation. | Matthias Bchse, Alexander Koller, Heiko Vogler |
| 2013 | DLT | The Chomsky-Schtzenberger Theorem for Quantitative Context-Free Languages. | Manfred Droste, Heiko Vogler |
| 2012 | DLT | Unidirectional Derivation Semantics for Synchronous Tree-Adjoining Grammars. | Matthias Bchse, Andreas Maletti, Heiko Vogler |
| 2010 | ACL | n-Best Parsing Revisited. | Matthias Bchse, Daniel Geisler, Torsten Stber, Heiko Vogler |
| 2010 | ACL | A Decoder for Probabilistic Synchronous Tree Insertion Grammars. | Steve DeNeefe, Kevin Knight, Heiko Vogler |
| 2010 | ACL | Preservation of Recognizability for Synchronous Tree Substitution Grammars. | Zoltn Flp, Andreas Maletti, Heiko Vogler |
| 2010 | ACL | Efficient Inference through Cascades of Weighted Tree Transducers. | Jonathan May, Kevin Knight, Heiko Vogler |
| 2010 | DLT | Kleene and Bchi Theorems for Weighted Automata and Multi-valued Logics over Arbitrary Bounded Lattices. | Manfred Droste, Heiko Vogler |
| 1997 | GI | Benefits of Hypergraphs for Program Transformation. | Andrea Mle, Heiko Vogler |
| 1986 | MFCS | The OI-Hierarchy is Closed under Control. | Heiko Vogler |
| 1985 | FCT | Iterated linear control and iterated one-turn pushdowns. | Heiko Vogler |
| 1985 | ICALP | Characterization of High Level Tree Transducers. | Joost Engelfriet, Heiko Vogler |