default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGünter Hotz
Person information
- affiliation: Saarland University, Saarbrücken, Germany
- award (1987): Gottfried Wilhelm Leibniz Prize
- award (1999): Konrad Zuse Medal
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2012
[j28]Tobias Gärtner, Günter Hotz:
Representation Theorems for Analytic Machines and Computability of Analytic Functions. Theory Comput. Syst. 51(1): 65-84 (2012)- [i4]Alexander Gamkrelidze, Günter Hotz, Levan Varamashvili:
New Invariants for the Graph Isomorphism Problem. CoRR abs/1212.3055 (2012) - 2011
- [e10]Abraham Bernstein, Steffen Hölldobler, Günter Hotz, Klaus-Peter Löhr, Paul Molitor, Gustaf Neumann, Rüdiger Reischuk, Dietmar Saupe, Myra Spiliopoulou, Harald Störrle, Dorothea Wagner:
Ausgezeichnete Informatikdissertationen 2010. LNI D-11, GI 2011, ISBN 978-3-88579-415-8 [contents] - 2010
- [e9]Abraham Bernstein, Steffen Hölldobler, Günter Hotz, Klaus-Peter Löhr, Paul Molitor, Gustaf Neumann, Rüdiger Reischuk, Dietmar Saupe, Myra Spiliopoulou, Harald Störrle, Dorothea Wagner:
Ausgezeichnete Informatikdissertationen 2009. LNI D-10, GI 2010, ISBN 978-3-88579-414-1 [contents] - [e8]Abraham Bernstein, Thomas Dreier, Steffen Hölldobler, Günter Hotz, Klaus-Peter Löhr, Paul Molitor, Gustaf Neumann, Rüdiger Reischuk, Dietmar Saupe, Myra Spiliopoulou, Harald Störrle, Dorothea Wagner:
Ausgezeichnete Informatikdissertationen 2008. LNI D-9, GI 2010, ISBN 978-3-88579-413-4 [contents]
2000 – 2009
- 2009
- [c25]Günter Hotz:
Kolmogorov-Complexity Based on Infinite Computations. Efficient Algorithms 2009: 55-73 - [c24]Tobias Gärtner, Günter Hotz:
Computability of Analytic Functions with Analytic Machines. CiE 2009: 250-259 - 2008
- [j27]Günter Hotz:
Über "Über den Plankalkül" von Konrad Zuse. it Inf. Technol. 50(1): 74-75 (2008) - [e7]Abraham Bernstein, Thomas Dreier, Steffen Hölldobler, Günter Hotz, Klaus-Peter Löhr, Paul Molitor, Gustaf Neumann, Rüdiger Reischuk, Dietmar Saupe, Myra Spiliopoulou, Harald Störrle, Dorothea Wagner:
Ausgezeichnete Informatikdissertationen 2007. LNI D-8, GI 2008, ISBN 978-3-88579-412-7 [contents] - 2006
- [e6]Abraham Bernstein, Thomas Dreier, Steffen Hölldobler, Günter Hotz, Klaus-Peter Löhr, Paul Molitor, Gustaf Neumann, Rüdiger Reischuk, Dietmar Saupe, Myra Spiliopoulou, Dorothea Wagner:
Ausgezeichnete Informatikdissertationen 2005. LNI D-6, GI 2006, ISBN 978-3-88579-410-3 [contents] - 2004
- [i3]Günter Hotz:
A remark on nondecidabilities of the initial value problem of ODEs. Electron. Colloquium Comput. Complex. TR04 (2004) - 2002
- [e5]Heinz Beilner, Herbert Fiedler, Markus Gross, Oliver Günther, Steffen Hölldobler, Günter Hotz, Klaus-Peter Löhr, Rüdiger Reischuk, Dorothea Wagner:
Ausgezeichnete Informatikdissertationen 2002. LNI D-3, GI 2002, ISBN 3-88579-407-1 [contents] - 2001
- [c23]Günter Hotz, Steffen Lohse:
Planarity Testing of Graphs on Base of a Spring Model. GD 2001: 471-472 - [e4]Heinz Beilner, Herbert Fiedler, Oliver Günther, Steffen Hölldobler, Günter Hotz, Peter Liggesmeyer, Klaus-Peter Löhr, Rüdiger Reischuk, Dorothea Wagner:
Ausgezeichnete Informatikdissertationen 2001. LNI D-2, GI 2001, ISBN 3-88579-406-3 [contents] - [i2]Tobias Gärtner, Günter Hotz:
Recursive analytic functions of a complex variable. Electron. Colloquium Comput. Complex. TR01 (2001) - 2000
- [e3]Herbert Fiedler, Oliver Günther, Werner Grass, Steffen Hölldobler, Günter Hotz, Rüdiger Reischuk, Bernhard Seeger, Dorothea Wagner:
Ausgezeichnete Informatikdissertationen 1999. Teubner 2000, ISBN 978-3-519-02650-1 [contents] - [e2]Herbert Fiedler, Werner Grass, Oliver Günther, Steffen Hölldobler, Günter Hotz, Rüdiger Reischuk, Bernhard Seeger, Dorothea Wagner:
Ausgezeichnete Informatikdissertationen 2000. LNI D-1, GI 2000, ISBN 3-88579-405-5 [contents]
1990 – 1999
- 1999
- [j26]Thomas Chadzelek, Günter Hotz:
Analytic Machines. Theor. Comput. Sci. 219(1-2): 151-167 (1999) - [c22]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 - [c21]Günter Hotz, Andreas Kerzmann, Christian Lennerz, Rainer Schmid, Elmar Schömer, Thomas Warken:
Calculation of contact forces. VRST 1999: 180-181 - 1998
- [e1]Wolfgang Bibel, Herbert Fiedler, Werner Grass, Peter Gorny, Günter Hotz, Immo O. Kerner, Rüdiger Reischuk, Friedrich Roithmayr:
Ausgezeichnete Informatikdissertationen 1996. Vieweg+Teubner Verlag 1998, ISBN 978-3-519-02646-4 [contents] - 1997
- [j25]Günter Hotz, Gisela Pitsch:
On Using Semi-Dyck Sets to Analyse Coupled-Context-Free Languages. Fundam. Informaticae 29(1-2): 1-26 (1997) - [c20]Günter Hotz, Hongzhong Wu:
On the Arrangement Complexity of Uniform Trees. Foundations of Computer Science: Potential - Theory - Cognition 1997: 337-350 - [c19]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 - [c18]Björn Schieffer, Günter Hotz:
Diagnosis of Tank Ballast Systems. IDA 1997: 597-608 - 1996
- [j24]Günter Hotz, Gisela Pitsch:
On Parsing Coupled-Context-Free Languages. Theor. Comput. Sci. 161(1&2): 205-233 (1996) - 1995
- [c17]Günter Hotz, Gisela Pitsch:
A New Approach to Analyse Coupled-Context-Free Languages. MFCS 1995: 349-358 - [i1]Günter Hotz, Gero Vierke, Björn Schieffer:
Analytic Machines. Electron. Colloquium Comput. Complex. TR95 (1995) - 1994
- [j23]Günter Hotz:
Zum 25jährigen Jubiläum. Inform. Spektrum 17(4): 208 (1994) - [c16]Günter Hotz, Gisela Pitsch:
Fast Uniform Analysis of Coupled-Context-Free Languages. ICALP 1994: 412-423 - [c15]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 - 1993
- [j22]Günter Hotz:
Search Trees and Search Graphs for Markov Sources. J. Inf. Process. Cybern. 29(5): 283-292 (1993) - 1990
- [b1]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 - [c14]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 - [c13]Yonggang Guan, Günter Hotz:
TAGs by interpreting Context Free Tree Languages. TAG+ 1990: 10
1980 – 1989
- 1989
- [j21]Günter Hotz, Thomas Kretschmer:
The Power of the Greibach Normal Form. J. Inf. Process. Cybern. 25(10): 507-512 (1989) - 1988
- [c12]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
- [j20]Bernd Becker, Günter Hotz:
On the Optimal Layout of Planar Graphs with Fixed Boundary. SIAM J. Comput. 16(5): 946-972 (1987) - [c11]Bernd Becker, Günter Hotz, Reiner Kolla, Paul Molitor, Hans-Georg Osthof:
Hierarchical Design Based on a Calculus of Nets. DAC 1987: 649-653 - 1986
- [j19]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) - [j18]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) - [j17]Günter Hotz:
A Representation Theorem of Infinite Dimensional Algebras and Applications to Language Theory. J. Comput. Syst. Sci. 33(3): 423-455 (1986) - [c10]Günter Hotz, Reiner Kolla, Paul Molitor:
On Network Algebras and Recursive Equations. Graph-Grammars and Their Application to Computer Science 1986: 250-261 - 1984
- [c9]Günter Hotz:
Über die logisch-topologische Entwurfsebene bei der Konstruktion großer integrierter Schaltkreise. GI Jahrestagung (Fachgespräche) 1984: 17-27 - [c8]Günter Hotz:
Outline of an Algebraic Language Theory. MFCS 1984: 64-79 - 1981
- [j16]Günter Hotz:
k-dimensionale syntaktische Monoide. J. Inf. Process. Cybern. 17(8/9): 435-449 (1981) - [c7]Günter Hotz:
Ein rein automatentheoretischer Aufbau der Theorie der kontext-freien Sprachen. Theoretical Computer Science 1981: 76-77 - 1980
- [j15]Günter Hotz:
Konrad Zuse: Forschung und Entwicklung. Inform. Spektrum 3(1): 41-47 (1980) - [j14]Günter Hotz:
Verschränkte Homomorphismen Formaler Sprachen. RAIRO Theor. Informatics Appl. 14(2): 193-208 (1980) - [j13]Günter Hotz:
Eine neue Invariante für Kontextfreie Sprachen. Theor. Comput. Sci. 11: 107-116 (1980)
1970 – 1979
- 1979
- [j12]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): 73-86 (1979) - [j11]Günter Hotz:
Über die Darstellbarkeit des syntaktischen Monoïdes kontextfreier Sprachen. RAIRO Theor. Informatics Appl. 13(4): 337-345 (1979) - [c6]Günter Hotz:
Necessary decidable conditions for the word and equivalence problem of formal languages. FCT 1979: 575-576 - 1978
- [j10]Günter Hotz:
Normal-form transformations of context-free grammars. Acta Cybern. 4(1): 65-84 (1978) - 1977
- [j9]Günter Hotz:
Space-Komplexität von klammerfreien Ausdrücken mit Typen. J. Inf. Process. Cybern. 13(12): 655-657 (1977) - [c5]Günter Hotz, Manfred Stadl:
Network Complexity. FCT 1977: 405-420 - 1976
- [j8]Günter Hotz:
Schranken für Balanced Trees bei ausgewogenen Verteilungen. Theor. Comput. Sci. 3(1): 51-59 (1976) - 1974
- [j7]Günter Hotz:
Sequentielle Analyse kontextfreier Sprachen. Acta Informatica 4: 55-75 (1974) - [c4]Günter Hotz:
Strukturelle Verwandtschaften von semi-Thue-Systemen. Category Theory Applied to Computation and Control 1974: 174-179 - [c3]Günter Hotz:
Axiomatisierung bei Programmiersprachen und ihre Grenzen. Programming Methodology 1974: 466-476 - [c2]Günter Hotz:
Komplexitätsmaße für Ausdrücke. ICALP 1974: 398-412
1960 – 1969
- 1969
- [j6]Günter Hotz:
Übertragung automatentheoretischer Sätze auf Chomsky-Sprachen. Computing 4(1): 30-42 (1969) - 1968
- [j5]Günter Hotz:
Eine Bemerkung zur Zerlegung von Produktionssystemen von Semi-Thue-Systemen. J. Inf. Process. Cybern. 4(5): 341-342 (1968) - 1967
- [j4]Günter Hotz:
Quasilineare Automaten. Computing 2(2): 139-152 (1967) - 1966
- [j3]Günter Hotz:
Eindeutigkeit und Mehrdeutigkeit formaler Sprachen. J. Inf. Process. Cybern. 2(4): 235-246 (1966) - 1965
- [j2]Günter Hotz:
Eine Algebraisierung des Syntheseproblems von Schaltkreisen I. J. Inf. Process. Cybern. 1(3): 185-205 (1965) - [j1]Günter Hotz:
Eine Algebraisierung des Syntheseproblems von Schaltkreisen II. J. Inf. Process. Cybern. 1(4): 209-231 (1965) - 1962
- [c1]Günter Hotz:
Digital Filters with Threshold Elements. IFIP Congress 1962: 736-740
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-20 23:03 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
