Günter Hotz

Tobias Gärtner, Günter Hotz: Representation Theorems for Analytic Machines and Computability of Analytic Functions. Theory Comput. Syst. 51(1): 65-84 (2012)

Alexander Gamkrelidze, Günter Hotz, Levan Varamashvili: New Invariants for the Graph Isomorphism Problem. CoRR abs/1212.3055 (2012)

Günter Hotz: Kolmogorov-Complexity Based on Infinite Computations. Efficient Algorithms 2009: 55-73

Tobias Gärtner, Günter Hotz: Computability of Analytic Functions with Analytic Machines. CiE 2009: 250-259

Günter Hotz: Über "Über den Plankalkül" von Konrad Zuse. it - Information Technology 50(1): 74-75 (2008)

Günter Hotz: A remark on nondecidabilities of the initial value problem of ODEs. Electronic Colloquium on Computational Complexity (ECCC)(006) (2004)

Günter Hotz, Steffen Lohse: Planarity Testing of Graphs on Base of a Spring Model. Graph Drawing 2001: 471-472

Tobias Gärtner, Günter Hotz: Recursive analytic functions of a complex variable. Electronic Colloquium on Computational Complexity (ECCC) 8(4) (2001)

Thomas Chadzelek, Günter Hotz: Analytic Machines. Theor. Comput. Sci. 219(1-2): 151-167 (1999)

Günter Hotz, Andreas Kerzmann, Christian Lennerz, Rainer Schmid, Elmar Schömer, Thomas Warken: SiLVIA - A Simulation Library for Virtual Reality Applications. VR 1999: 82

Günter Hotz, Andreas Kerzmann, Christian Lennerz, Rainer Schmid, Elmar Schömer, Thomas Warken: Calculation of contact forces. VRST 1999: 180-181

Günter Hotz, Gisela Pitsch: On Using Semi-Dyck Sets to Analyse Coupled-Context-Free Languages. Fundam. Inform. 29(1-2): 1-26 (1997)

Günter Hotz, Hongzhong Wu: On the Arrangement Complexity of Uniform Trees. Foundations of Computer Science: Potential - Theory - Cognition 1997: 337-350

Christoph Scholl, S. Melchior, Günter Hotz, Paul Molitor: Minimizing ROBDD sizes of incompletely specified Boolean functionsby exploiting strong symmetries. ED&TC 1997: 229-234

Björn Schieffer, Günter Hotz: Diagnosis of Tank Ballast Systems. IDA 1997: 597-608

Günter Hotz, Gisela Pitsch: On Parsing Coupled-Context-Free Languages. Theor. Comput. Sci. 161(1&2): 205-233 (1996)

Günter Hotz, Gisela Pitsch: A New Approach to Analyse Coupled-Context-Free Languages. MFCS 1995: 349-358

Günter Hotz, Gero Vierke, Björn Schieffer: Analytic Machines. Electronic Colloquium on Computational Complexity (ECCC) 2(25) (1995)

Günter Hotz: Zum 25jährigen Jubiläum. Informatik Spektrum 17(4): 208 (1994)

Günter Hotz, Gisela Pitsch: Fast Uniform Analysis of Coupled-Context-Free Languages. ICALP 1994: 412-423

Thomas Burch, Joachim Hartmann, Günter Hotz, M. Krallmann, U. Nikolaus, Sudhakar M. Reddy, Uwe Sparmann: A Hierarchical Environment for Interactive Test Engineering. ITC 1994: 461-470

Günter Hotz: Search Trees and Search Graphs for Markov Sources. Elektronische Informationsverarbeitung und Kybernetik 29(5): 283-292 (1993)

Günter Hotz: Einführung in die Informatik. Leitfäden und Monographien der Informatik, Teubner 1990, isbn 978-3-519-02246-6, pp. 1-545

Bernd Becker, Thomas Burch, Günter Hotz, D. Kiel, Reiner Kolla, Paul Molitor, Hans-Georg Osthof, Gisela Pitsch, Uwe Sparmann: A graphical system for hierarchical specifications and checkups of VLSI circuits. EURO-DAC 1990: 174-179

Günter Hotz, Thomas Kretschmer: The Power of the Greibach Normal Form. Elektronische Informationsverarbeitung und Kybernetik 25(10): 507-512 (1989)

Günter Hotz, Thomas Burch, W. Dorndorf, J. Messerchmidt, M. Ries, T. Schäfer: Anwendungen und Portierungen der Programmiersprache Comskee. Innovative Informations-Infrastrukturen 1988: 170-186

Bernd Becker, Günter Hotz: On the Optimal Layout of Planar Graphs with Fixed Boundary. SIAM J. Comput. 16(5): 946-972 (1987)

