Günter Hotz

Publication Activity (10 Years)

Years Active: 1962-2012
Publications (10 Years): 0

Top Topics

Graph Isomorphism

Top Venues

Theory Comput. Syst.

Publications

Tobias Gärtner, Günter Hotz
Representation Theorems for Analytic Machines and Computability of Analytic Functions. Theory Comput. Syst. 51 (1) (2012)
Alexander Gamkrelidze, Günter Hotz, Levan Varamashvili
New Invariants for the Graph Isomorphism Problem CoRR (2012)
Günter Hotz
Kolmogorov-Complexity Based on Infinite Computations. Efficient Algorithms (2009)
Tobias Gärtner, Günter Hotz
Computability of Analytic Functions with Analytic Machines. CiE (2009)
Günter Hotz
Über "Über den Plankalkül" von Konrad Zuse. it Inf. Technol. 50 (1) (2008)
Günter Hotz
A remark on nondecidabilities of the initial value problem of ODEs Electron. Colloquium Comput. Complex. (006) (2004)
Günter Hotz, Steffen Lohse
Planarity Testing of Graphs on Base of a Spring Model. Graph Drawing (2001)
Tobias Gärtner, Günter Hotz
Recursive analytic functions of a complex variable Electron. Colloquium Comput. Complex. 8 (4) (2001)
Günter Hotz, Andreas Kerzmann, Christian Lennerz, Rainer Schmid, Elmar Schömer, Thomas Warken
SiLVIA - A Simulation Library for Virtual Reality Applications. VR (1999)
Günter Hotz, Andreas Kerzmann, Christian Lennerz, Rainer Schmid, Elmar Schömer, Thomas Warken
Calculation of contact forces. VRST (1999)
Thomas Chadzelek, Günter Hotz
Analytic Machines. Theor. Comput. Sci. 219 (1-2) (1999)
Björn Schieffer, Günter Hotz
Diagnosis of Tank Ballast Systems. IDA (1997)
Günter Hotz, Gisela Pitsch
On Using Semi-Dyck Sets to Analyse Coupled-Context-Free Languages. Fundam. Informaticae 29 (1-2) (1997)
Günter Hotz, Hongzhong Wu
On the Arrangement Complexity of Uniform Trees. Foundations of Computer Science: Potential - Theory - Cognition (1997)
Christoph Scholl, S. Melchior, Günter Hotz, Paul Molitor
Minimizing ROBDD sizes of incompletely specified Boolean functionsby exploiting strong symmetries. ED&TC (1997)
Günter Hotz, Gisela Pitsch
On Parsing Coupled-Context-Free Languages. Theor. Comput. Sci. 161 (1&2) (1996)
Günter Hotz, Gero Vierke, Björn Schieffer
Analytic Machines Electron. Colloquium Comput. Complex. 2 (25) (1995)
Günter Hotz, Gisela Pitsch
A New Approach to Analyse Coupled-Context-Free Languages. MFCS (1995)
Günter Hotz, Gisela Pitsch
Fast Uniform Analysis of Coupled-Context-Free Languages. ICALP (1994)
Günter Hotz
Zum 25jährigen Jubiläum. Inform. Spektrum 17 (4) (1994)
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)
Günter Hotz
Search Trees and Search Graphs for Markov Sources. J. Inf. Process. Cybern. 29 (5) (1993)
Yonggang Guan, Günter Hotz
TAGs by interpreting Context Free Tree Languages. TAG+ (1990)
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)
Günter Hotz, Thomas Kretschmer
The Power of the Greibach Normal Form. J. Inf. Process. Cybern. 25 (10) (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)
Bernd Becker, Günter Hotz, Reiner Kolla, Paul Molitor, Hans-Georg Osthof
Hierarchical Design Based on a Calculus of Nets. DAC (1987)
Bernd Becker, Günter Hotz
On the Optimal Layout of Planar Graphs with Fixed Boundary. SIAM J. Comput. 16 (5) (1987)
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) (1986)
Günter Hotz, Reiner Kolla, Paul Molitor
On Network Algebras and Recursive Equations. Graph-Grammars and Their Application to Computer Science (1986)
Günter Hotz
A Representation Theorem of Infinite Dimensional Algebras and Applications to Language Theory. J. Comput. Syst. Sci. 33 (3) (1986)
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) (1986)
Günter Hotz
Outline of an Algebraic Language Theory. MFCS (1984)
Günter Hotz
Über die logisch-topologische Entwurfsebene bei der Konstruktion großer integrierter Schaltkreise. GI Jahrestagung (Fachgespräche) (1984)
Günter Hotz
k-dimensionale syntaktische Monoide. J. Inf. Process. Cybern. 17 (8/9) (1981)
Günter Hotz
Ein rein automatentheoretischer Aufbau der Theorie der kontext-freien Sprachen. Theoretical Computer Science (1981)
Günter Hotz
Eine neue Invariante für Kontextfreie Sprachen. Theor. Comput. Sci. 11 (1980)
Günter Hotz
Konrad Zuse: Forschung und Entwicklung. Inform. Spektrum 3 (1) (1980)
Günter Hotz
Verschränkte Homomorphismen Formaler Sprachen. RAIRO Theor. Informatics Appl. 14 (2) (1980)
Günter Hotz
Necessary decidable conditions for the word and equivalence problem of formal languages. FCT (1979)
Günter Hotz, Rockford J. Ross
LL(k)- und LR(k)-Invarianz von kontexfreien Grammatiken unter einer Transformation auf Greibach-Normalform. J. Inf. Process. Cybern. 15 (1/2) (1979)
Günter Hotz
Über die Darstellbarkeit des syntaktischen Monoïdes kontextfreier Sprachen. RAIRO Theor. Informatics Appl. 13 (4) (1979)
Günter Hotz
Normal-form transformations of context-free grammars. Acta Cybern. 4 (1) (1978)
Günter Hotz, Manfred Stadl
Network Complexity. FCT (1977)
Günter Hotz
Space-Komplexität von klammerfreien Ausdrücken mit Typen. J. Inf. Process. Cybern. 13 (12) (1977)
Günter Hotz
Schranken für Balanced Trees bei ausgewogenen Verteilungen. Theor. Comput. Sci. 3 (1) (1976)
Günter Hotz
Komplexitätsmaße für Ausdrücke. ICALP (1974)
Günter Hotz
Axiomatisierung bei Programmiersprachen und ihre Grenzen. Programming Methodology (1974)
Günter Hotz
Strukturelle Verwandtschaften von semi-Thue-Systemen. Category Theory Applied to Computation and Control (1974)
Günter Hotz
Sequentielle Analyse kontextfreier Sprachen. Acta Informatica 4 (1974)
Günter Hotz
Übertragung automatentheoretischer Sätze auf Chomsky-Sprachen. Computing 4 (1) (1969)
Günter Hotz
Eine Bemerkung zur Zerlegung von Produktionssystemen von Semi-Thue-Systemen. J. Inf. Process. Cybern. 4 (5) (1968)
Günter Hotz
Quasilineare Automaten. Computing 2 (2) (1967)
Günter Hotz
Eindeutigkeit und Mehrdeutigkeit formaler Sprachen. J. Inf. Process. Cybern. 2 (4) (1966)
Günter Hotz
Eine Algebraisierung des Syntheseproblems von Schaltkreisen II. J. Inf. Process. Cybern. 1 (4) (1965)
Günter Hotz
Eine Algebraisierung des Syntheseproblems von Schaltkreisen I. J. Inf. Process. Cybern. 1 (3) (1965)
Günter Hotz
Digital Filters with Threshold Elements. IFIP Congress (1962)