| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Tobias Gärtner, Günter Hotz |
Representation Theorems for Analytic Machines and Computability of Analytic Functions.  |
Theory Comput. Syst.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Günter Hotz |
Kolmogorov-Complexity Based on Infinite Computations.  |
Efficient Algorithms  |
2009 |
DBLP DOI BibTeX RDF |
monotone Kolmogorov complexity, infinite computations, collectives |
| 1 | Tobias Gärtner, Günter Hotz |
Computability of Analytic Functions with Analytic Machines.  |
CiE  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Günter Hotz |
Über "Über den Plankalkül" von Konrad Zuse.  |
it - Information Technology  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Günter Hotz |
A remark on nondecidabilities of the initial value problem of ODEs  |
Electronic Colloquium on Computational Complexity (ECCC)  |
2004 |
DBLP BibTeX RDF |
|
| 1 | Tobias Gärtner, Günter Hotz |
Recursive analytic functions of a complex variable  |
Electronic Colloquium on Computational Complexity (ECCC)  |
2001 |
DBLP BibTeX RDF |
|
| 1 | Günter Hotz, Steffen Lohse |
Planarity Testing of Graphs on Base of a Spring Model.  |
Graph Drawing  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Chadzelek, Günter Hotz |
Analytic Machines.  |
Theor. Comput. Sci.  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Günter Hotz, Andreas Kerzmann, Christian Lennerz, Rainer Schmid, Elmar Schömer, Thomas Warken |
Calculation of contact forces.  |
VRST  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Günter Hotz, Andreas Kerzmann, Christian Lennerz, Rainer Schmid, Elmar Schömer, Thomas Warken |
SiLVIA - A Simulation Library for Virtual Reality Applications. (PDF / PS)  |
VR  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Günter Hotz, Gisela Pitsch |
On Using Semi-Dyck Sets to Analyse Coupled-Context-Free Languages.  |
Fundam. Inform.  |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Scholl, S. Melchior, Günter Hotz, Paul Molitor |
Minimizing ROBDD sizes of incompletely specified Boolean functionsby exploiting strong symmetries.  |
ED&TC  |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Günter Hotz, Hongzhong Wu |
On the Arrangement Complexity of Uniform Trees.  |
Foundations of Computer Science: Potential - Theory - Cognition  |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Björn Schieffer, Günter Hotz |
Diagnosis of Tank Ballast Systems.  |
IDA  |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Günter Hotz, Gisela Pitsch |
On Parsing Coupled-Context-Free Languages.  |
Theor. Comput. Sci.  |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Günter Hotz, Gero Vierke, Björn Schieffer |
Analytic Machines  |
Electronic Colloquium on Computational Complexity (ECCC)  |
1995 |
DBLP BibTeX RDF |
|
| 1 | Günter Hotz, Gisela Pitsch |
A New Approach to Analyse Coupled-Context-Free Languages.  |
MFCS  |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Günter Hotz |
Zum 25jährigen Jubiläum.  |
Informatik Spektrum  |
1994 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Günter Hotz, Gisela Pitsch |
Fast Uniform Analysis of Coupled-Context-Free Languages.  |
ICALP  |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Günter Hotz |
Search Trees and Search Graphs for Markov Sources.  |
Elektronische Informationsverarbeitung und Kybernetik  |
1993 |
DBLP BibTeX RDF |
|
| 1 | Günter Hotz |
Einführung in die Informatik.  |
|
1990 |
RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Günter Hotz, Thomas Kretschmer |
The Power of the Greibach Normal Form.  |
Elektronische Informationsverarbeitung und Kybernetik  |
1989 |
DBLP BibTeX RDF |
|
| 1 | Günter Hotz, Thomas Burch, W. Dorndorf, J. Messerchmidt, M. Ries, T. Schäfer |
Anwendungen und Portierungen der Programmiersprache Comskee.  |
Innovative Informations-Infrastrukturen  |
1988 |
DBLP BibTeX RDF |
|
| 1 | Bernd Becker, Günter Hotz |
On the Optimal Layout of Planar Graphs with Fixed Boundary.  |
SIAM J. Comput.  |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Becker, Günter Hotz, Reiner Kolla, Paul Molitor, Hans-Georg Osthof |
Hierarchical Design Based on a Calculus of Nets.  |
DAC  |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Günter Hotz, Bernd Becker, Reiner Kolla, Paul Molitor |
Ein logisch-topologischer Kalkül zur Konstruktion integrierter Schaltkreise, Teil I.  |
Inform., Forsch. Entwickl.  |
1986 |
DBLP BibTeX RDF |
|
| 1 | Günter Hotz, Bernd Becker, Reiner Kolla, Paul Molitor |
Ein logisch-topologischer Kalkül zur Konstruktion integrierter Schaltkreise, Teil II.  |
Inform., Forsch. Entwickl.  |
1986 |
DBLP BibTeX RDF |
|
| 1 | Günter Hotz |
A Representation Theorem of Infinite Dimensional Algebras and Applications to Language Theory.  |
J. Comput. Syst. Sci.  |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Günter Hotz, Reiner Kolla, Paul Molitor |
On Network Algebras and Recursive Equations.  |
Graph-Grammars and Their Application to Computer Science  |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Günter Hotz |
Outline of an Algebraic Language Theory.  |
MFCS  |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Günter Hotz |
Über die logisch-topologische Entwurfsebene bei der Konstruktion großer integrierter Schaltkreise.  |
GI Jahrestagung (Fachgespräche)  |
1984 |
DBLP BibTeX RDF |
|
| 1 | Günter Hotz |
k-dimensionale syntaktische Monoide.  |
Elektronische Informationsverarbeitung und Kybernetik  |
1981 |
DBLP BibTeX RDF |
|
| 1 | Günter Hotz |
Ein rein automatentheoretischer Aufbau der Theorie der kontext-freien Sprachen.  |
Theoretical Computer Science  |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Günter Hotz |
Normal-form transformations of context-free grammars.  |
Acta Cybern.  |
1980 |
DBLP BibTeX RDF |
|
| 1 | Günter Hotz |
Eine neue Invariante für Kontextfreie Sprachen.  |
Theor. Comput. Sci.  |
1980 |
DBLP DOI BibTeX RDF |
|
| 1 | Günter Hotz |
Verschränkte Homomorphismen Formaler Sprachen.  |
ITA  |
1980 |
DBLP BibTeX RDF |
|
| 1 | Günter Hotz |
Konrad Zuse: Forschung und Entwicklung.  |
Informatik Spektrum  |
1980 |
DBLP BibTeX RDF |
|
| 1 | Günter Hotz |
Über die Darstellbarkeit des syntaktischen Monoïdes kontextfreier Sprachen.  |
ITA  |
1979 |
DBLP BibTeX RDF |
|
| 1 | 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  |
1979 |
DBLP BibTeX RDF |
|
| 1 | Günter Hotz |
Necessary decidable conditions for the word and equivalence problem of formal languages.  |
FCT  |
1979 |
DBLP BibTeX RDF |
|
| 1 | Günter Hotz |
Space-Komplexität von klammerfreien Ausdrücken mit Typen.  |
Elektronische Informationsverarbeitung und Kybernetik  |
1977 |
DBLP BibTeX RDF |
|
| 1 | Günter Hotz, Manfred Stadl |
Network Complexity.  |
FCT  |
1977 |
DBLP DOI BibTeX RDF |
|
| 1 | Günter Hotz |
Schranken für Balanced Trees bei ausgewogenen Verteilungen.  |
Theor. Comput. Sci.  |
1976 |
DBLP DOI BibTeX RDF |
|
| 1 | Günter Hotz |
Sequentielle Analyse kontextfreier Sprachen.  |
Acta Inf.  |
1974 |
DBLP DOI BibTeX RDF |
|
| 1 | Günter Hotz |
Komplexitätsmaße für Ausdrücke.  |
ICALP  |
1974 |
DBLP DOI BibTeX RDF |
|
| 1 | Günter Hotz |
Axiomatisierung bei Programmiersprachen und ihre Grenzen.  |
Programming Methodology  |
1974 |
DBLP DOI BibTeX RDF |
|
| 1 | Günter Hotz |
Strukturelle Verwandtschaften von semi-Thue-Systemen.  |
Category Theory Applied to Computation and Control  |
1974 |
DBLP DOI BibTeX RDF |
|
| 1 | Günter Hotz |
Übertragung automatentheoretischer Sätze auf Chomsky-Sprachen.  |
Computing  |
1969 |
DBLP DOI BibTeX RDF |
|
| 1 | Günter Hotz |
Eine Bemerkung zur Zerlegung von Produktionssystemen von Semi-Thue-Systemen.  |
Elektronische Informationsverarbeitung und Kybernetik  |
1968 |
DBLP BibTeX RDF |
|
| 1 | Günter Hotz |
Quasilineare Automaten.  |
Computing  |
1967 |
DBLP DOI BibTeX RDF |
|
| 1 | Günter Hotz |
Eindeutigkeit und Mehrdeutigkeit formaler Sprachen.  |
Elektronische Informationsverarbeitung und Kybernetik  |
1966 |
DBLP BibTeX RDF |
|
| 1 | Günter Hotz |
Eine Algebraisierung des Syntheseproblems von Schaltkreisen I.  |
Elektronische Informationsverarbeitung und Kybernetik  |
1965 |
DBLP BibTeX RDF |
|
| 1 | Günter Hotz |
Eine Algebraisierung des Syntheseproblems von Schaltkreisen II.  |
Elektronische Informationsverarbeitung und Kybernetik  |
1965 |
DBLP BibTeX RDF |
|
| 1 | Günter Hotz |
Digital Filters with Threshold Elements.  |
IFIP Congress  |
1962 |
DBLP BibTeX RDF |
|