| 2009 | CiE | Computability of Analytic Functions with Analytic Machines. | Tobias Grtner, Gnter Hotz |
| 2001 | GD | Planarity Testing of Graphs on Base of a Spring Model. | Gnter Hotz, Steffen Lohse |
| 1999 | VR | SiLVIA - A Simulation Library for Virtual Reality Applications. | Gnter Hotz, Andreas Kerzmann, Christian Lennerz, Rainer Schmid, Elmar Schmer, Thomas Warken |
| 1999 | VRST | Calculation of contact forces. | Gnter Hotz, Andreas Kerzmann, Christian Lennerz, Rainer Schmid, Elmar Schmer, Thomas Warken |
| 1997 | DATE | Minimizing ROBDD sizes of incompletely specified Boolean functionsby exploiting strong symmetries. | Christoph Scholl, S. Melchior, Gnter Hotz, Paul Molitor |
| 1997 | IDA | Diagnosis of Tank Ballast Systems. | Bjrn Schieffer, Gnter Hotz |
| 1995 | MFCS | A New Approach to Analyse Coupled-Context-Free Languages. | Gnter Hotz, Gisela Pitsch |
| 1994 | ICALP | Fast Uniform Analysis of Coupled-Context-Free Languages. | Gnter Hotz, Gisela Pitsch |
| 1994 | ITC | A Hierarchical Environment for Interactive Test Engineering. | Thomas Burch, Joachim Hartmann, Gnter Hotz, M. Krallmann, U. Nikolaus, Sudhakar M. Reddy, Uwe Sparmann |
| 1987 | DAC | Hierarchical Design Based on a Calculus of Nets. | Bernd Becker, Gnter Hotz, Reiner Kolla, Paul Molitor, Hans-Georg Osthof |
| 1984 | GI | ber die logisch-topologische Entwurfsebene bei der Konstruktion groer integrierter Schaltkreise. | Gnter Hotz |
| 1984 | MFCS | Outline of an Algebraic Language Theory. | Gnter Hotz |
| 1979 | FCT | Necessary decidable conditions for the word and equivalence problem of formal languages. | Gnter Hotz |
| 1977 | FCT | Network Complexity. | Gnter Hotz, Manfred Stadl |
| 1974 | ICALP | Komplexittsmae fr Ausdrcke. | Gnter Hotz |