Günter Hotz

Affiliations:

Saarland University, Saarbrücken, Germany

According to our database¹, Günter Hotz authored at least 58 papers between 1962 and 2012.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2012

Representation Theorems for Analytic Machines and Computability of Analytic Functions.

[BibT_eX]

[DOI]

Tobias Gärtner

Günter Hotz

Theory Comput. Syst., 2012

New Invariants for the Graph Isomorphism Problem

[BibT_eX]

[DOI]

Alexander Gamkrelidze

Günter Hotz

Levan Varamashvili

CoRR, 2012

2009

Computability of Analytic Functions with Analytic Machines.

[BibT_eX]

[DOI]

Tobias Gärtner

Günter Hotz

Proceedings of the Mathematical Theory and Computational Practice, 2009

Kolmogorov-Complexity Based on Infinite Computations.

[BibT_eX]

[DOI]

Günter Hotz

Proceedings of the Efficient Algorithms, 2009

2008

Über "Über den Plankalkül" von Konrad Zuse.

[BibT_eX]

[DOI]

Günter Hotz

it Inf. Technol., 2008

2004

A remark on nondecidabilities of the initial value problem of ODEs

[BibT_eX]

[DOI]

Günter Hotz

Electron. Colloquium Comput. Complex., 2004

2001

Recursive analytic functions of a complex variable

[BibT_eX]

[DOI]

Tobias Gärtner

Günter Hotz

Electron. Colloquium Comput. Complex., 2001

Planarity Testing of Graphs on Base of a Spring Model.

[BibT_eX]

[DOI]

Günter Hotz

Steffen Lohse

Proceedings of the Graph Drawing, 9th International Symposium, 2001

1999

Analytic Machines.

[BibT_eX]

[DOI]

Thomas Chadzelek

Günter Hotz

Theor. Comput. Sci., 1999

Calculation of contact forces.

[BibT_eX]

[DOI]

Proceedings of the ACM Symposium on Virtual Reality Software and Technology, 1999

SiLVIA - A Simulation Library for Virtual Reality Applications.

[BibT_eX]

[DOI]

Proceedings of the IEEE Virtual Reality 1999 Conference, 1999

1997

On Using Semi-Dyck Sets to Analyse Coupled-Context-Free Languages.

[BibT_eX]

[DOI]

Günter Hotz

Gisela Pitsch

Fundam. Informaticae, 1997

Diagnosis of Tank Ballast Systems.

[BibT_eX]

[DOI]

Björn Schieffer

Günter Hotz

Proceedings of the Advances in Intelligent Data Analysis, 1997

Minimizing ROBDD sizes of incompletely specified Boolean functionsby exploiting strong symmetries.

[BibT_eX]

[DOI]

Proceedings of the European Design and Test Conference, 1997

On the Arrangement Complexity of Uniform Trees.

[BibT_eX]

[DOI]

Günter Hotz

Hongzhong Wu

Proceedings of the Foundations of Computer Science: Potential - Theory, 1997

1996

On Parsing Coupled-Context-Free Languages.

[BibT_eX]

[DOI]

Günter Hotz

Gisela Pitsch

Theor. Comput. Sci., 1996

1995

Analytic Machines

[BibT_eX]

[DOI]

Günter Hotz

Gero Vierke

Björn Schieffer

Electron. Colloquium Comput. Complex., 1995

A New Approach to Analyse Coupled-Context-Free Languages.

[BibT_eX]

[DOI]

Günter Hotz

Gisela Pitsch

Proceedings of the Mathematical Foundations of Computer Science 1995, 1995

1994

Zum 25jährigen Jubiläum.

[BibT_eX]

Günter Hotz

Inform. Spektrum, 1994

A Hierarchical Environment for Interactive Test Engineering.

[BibT_eX]

[DOI]

Proceedings of the Proceedings IEEE International Test Conference 1994, 1994

Fast Uniform Analysis of Coupled-Context-Free Languages.

[BibT_eX]

[DOI]

Günter Hotz

Gisela Pitsch

Proceedings of the Automata, Languages and Programming, 21st International Colloquium, 1994

1993

Search Trees and Search Graphs for Markov Sources.

[BibT_eX]

Günter Hotz

J. Inf. Process. Cybern., 1993

1990

TAGs by interpreting Context Free Tree Languages.

[BibT_eX]

[DOI]

Yonggang Guan

Günter Hotz

Proceedings of the First International Workshop on Tree Adjoining Grammar and Related Frameworks, 1990

A graphical system for hierarchical specifications and checkups of VLSI circuits.

[BibT_eX]

[DOI]

Proceedings of the European Design Automation Conference, 1990

Einführung in die Informatik.

[BibT_eX]

Günter Hotz

Leitfäden und Monographien der Informatik, Teubner, ISBN: 978-3-519-02246-6, 1990

1989

The Power of the Greibach Normal Form.

[BibT_eX]

Günter Hotz

Thomas Kretschmer

J. Inf. Process. Cybern., 1989

1988

Anwendungen und Portierungen der Programmiersprache Comskee.

[BibT_eX]

[DOI]

Proceedings of the Innovative Informations-Infrastrukturen, 1988

1987

On the Optimal Layout of Planar Graphs with Fixed Boundary.

[BibT_eX]

[DOI]

Bernd Becker

Günter Hotz

SIAM J. Comput., 1987

Hierarchical Design Based on a Calculus of Nets.

[BibT_eX]

[DOI]

