 | 2009 |
|---|
| 54 |       | Tobias Gärtner,
Günter Hotz:
Computability of Analytic Functions with Analytic Machines.
CiE 2009: 250-259 |
| 53 | | Günter Hotz:
Kolmogorov-Complexity Based on Infinite Computations.
Efficient Algorithms 2009: 55-73 |
| 2008 |
|---|
| 52 | | Günter Hotz:
Über "Über den Plankalkül" von Konrad Zuse.
it - Information Technology 50(1): 74-75 (2008) |
| 2004 |
|---|
| 51 | | Günter Hotz:
A remark on nondecidabilities of the initial value problem of ODEs
Electronic Colloquium on Computational Complexity (ECCC)(006): (2004) |
| 2001 |
|---|
| 50 | | Günter Hotz,
Steffen Lohse:
Planarity Testing of Graphs on Base of a Spring Model.
Graph Drawing 2001: 471-472 |
| 49 | | Tobias Gärtner,
Günter Hotz:
Recursive analytic functions of a complex variable
Electronic Colloquium on Computational Complexity (ECCC) 8(4): (2001) |
| 1999 |
|---|
| 48 | | 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 |
| 47 | | Günter Hotz,
Andreas Kerzmann,
Christian Lennerz,
Rainer Schmid,
Elmar Schömer,
Thomas Warken:
Calculation of contact forces.
VRST 1999: 180-181 |
| 46 | | Thomas Chadzelek,
Günter Hotz:
Analytic Machines.
Theor. Comput. Sci. 219(1-2): 151-167 (1999) |
| 1997 |
|---|
| 45 | | 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 |
| 44 | | Günter Hotz,
Hongzhong Wu:
On the Arrangement Complexity of Uniform Trees.
Foundations of Computer Science: Potential - Theory - Cognition 1997: 337-350 |
| 43 | | Björn Schieffer,
Günter Hotz:
Diagnosis of Tank Ballast Systems.
IDA 1997: 597-608 |
| 42 |  | Günter Hotz,
Gisela Pitsch:
On Using Semi-Dyck Sets to Analyse Coupled-Context-Free Languages.
Fundam. Inform. 29(1-2): 1-26 (1997) |
| 1996 |
|---|
| 41 | | Günter Hotz,
Gisela Pitsch:
On Parsing Coupled-Context-Free Languages.
Theor. Comput. Sci. 161(1&2): 205-233 (1996) |
| 1995 |
|---|
| 40 | | Günter Hotz,
Gisela Pitsch:
A New Approach to Analyse Coupled-Context-Free Languages.
MFCS 1995: 349-358 |
| 39 | | Günter Hotz,
Gero Vierke,
Björn Schieffer:
Analytic Machines
Electronic Colloquium on Computational Complexity (ECCC) 2(25): (1995) |
| 1994 |
|---|
| 38 | | Günter Hotz,
Gisela Pitsch:
Fast Uniform Analysis of Coupled-Context-Free Languages.
ICALP 1994: 412-423 |
| 37 | | Thomas Burch,
J. Hartmann,
Günter Hotz,
M. Krallmann,
U. Nikolaus,
Sudhakar M. Reddy,
Uwe Sparmann:
A Hierarchical Environment for Interactive Test Engineering.
ITC 1994: 461-470 |
| 36 | | Günter Hotz:
Zum 25jährigen Jubiläum.
Informatik Spektrum 17(4): 208 (1994) |
| 1993 |
|---|
| 35 | | Günter Hotz:
Search Trees and Search Graphs for Markov Sources.
Elektronische Informationsverarbeitung und Kybernetik 29(5): 283-292 (1993) |
| 1990 |
|---|
| 34 | | 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 |
| 1989 |
|---|
| 33 | | Günter Hotz,
Thomas Kretschmer:
The Power of the Greibach Normal Form.
Elektronische Informationsverarbeitung und Kybernetik 25(10): 507-512 (1989) |
| 1988 |
|---|
| 32 | | 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 |
| 1987 |
|---|
| 31 | | Bernd Becker,
Günter Hotz,
Reiner Kolla,
Paul Molitor,
Hans-Georg Osthof:
Hierarchical Design Based on a Calculus of Nets.
DAC 1987: 649-653 |
| 30 | | Bernd Becker,
Günter Hotz:
On the Optimal Layout of Planar Graphs with Fixed Boundary.
SIAM J. Comput. 16(5): 946-972 (1987) |
| 1986 |
|---|
| 29 | | Günter Hotz,
Reiner Kolla,
Paul Molitor:
On Network Algebras and Recursive Equations.
Graph-Grammars and Their Application to Computer Science 1986: 250-261 |
| 28 | | 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) |
| 27 | | 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) |
| 26 | | Günter Hotz:
A Representation Theorem of Infinite Dimensional Algebras and Applications to Language Theory.
J. Comput. Syst. Sci. 33(3): 423-455 (1986) |
| 1984 |
|---|
| 25 | | Günter Hotz:
Über die logisch-topologische Entwurfsebene bei der Konstruktion großer integrierter Schaltkreise.
GI Jahrestagung (Fachgespräche) 1984: 17-27 |
| 24 | | Günter Hotz:
Outline of an Algebraic Language Theory.
MFCS 1984: 64-79 |
| 1981 |
|---|
| 23 | | Günter Hotz:
Ein rein automatentheoretischer Aufbau der Theorie der kontext-freien Sprachen.
Theoretical Computer Science 1981: 76-77 |
| 22 | | Günter Hotz:
k-dimensionale syntaktische Monoide.
Elektronische Informationsverarbeitung und Kybernetik 17(8/9): 435-449 (1981) |
| 1980 |
|---|
| 21 | | Günter Hotz:
Normal-form transformations of context-free grammars.
Acta Cybern. 4: 65-84 (1980) |
| 20 | | Günter Hotz:
Verschränkte Homomorphismen Formaler Sprachen.
ITA 14(2): 193-208 (1980) |
| 19 | | Günter Hotz:
Konrad Zuse: Forschung und Entwicklung.
Informatik Spektrum 3(1): 41-47 (1980) |
| 18 | | Günter Hotz:
Eine neue Invariante für Kontextfreie Sprachen.
Theor. Comput. Sci. 11: 107-116 (1980) |
| 1979 |
|---|
| 17 | | Günter Hotz:
Necessary decidable conditions for the word and equivalence problem of formal languages.
FCT 1979: 575-576 |
| 16 | | 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) |
| 15 | | Günter Hotz:
Über die Darstellbarkeit des syntaktischen Monoïdes kontextfreier Sprachen.
ITA 13(4): (1979) |
| 1977 |
|---|
| 14 | | Günter Hotz,
Manfred Stadl:
Network Complexity.
FCT 1977: 405-420 |
| 13 | | Günter Hotz:
Space-Komplexität von klammerfreien Ausdrücken mit Typen.
Elektronische Informationsverarbeitung und Kybernetik 13(12): 655-657 (1977) |
| 1976 |
|---|
| 12 | | Günter Hotz:
Schranken für Balanced Trees bei ausgewogenen Verteilungen.
Theor. Comput. Sci. 3(1): 51-59 (1976) |
| 1974 |
|---|
| 11 | | Günter Hotz:
Strukturelle Verwandtschaften von semi-Thue-Systemen.
Category Theory Applied to Computation and Control 1974: 174-179 |
| 10 | | Günter Hotz:
Komplexitätsmaße für Ausdrücke.
ICALP 1974: 398-412 |
| 9 | | Günter Hotz:
Axiomatisierung bei Programmiersprachen und ihre Grenzen.
Programming Methodology 1974: 466-476 |
| 8 | | Günter Hotz:
Sequentielle Analyse kontextfreier Sprachen
Acta Inf. 4: 55-75 (1974) |
| 1969 |
|---|
| 7 | | Günter Hotz:
Übertragung automatentheoretischer Sätze auf Chomsky-Sprachen.
Computing 4(1): 30-42 (1969) |
| 1968 |
|---|
| 6 | | Günter Hotz:
Eine Bemerkung zur Zerlegung von Produktionssystemen von Semi-Thue-Systemen.
Elektronische Informationsverarbeitung und Kybernetik 4(5): 341-342 (1968) |
| 1967 |
|---|
| 5 | | Günter Hotz:
Quasilineare Automaten.
Computing 2(2): 139-152 (1967) |
| 1966 |
|---|
| 4 | | Günter Hotz:
Eindeutigkeit und Mehrdeutigkeit formaler Sprachen.
Elektronische Informationsverarbeitung und Kybernetik 2(4): 235-246 (1966) |
| 1965 |
|---|
| 3 | | Günter Hotz:
Eine Algebraisierung des Syntheseproblems von Schaltkreisen I.
Elektronische Informationsverarbeitung und Kybernetik 1(3): 185-205 (1965) |
| 2 | | Günter Hotz:
Eine Algebraisierung des Syntheseproblems von Schaltkreisen II.
Elektronische Informationsverarbeitung und Kybernetik 1(4): 209-231 (1965) |
| 1962 |
|---|
| 1 | | Günter Hotz:
Digital Filters with Threshold Elements.
IFIP Congress 1962: 736-740 |