Bernd Becker, Günter Hotz, Reiner Kolla, Paul Molitor, Hans-Georg Osthof: Hierarchical Design Based on a Calculus of Nets. DAC 1987: 649-653

Günter Hotz, Bernd Becker, Reiner Kolla, Paul Molitor: Ein logisch-topologischer Kalkül zur Konstruktion integrierter Schaltkreise, Teil I. Inform., Forsch. Entwickl. 1(1): 38-47 (1986)

Günter Hotz, Bernd Becker, Reiner Kolla, Paul Molitor: Ein logisch-topologischer Kalkül zur Konstruktion integrierter Schaltkreise, Teil II. Inform., Forsch. Entwickl. 1(2): 72-82 (1986)

Günter Hotz: A Representation Theorem of Infinite Dimensional Algebras and Applications to Language Theory. J. Comput. Syst. Sci. 33(3): 423-455 (1986)

Günter Hotz, Reiner Kolla, Paul Molitor: On Network Algebras and Recursive Equations. Graph-Grammars and Their Application to Computer Science 1986: 250-261

Günter Hotz: Über die logisch-topologische Entwurfsebene bei der Konstruktion großer integrierter Schaltkreise. GI Jahrestagung (Fachgespräche) 1984: 17-27

Günter Hotz: Outline of an Algebraic Language Theory. MFCS 1984: 64-79

Günter Hotz: k-dimensionale syntaktische Monoide. Elektronische Informationsverarbeitung und Kybernetik 17(8/9): 435-449 (1981)

Günter Hotz: Ein rein automatentheoretischer Aufbau der Theorie der kontext-freien Sprachen. Theoretical Computer Science 1981: 76-77

Günter Hotz: Normal-form transformations of context-free grammars. Acta Cybern. 4: 65-84 (1980)

Günter Hotz: Konrad Zuse: Forschung und Entwicklung. Informatik Spektrum 3(1): 41-47 (1980)

Günter Hotz: Verschränkte Homomorphismen Formaler Sprachen. ITA 14(2): 193-208 (1980)

Günter Hotz: Eine neue Invariante für Kontextfreie Sprachen. Theor. Comput. Sci. 11: 107-116 (1980)

Günter Hotz, Rockford J. Ross: LL(k)- und LR(k)-Invarianz von kontexfreien Grammatiken unter einer Transformation auf Greibach-Normalform. Elektronische Informationsverarbeitung und Kybernetik 15(1/2): 73-86 (1979)

Günter Hotz: Über die Darstellbarkeit des syntaktischen Monoïdes kontextfreier Sprachen. ITA 13(4) (1979)

Günter Hotz: Necessary decidable conditions for the word and equivalence problem of formal languages. FCT 1979: 575-576

Günter Hotz: Space-Komplexität von klammerfreien Ausdrücken mit Typen. Elektronische Informationsverarbeitung und Kybernetik 13(12): 655-657 (1977)

Günter Hotz, Manfred Stadl: Network Complexity. FCT 1977: 405-420

Günter Hotz: Schranken für Balanced Trees bei ausgewogenen Verteilungen. Theor. Comput. Sci. 3(1): 51-59 (1976)

Günter Hotz: Sequentielle Analyse kontextfreier Sprachen. Acta Inf. 4: 55-75 (1974)

Günter Hotz: Strukturelle Verwandtschaften von semi-Thue-Systemen. Category Theory Applied to Computation and Control 1974: 174-179

Günter Hotz: Axiomatisierung bei Programmiersprachen und ihre Grenzen. Programming Methodology 1974: 466-476

Günter Hotz: Komplexitätsmaße für Ausdrücke. ICALP 1974: 398-412

Günter Hotz: Übertragung automatentheoretischer Sätze auf Chomsky-Sprachen. Computing 4(1): 30-42 (1969)

Günter Hotz: Eine Bemerkung zur Zerlegung von Produktionssystemen von Semi-Thue-Systemen. Elektronische Informationsverarbeitung und Kybernetik 4(5): 341-342 (1968)

Günter Hotz: Quasilineare Automaten. Computing 2(2): 139-152 (1967)

Günter Hotz: Eindeutigkeit und Mehrdeutigkeit formaler Sprachen. Elektronische Informationsverarbeitung und Kybernetik 2(4): 235-246 (1966)

Günter Hotz: Eine Algebraisierung des Syntheseproblems von Schaltkreisen I. Elektronische Informationsverarbeitung und Kybernetik 1(3): 185-205 (1965)

Günter Hotz: Eine Algebraisierung des Syntheseproblems von Schaltkreisen II. Elektronische Informationsverarbeitung und Kybernetik 1(4): 209-231 (1965)

Günter Hotz: Digital Filters with Threshold Elements. IFIP Congress 1962: 736-740