Proceedings of the 24th ACM/IEEE Design Automation Conference. Miami Beach, FL, USA, June 28, 1987

1986

A Representation Theorem of Infinite Dimensional Algebras and Applications to Language Theory.

[BibT_eX]

[DOI]

Günter Hotz

J. Comput. Syst. Sci., 1986

Ein logisch-topologischer Kalkül zur Konstruktion integrierter Schaltkreise, Teil II.

[BibT_eX]

Inform. Forsch. Entwickl., 1986

Ein logisch-topologischer Kalkül zur Konstruktion integrierter Schaltkreise, Teil I.

[BibT_eX]

Inform. Forsch. Entwickl., 1986

On Network Algebras and Recursive Equations.

[BibT_eX]

[DOI]

Günter Hotz

Reiner Kolla

Paul Molitor

Proceedings of the Graph-Grammars and Their Application to Computer Science, 1986

1984

Outline of an Algebraic Language Theory.

[BibT_eX]

[DOI]

Günter Hotz

Proceedings of the Mathematical Foundations of Computer Science 1984, 1984

Über die logisch-topologische Entwurfsebene bei der Konstruktion großer integrierter Schaltkreise.

[BibT_eX]

[DOI]

Günter Hotz

Proceedings of the Fachgespräche auf der 14. GI-Jahrestagung, 1984

1981

k-dimensionale syntaktische Monoide.

[BibT_eX]

Günter Hotz

J. Inf. Process. Cybern., 1981

Ein rein automatentheoretischer Aufbau der Theorie der kontext-freien Sprachen.

[BibT_eX]

[DOI]

Günter Hotz

Proceedings of the Theoretical Computer Science, 1981

1980

Eine neue Invariante für Kontextfreie Sprachen.

[BibT_eX]

[DOI]

Günter Hotz

Theor. Comput. Sci., 1980

Verschränkte Homomorphismen Formaler Sprachen.

[BibT_eX]

[DOI]

Günter Hotz

RAIRO Theor. Informatics Appl., 1980

Konrad Zuse: Forschung und Entwicklung.

[BibT_eX]

Günter Hotz

Inform. Spektrum, 1980

1979

Über die Darstellbarkeit des syntaktischen Monoïdes kontextfreier Sprachen.

[BibT_eX]

[DOI]

Günter Hotz

RAIRO Theor. Informatics Appl., 1979

LL(k)- und LR(k)-Invarianz von kontexfreien Grammatiken unter einer Transformation auf Greibach-Normalform.

[BibT_eX]

Günter Hotz

Rockford J. Ross

J. Inf. Process. Cybern., 1979

Necessary decidable conditions for the word and equivalence problem of formal languages.

[BibT_eX]

Günter Hotz

Proceedings of the Fundamentals of Computation Theory, 1979

1978

Normal-form transformations of context-free grammars.

[BibT_eX]

[DOI]

Günter Hotz

Acta Cybern., 1978

1977

Space-Komplexität von klammerfreien Ausdrücken mit Typen.

[BibT_eX]

Günter Hotz

J. Inf. Process. Cybern., 1977

Network Complexity.

[BibT_eX]

[DOI]

Günter Hotz

Manfred Stadl

Proceedings of the Fundamentals of Computation Theory, 1977

1976

Schranken für Balanced Trees bei ausgewogenen Verteilungen.

[BibT_eX]

[DOI]

Günter Hotz

Theor. Comput. Sci., 1976

1974

Sequentielle Analyse kontextfreier Sprachen.

[BibT_eX]

[DOI]

Günter Hotz

Acta Informatica, 1974

Komplexitätsmaße für Ausdrücke.

[BibT_eX]

[DOI]

Günter Hotz

Proceedings of the Automata, Languages and Programming, 2nd Colloquium, University of Saarbrücken, Germany, July 29, 1974

Axiomatisierung bei Programmiersprachen und ihre Grenzen.

[BibT_eX]

[DOI]

Günter Hotz

Proceedings of the Programming Methodology, 4th Informatik Symposium, 1974

Strukturelle Verwandtschaften von semi-Thue-Systemen.

[BibT_eX]

[DOI]

Günter Hotz

Proceedings of the Category Theory Applied to Computation and Control, 1974

1969

Übertragung automatentheoretischer Sätze auf Chomsky-Sprachen.

[BibT_eX]

[DOI]

Günter Hotz

Computing, 1969

1968

Eine Bemerkung zur Zerlegung von Produktionssystemen von Semi-Thue-Systemen.

[BibT_eX]

Günter Hotz

J. Inf. Process. Cybern., 1968

1967

Quasilineare Automaten.

[BibT_eX]

[DOI]

Günter Hotz

Computing, 1967

1966

Eindeutigkeit und Mehrdeutigkeit formaler Sprachen.

[BibT_eX]

Günter Hotz

J. Inf. Process. Cybern., 1966

1965

Eine Algebraisierung des Syntheseproblems von Schaltkreisen II.

[BibT_eX]

Günter Hotz

J. Inf. Process. Cybern., 1965

Eine Algebraisierung des Syntheseproblems von Schaltkreisen I.

[BibT_eX]

Günter Hotz

J. Inf. Process. Cybern., 1965

1962

Digital Filters with Threshold Elements.

[BibT_eX]

Günter Hotz

Proceedings of the Information Processing, Proceedings of the 2nd IFIP Congress 1962, Munich, Germany, August 27, 1962

Günter Hotz

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...