BibTeX records: Günter Hotz

download as .bib file

@article{DBLP:journals/mst/GartnerH12,
  author       = {Tobias G{\"{a}}rtner and
                  G{\"{u}}nter Hotz},
  title        = {Representation Theorems for Analytic Machines and Computability of
                  Analytic Functions},
  journal      = {Theory Comput. Syst.},
  volume       = {51},
  number       = {1},
  pages        = {65--84},
  year         = {2012},
  url          = {https://doi.org/10.1007/s00224-011-9374-z},
  doi          = {10.1007/S00224-011-9374-Z},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mst/GartnerH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1212-3055,
  author       = {Alexander Gamkrelidze and
                  G{\"{u}}nter Hotz and
                  Levan Varamashvili},
  title        = {New Invariants for the Graph Isomorphism Problem},
  journal      = {CoRR},
  volume       = {abs/1212.3055},
  year         = {2012},
  url          = {http://arxiv.org/abs/1212.3055},
  eprinttype    = {arXiv},
  eprint       = {1212.3055},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1212-3055.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:conf/gi/2010diss,
  editor       = {Abraham Bernstein and
                  Steffen H{\"{o}}lldobler and
                  G{\"{u}}nter Hotz and
                  Klaus{-}Peter L{\"{o}}hr and
                  Paul Molitor and
                  Gustaf Neumann and
                  R{\"{u}}diger Reischuk and
                  Dietmar Saupe and
                  Myra Spiliopoulou and
                  Harald St{\"{o}}rrle and
                  Dorothea Wagner},
  title        = {Ausgezeichnete Informatikdissertationen 2010},
  series       = {{LNI}},
  volume       = {{D-11}},
  publisher    = {{GI}},
  year         = {2011},
  url          = {https://dl.gi.de/handle/20.500.12116/4407},
  isbn         = {978-3-88579-415-8},
  timestamp    = {Tue, 04 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/2010diss.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:conf/gi/2009diss,
  editor       = {Abraham Bernstein and
                  Steffen H{\"{o}}lldobler and
                  G{\"{u}}nter Hotz and
                  Klaus{-}Peter L{\"{o}}hr and
                  Paul Molitor and
                  Gustaf Neumann and
                  R{\"{u}}diger Reischuk and
                  Dietmar Saupe and
                  Myra Spiliopoulou and
                  Harald St{\"{o}}rrle and
                  Dorothea Wagner},
  title        = {Ausgezeichnete Informatikdissertationen 2009},
  series       = {{LNI}},
  volume       = {{D-10}},
  publisher    = {{GI}},
  year         = {2010},
  url          = {https://dl.gi.de/handle/20.500.12116/4406},
  isbn         = {978-3-88579-414-1},
  timestamp    = {Tue, 04 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/2009diss.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:conf/gi/2008diss,
  editor       = {Abraham Bernstein and
                  Thomas Dreier and
                  Steffen H{\"{o}}lldobler and
                  G{\"{u}}nter Hotz and
                  Klaus{-}Peter L{\"{o}}hr and
                  Paul Molitor and
                  Gustaf Neumann and
                  R{\"{u}}diger Reischuk and
                  Dietmar Saupe and
                  Myra Spiliopoulou and
                  Harald St{\"{o}}rrle and
                  Dorothea Wagner},
  title        = {Ausgezeichnete Informatikdissertationen 2008},
  series       = {{LNI}},
  volume       = {{D-9}},
  publisher    = {{GI}},
  year         = {2010},
  url          = {https://dl.gi.de/handle/20.500.12116/4405},
  isbn         = {978-3-88579-413-4},
  timestamp    = {Tue, 04 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/2008diss.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Hotz09,
  author       = {G{\"{u}}nter Hotz},
  editor       = {Susanne Albers and
                  Helmut Alt and
                  Stefan N{\"{a}}her},
  title        = {Kolmogorov-Complexity Based on Infinite Computations},
  booktitle    = {Efficient Algorithms, Essays Dedicated to Kurt Mehlhorn on the Occasion
                  of His 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {5760},
  pages        = {55--73},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-03456-5\_4},
  doi          = {10.1007/978-3-642-03456-5\_4},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Hotz09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/GartnerH09,
  author       = {Tobias G{\"{a}}rtner and
                  G{\"{u}}nter Hotz},
  editor       = {Klaus Ambos{-}Spies and
                  Benedikt L{\"{o}}we and
                  Wolfgang Merkle},
  title        = {Computability of Analytic Functions with Analytic Machines},
  booktitle    = {Mathematical Theory and Computational Practice, 5th Conference on
                  Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24,
                  2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5635},
  pages        = {250--259},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-03073-4\_26},
  doi          = {10.1007/978-3-642-03073-4\_26},
  timestamp    = {Sun, 02 Jun 2019 21:17:54 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/GartnerH09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/it/Hotz08,
  author       = {G{\"{u}}nter Hotz},
  title        = {{\"{U}}ber "{\"{U}}ber den Plankalk{\"{u}}l"
                  von Konrad Zuse},
  journal      = {it Inf. Technol.},
  volume       = {50},
  number       = {1},
  pages        = {74--75},
  year         = {2008},
  url          = {https://doi.org/10.1524/itit.2008.0466},
  doi          = {10.1524/ITIT.2008.0466},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/it/Hotz08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:conf/gi/2007diss,
  editor       = {Abraham Bernstein and
                  Thomas Dreier and
                  Steffen H{\"{o}}lldobler and
                  G{\"{u}}nter Hotz and
                  Klaus{-}Peter L{\"{o}}hr and
                  Paul Molitor and
                  Gustaf Neumann and
                  R{\"{u}}diger Reischuk and
                  Dietmar Saupe and
                  Myra Spiliopoulou and
                  Harald St{\"{o}}rrle and
                  Dorothea Wagner},
  title        = {Ausgezeichnete Informatikdissertationen 2007},
  series       = {{LNI}},
  volume       = {{D-8}},
  publisher    = {{GI}},
  year         = {2008},
  url          = {https://dl.gi.de/handle/20.500.12116/4403},
  isbn         = {978-3-88579-412-7},
  timestamp    = {Tue, 04 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/2007diss.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:conf/gi/2005diss,
  editor       = {Abraham Bernstein and
                  Thomas Dreier and
                  Steffen H{\"{o}}lldobler and
                  G{\"{u}}nter Hotz and
                  Klaus{-}Peter L{\"{o}}hr and
                  Paul Molitor and
                  Gustaf Neumann and
                  R{\"{u}}diger Reischuk and
                  Dietmar Saupe and
                  Myra Spiliopoulou and
                  Dorothea Wagner},
  title        = {Ausgezeichnete Informatikdissertationen 2005},
  series       = {{LNI}},
  volume       = {{D-6}},
  publisher    = {{GI}},
  year         = {2006},
  url          = {https://dl.gi.de/handle/20.500.12116/4401},
  isbn         = {978-3-88579-410-3},
  timestamp    = {Tue, 18 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gi/2005diss.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/ECCC-TR04-006,
  author       = {G{\"{u}}nter Hotz},
  title        = {A remark on nondecidabilities of the initial value problem of ODEs},
  journal      = {Electron. Colloquium Comput. Complex.},
  volume       = {{TR04-006}},
  year         = {2004},
  url          = {https://eccc.weizmann.ac.il/eccc-reports/2004/TR04-006/index.html},
  eprinttype    = {ECCC},
  eprint       = {TR04-006},
  timestamp    = {Wed, 28 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eccc/ECCC-TR04-006.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:conf/gi/2002diss,
  editor       = {Heinz Beilner and
                  Herbert Fiedler and
                  Markus Gross and
                  Oliver G{\"{u}}nther and
                  Steffen H{\"{o}}lldobler and
                  G{\"{u}}nter Hotz and
                  Klaus{-}Peter L{\"{o}}hr and
                  R{\"{u}}diger Reischuk and
                  Dorothea Wagner},
  title        = {Ausgezeichnete Informatikdissertationen 2002},
  series       = {{LNI}},
  volume       = {{D-3}},
  publisher    = {{GI}},
  year         = {2002},
  url          = {https://dl.gi.de/handle/20.500.12116/4398},
  isbn         = {3-88579-407-1},
  timestamp    = {Tue, 18 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gi/2002diss.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gd/HotzL00,
  author       = {G{\"{u}}nter Hotz and
                  Steffen Lohse},
  editor       = {Petra Mutzel and
                  Michael J{\"{u}}nger and
                  Sebastian Leipert},
  title        = {Planarity Testing of Graphs on Base of a Spring Model},
  booktitle    = {Graph Drawing, 9th International Symposium, {GD} 2001 Vienna, Austria,
                  September 23-26, 2001, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2265},
  pages        = {471--472},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45848-4\_51},
  doi          = {10.1007/3-540-45848-4\_51},
  timestamp    = {Sun, 13 Nov 2022 09:57:35 +0100},
  biburl       = {https://dblp.org/rec/conf/gd/HotzL00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:conf/gi/2001diss,
  editor       = {Heinz Beilner and
                  Herbert Fiedler and
                  Oliver G{\"{u}}nther and
                  Steffen H{\"{o}}lldobler and
                  G{\"{u}}nter Hotz and
                  Peter Liggesmeyer and
                  Klaus{-}Peter L{\"{o}}hr and
                  R{\"{u}}diger Reischuk and
                  Dorothea Wagner},
  title        = {Ausgezeichnete Informatikdissertationen 2001},
  series       = {{LNI}},
  volume       = {{D-2}},
  publisher    = {{GI}},
  year         = {2001},
  url          = {https://dl.gi.de/handle/20.500.12116/4397},
  isbn         = {3-88579-406-3},
  timestamp    = {Tue, 18 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gi/2001diss.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/ECCC-TR01-004,
  author       = {Tobias G{\"{a}}rtner and
                  G{\"{u}}nter Hotz},
  title        = {Recursive analytic functions of a complex variable},
  journal      = {Electron. Colloquium Comput. Complex.},
  volume       = {{TR01-004}},
  year         = {2001},
  url          = {https://eccc.weizmann.ac.il/eccc-reports/2001/TR01-004/index.html},
  eprinttype    = {ECCC},
  eprint       = {TR01-004},
  timestamp    = {Wed, 28 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eccc/ECCC-TR01-004.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:conf/gi/1999diss,
  editor       = {Herbert Fiedler and
                  Oliver G{\"{u}}nther and
                  Werner Grass and
                  Steffen H{\"{o}}lldobler and
                  G{\"{u}}nter Hotz and
                  R{\"{u}}diger Reischuk and
                  Bernhard Seeger and
                  Dorothea Wagner},
  title        = {Ausgezeichnete Informatikdissertationen 1999},
  publisher    = {Teubner},
  year         = {2000},
  url          = {https://doi.org/10.1007/978-3-322-84823-9},
  doi          = {10.1007/978-3-322-84823-9},
  isbn         = {978-3-519-02650-1},
  timestamp    = {Mon, 17 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gi/1999diss.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:conf/gi/2000diss,
  editor       = {Herbert Fiedler and
                  Werner Grass and
                  Oliver G{\"{u}}nther and
                  Steffen H{\"{o}}lldobler and
                  G{\"{u}}nter Hotz and
                  R{\"{u}}diger Reischuk and
                  Bernhard Seeger and
                  Dorothea Wagner},
  title        = {Ausgezeichnete Informatikdissertationen 2000},
  series       = {{LNI}},
  volume       = {{D-1}},
  publisher    = {{GI}},
  year         = {2000},
  url          = {https://dl.gi.de/handle/20.500.12116/4396},
  isbn         = {3-88579-405-5},
  timestamp    = {Tue, 18 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gi/2000diss.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ChadzelekH99,
  author       = {Thomas Chadzelek and
                  G{\"{u}}nter Hotz},
  title        = {Analytic Machines},
  journal      = {Theor. Comput. Sci.},
  volume       = {219},
  number       = {1-2},
  pages        = {151--167},
  year         = {1999},
  url          = {https://doi.org/10.1016/S0304-3975(98)00287-4},
  doi          = {10.1016/S0304-3975(98)00287-4},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/ChadzelekH99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vr/HotzKLSSW99,
  author       = {G{\"{u}}nter Hotz and
                  Andreas Kerzmann and
                  Christian Lennerz and
                  Rainer Schmid and
                  Elmar Sch{\"{o}}mer and
                  Thomas Warken},
  title        = {SiLVIA - {A} Simulation Library for Virtual Reality Applications},
  booktitle    = {{IEEE} Virtual Reality 1999 Conference, VR'99, Houston, Texas, USA,
                  March 13-17, 1999, Proceedings},
  pages        = {82},
  publisher    = {{IEEE} Computer Society},
  year         = {1999},
  url          = {https://doi.org/10.1109/VR.1999.756934},
  doi          = {10.1109/VR.1999.756934},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vr/HotzKLSSW99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vrst/HotzKLSSW99,
  author       = {G{\"{u}}nter Hotz and
                  Andreas Kerzmann and
                  Christian Lennerz and
                  Rainer Schmid and
                  Elmar Sch{\"{o}}mer and
                  Thomas Warken},
  editor       = {Don Brutzman and
                  Heedong Ko and
                  Mel Slater},
  title        = {Calculation of contact forces},
  booktitle    = {Proceedings of the {ACM} Symposium on Virtual Reality Software and
                  Technology, {VRST} 1999, London, UK, December 20-22, 1999},
  pages        = {180--181},
  publisher    = {{ACM}},
  year         = {1999},
  url          = {https://doi.org/10.1145/323663.323701},
  doi          = {10.1145/323663.323701},
  timestamp    = {Thu, 29 Nov 2018 12:50:42 +0100},
  biburl       = {https://dblp.org/rec/conf/vrst/HotzKLSSW99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:conf/gi/1996diss,
  editor       = {Wolfgang Bibel and
                  Herbert Fiedler and
                  Werner Grass and
                  Peter Gorny and
                  G{\"{u}}nter Hotz and
                  Immo O. Kerner and
                  R{\"{u}}diger Reischuk and
                  Friedrich Roithmayr},
  title        = {Ausgezeichnete Informatikdissertationen 1996},
  publisher    = {Vieweg+Teubner Verlag},
  year         = {1998},
  url          = {https://doi.org/10.1007/978-3-322-91230-5},
  doi          = {10.1007/978-3-322-91230-5},
  isbn         = {978-3-519-02646-4},
  timestamp    = {Mon, 17 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gi/1996diss.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/HotzP97,
  author       = {G{\"{u}}nter Hotz and
                  Gisela Pitsch},
  title        = {On Using Semi-Dyck Sets to Analyse Coupled-Context-Free Languages},
  journal      = {Fundam. Informaticae},
  volume       = {29},
  number       = {1-2},
  pages        = {1--26},
  year         = {1997},
  url          = {https://doi.org/10.3233/FI-1997-291201},
  doi          = {10.3233/FI-1997-291201},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/HotzP97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/HotzW97,
  author       = {G{\"{u}}nter Hotz and
                  Hongzhong Wu},
  editor       = {Christian Freksa and
                  Matthias Jantzen and
                  R{\"{u}}diger Valk},
  title        = {On the Arrangement Complexity of Uniform Trees},
  booktitle    = {Foundations of Computer Science: Potential - Theory - Cognition, to
                  Wilfried Brauer on the occasion of his sixtieth birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {1337},
  pages        = {337--350},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0052102},
  doi          = {10.1007/BFB0052102},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/HotzW97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/SchollMHM97,
  author       = {Christoph Scholl and
                  S. Melchior and
                  G{\"{u}}nter Hotz and
                  Paul Molitor},
  title        = {Minimizing {ROBDD} sizes of incompletely specified Boolean functionsby
                  exploiting strong symmetries},
  booktitle    = {European Design and Test Conference, ED{\&}TC '97, Paris, France,
                  17-20 March 1997},
  pages        = {229--234},
  publisher    = {{IEEE} Computer Society},
  year         = {1997},
  url          = {https://doi.org/10.1109/EDTC.1997.582364},
  doi          = {10.1109/EDTC.1997.582364},
  timestamp    = {Wed, 03 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/date/SchollMHM97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ida/SchiefferH97,
  author       = {Bj{\"{o}}rn Schieffer and
                  G{\"{u}}nter Hotz},
  editor       = {Xiaohui Liu and
                  Paul R. Cohen and
                  Michael R. Berthold},
  title        = {Diagnosis of Tank Ballast Systems},
  booktitle    = {Advances in Intelligent Data Analysis, Reasoning about Data, Second
                  International Symposium, IDA-97, London, UK, August 4-6, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1280},
  pages        = {597--608},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0052874},
  doi          = {10.1007/BFB0052874},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/ida/SchiefferH97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HotzP96,
  author       = {G{\"{u}}nter Hotz and
                  Gisela Pitsch},
  title        = {On Parsing Coupled-Context-Free Languages},
  journal      = {Theor. Comput. Sci.},
  volume       = {161},
  number       = {1{\&}2},
  pages        = {205--233},
  year         = {1996},
  url          = {https://doi.org/10.1016/0304-3975(95)00114-X},
  doi          = {10.1016/0304-3975(95)00114-X},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/HotzP96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/HotzP95,
  author       = {G{\"{u}}nter Hotz and
                  Gisela Pitsch},
  editor       = {Jir{\'{\i}} Wiedermann and
                  Petr H{\'{a}}jek},
  title        = {A New Approach to Analyse Coupled-Context-Free Languages},
  booktitle    = {Mathematical Foundations of Computer Science 1995, 20th International
                  Symposium, MFCS'95, Prague, Czech Republic, August 28 - September
                  1, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {969},
  pages        = {349--358},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60246-1\_141},
  doi          = {10.1007/3-540-60246-1\_141},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/HotzP95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/ECCC-TR95-025,
  author       = {G{\"{u}}nter Hotz and
                  Gero Vierke and
                  Bj{\"{o}}rn Schieffer},
  title        = {Analytic Machines},
  journal      = {Electron. Colloquium Comput. Complex.},
  volume       = {{TR95-025}},
  year         = {1995},
  url          = {https://eccc.weizmann.ac.il/eccc-reports/1995/TR95-025/index.html},
  eprinttype    = {ECCC},
  eprint       = {TR95-025},
  timestamp    = {Wed, 28 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eccc/ECCC-TR95-025.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/Hotz94,
  author       = {G{\"{u}}nter Hotz},
  title        = {Zum 25j{\"{a}}hrigen Jubil{\"{a}}um},
  journal      = {Inform. Spektrum},
  volume       = {17},
  number       = {4},
  pages        = {208},
  year         = {1994},
  timestamp    = {Thu, 13 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/insk/Hotz94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/HotzP94,
  author       = {G{\"{u}}nter Hotz and
                  Gisela Pitsch},
  editor       = {Serge Abiteboul and
                  Eli Shamir},
  title        = {Fast Uniform Analysis of Coupled-Context-Free Languages},
  booktitle    = {Automata, Languages and Programming, 21st International Colloquium,
                  ICALP94, Jerusalem, Israel, July 11-14, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {820},
  pages        = {412--423},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58201-0\_86},
  doi          = {10.1007/3-540-58201-0\_86},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/HotzP94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itc/BurchHHKNRS94,
  author       = {Thomas Burch and
                  Joachim Hartmann and
                  G{\"{u}}nter Hotz and
                  M. Krallmann and
                  U. Nikolaus and
                  Sudhakar M. Reddy and
                  Uwe Sparmann},
  title        = {A Hierarchical Environment for Interactive Test Engineering},
  booktitle    = {Proceedings {IEEE} International Test Conference 1994, {TEST:} The
                  Next 25 Years, Washington, DC, USA, October 2-6, 1994},
  pages        = {461--470},
  publisher    = {{IEEE} Computer Society},
  year         = {1994},
  url          = {https://doi.org/10.1109/TEST.1994.527988},
  doi          = {10.1109/TEST.1994.527988},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/itc/BurchHHKNRS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eik/Hotz93,
  author       = {G{\"{u}}nter Hotz},
  title        = {Search Trees and Search Graphs for Markov Sources},
  journal      = {J. Inf. Process. Cybern.},
  volume       = {29},
  number       = {5},
  pages        = {283--292},
  year         = {1993},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/eik/Hotz93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0068065,
  author       = {G{\"{u}}nter Hotz},
  title        = {Einf{\"{u}}hrung in die Informatik},
  series       = {Leitf{\"{a}}den und Monographien der Informatik},
  publisher    = {Teubner},
  year         = {1990},
  isbn         = {978-3-519-02246-6},
  timestamp    = {Tue, 03 May 2011 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/0068065.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurodac/BeckerBHKKMOPS90,
  author       = {Bernd Becker and
                  Thomas Burch and
                  G{\"{u}}nter Hotz and
                  D. Kiel and
                  Reiner Kolla and
                  Paul Molitor and
                  Hans{-}Georg Osthof and
                  Gisela Pitsch and
                  Uwe Sparmann},
  editor       = {Gordon Adshead and
                  Jochen A. G. Jess},
  title        = {A graphical system for hierarchical specifications and checkups of
                  {VLSI} circuits},
  booktitle    = {European Design Automation Conference, {EURO-DAC} 1990, Glasgow, Scotland,
                  UK, March 12-15, 1990},
  pages        = {174--179},
  publisher    = {{IEEE} Computer Society},
  year         = {1990},
  url          = {https://doi.org/10.1109/EDAC.1990.136640},
  doi          = {10.1109/EDAC.1990.136640},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/eurodac/BeckerBHKKMOPS90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tag/GuanH90,
  author       = {Yonggang Guan and
                  G{\"{u}}nter Hotz},
  editor       = {Karin Harbusch and
                  Wolfgang Wahlster},
  title        = {TAGs by interpreting Context Free Tree Languages},
  booktitle    = {Proceedings of the First International Workshop on Tree Adjoining
                  Grammar and Related Frameworks, {TAG+} 1990, Schlo{\ss} Dagstuhl,
                  Germany, August 15-17, 1990},
  pages        = {10},
  publisher    = {Internationales Begegnungs- und Forschungszentrum f{\"{u}}r Informatik
                  {(IBFI)}},
  year         = {1990},
  url          = {https://aclanthology.org/W90-0206/},
  timestamp    = {Fri, 06 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tag/GuanH90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eik/HotzK89,
  author       = {G{\"{u}}nter Hotz and
                  Thomas Kretschmer},
  title        = {The Power of the Greibach Normal Form},
  journal      = {J. Inf. Process. Cybern.},
  volume       = {25},
  number       = {10},
  pages        = {507--512},
  year         = {1989},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/eik/HotzK89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iii/HotzBDMRS88,
  author       = {G{\"{u}}nter Hotz and
                  Thomas Burch and
                  W. Dorndorf and
                  J. Messerchmidt and
                  M. Ries and
                  T. Sch{\"{a}}fer},
  editor       = {Bernhard Gollan and
                  Wolfgang J. Paul and
                  Alwine Schmitt},
  title        = {Anwendungen und Portierungen der Programmiersprache Comskee},
  booktitle    = {Innovative Informations-Infrastrukturen, Ergebnisse einer Kooperation
                  der Universit{\"{a}}t des Saarlandes und der Siemens AG, I.I.I.-Forum,
                  Saarbr{\"{u}}cken, 12.-13. Oktober 1988, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {184},
  pages        = {170--186},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/978-3-642-74116-6\_12},
  doi          = {10.1007/978-3-642-74116-6\_12},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iii/HotzBDMRS88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/BeckerH87,
  author       = {Bernd Becker and
                  G{\"{u}}nter Hotz},
  title        = {On the Optimal Layout of Planar Graphs with Fixed Boundary},
  journal      = {{SIAM} J. Comput.},
  volume       = {16},
  number       = {5},
  pages        = {946--972},
  year         = {1987},
  url          = {https://doi.org/10.1137/0216061},
  doi          = {10.1137/0216061},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/siamcomp/BeckerH87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/BeckerHKMO87,
  author       = {Bernd Becker and
                  G{\"{u}}nter Hotz and
                  Reiner Kolla and
                  Paul Molitor and
                  Hans{-}Georg Osthof},
  editor       = {A. O'Neill and
                  D. Thomas},
  title        = {Hierarchical Design Based on a Calculus of Nets},
  booktitle    = {Proceedings of the 24th {ACM/IEEE} Design Automation Conference. Miami
                  Beach, FL, USA, June 28 - July 1, 1987},
  pages        = {649--653},
  publisher    = {{IEEE} Computer Society Press / {ACM}},
  year         = {1987},
  url          = {https://doi.org/10.1145/37888.37992},
  doi          = {10.1145/37888.37992},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/BeckerHKMO87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ife/HotzBKM86,
  author       = {G{\"{u}}nter Hotz and
                  Bernd Becker and
                  Reiner Kolla and
                  Paul Molitor},
  title        = {Ein logisch-topologischer Kalk{\"{u}}l zur Konstruktion integrierter
                  Schaltkreise, Teil {I}},
  journal      = {Inform. Forsch. Entwickl.},
  volume       = {1},
  number       = {1},
  pages        = {38--47},
  year         = {1986},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ife/HotzBKM86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ife/HotzBKM86a,
  author       = {G{\"{u}}nter Hotz and
                  Bernd Becker and
                  Reiner Kolla and
                  Paul Molitor},
  title        = {Ein logisch-topologischer Kalk{\"{u}}l zur Konstruktion integrierter
                  Schaltkreise, Teil {II}},
  journal      = {Inform. Forsch. Entwickl.},
  volume       = {1},
  number       = {2},
  pages        = {72--82},
  year         = {1986},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ife/HotzBKM86a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Hotz86,
  author       = {G{\"{u}}nter Hotz},
  title        = {A Representation Theorem of Infinite Dimensional Algebras and Applications
                  to Language Theory},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {33},
  number       = {3},
  pages        = {423--455},
  year         = {1986},
  url          = {https://doi.org/10.1016/0022-0000(86)90061-9},
  doi          = {10.1016/0022-0000(86)90061-9},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/Hotz86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/HotzKM86,
  author       = {G{\"{u}}nter Hotz and
                  Reiner Kolla and
                  Paul Molitor},
  editor       = {Hartmut Ehrig and
                  Manfred Nagl and
                  Grzegorz Rozenberg and
                  Azriel Rosenfeld},
  title        = {On Network Algebras and Recursive Equations},
  booktitle    = {Graph-Grammars and Their Application to Computer Science, 3rd International
                  Workshop, Warrenton, Virginia, USA, December 2-6, 1986},
  series       = {Lecture Notes in Computer Science},
  volume       = {291},
  pages        = {250--261},
  publisher    = {Springer},
  year         = {1986},
  url          = {https://doi.org/10.1007/3-540-18771-5\_57},
  doi          = {10.1007/3-540-18771-5\_57},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gg/HotzKM86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Hotz84,
  author       = {G{\"{u}}nter Hotz},
  editor       = {Hans{-}Dieter Ehrich},
  title        = {{\"{U}}ber die logisch-topologische Entwurfsebene bei der Konstruktion
                  gro{\ss}er integrierter Schaltkreise},
  booktitle    = {Fachgespr{\"{a}}che auf der 14. GI-Jahrestagung, Braunschweig,
                  1.-2. Oktober 1984, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {89},
  pages        = {17--27},
  publisher    = {Springer},
  year         = {1984},
  url          = {https://doi.org/10.1007/978-3-642-70087-3\_2},
  doi          = {10.1007/978-3-642-70087-3\_2},
  timestamp    = {Tue, 23 May 2017 01:10:32 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/Hotz84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Hotz84,
  author       = {G{\"{u}}nter Hotz},
  editor       = {Michal Chytil and
                  V{\'{a}}clav Koubek},
  title        = {Outline of an Algebraic Language Theory},
  booktitle    = {Mathematical Foundations of Computer Science 1984, Praha, Czechoslovakia,
                  September 3-7, 1984, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {176},
  pages        = {64--79},
  publisher    = {Springer},
  year         = {1984},
  url          = {https://doi.org/10.1007/BFb0030290},
  doi          = {10.1007/BFB0030290},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/Hotz84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eik/Hotz81,
  author       = {G{\"{u}}nter Hotz},
  title        = {k-dimensionale syntaktische Monoide},
  journal      = {J. Inf. Process. Cybern.},
  volume       = {17},
  number       = {8/9},
  pages        = {435--449},
  year         = {1981},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/eik/Hotz81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tcs/Hotz81,
  author       = {G{\"{u}}nter Hotz},
  editor       = {Peter Deussen},
  title        = {Ein rein automatentheoretischer Aufbau der Theorie der kontext-freien
                  Sprachen},
  booktitle    = {Theoretical Computer Science, 5th GI-Conference, Karlsruhe, Germany,
                  March 23-25, 1981, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {104},
  pages        = {76--77},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/BFb0017299},
  doi          = {10.1007/BFB0017299},
  timestamp    = {Tue, 14 May 2019 10:00:39 +0200},
  biburl       = {https://dblp.org/rec/conf/tcs/Hotz81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/Hotz80,
  author       = {G{\"{u}}nter Hotz},
  title        = {Konrad Zuse: Forschung und Entwicklung},
  journal      = {Inform. Spektrum},
  volume       = {3},
  number       = {1},
  pages        = {41--47},
  year         = {1980},
  timestamp    = {Thu, 13 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/insk/Hotz80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/Hotz80,
  author       = {G{\"{u}}nter Hotz},
  title        = {Verschr{\"{a}}nkte Homomorphismen Formaler Sprachen},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {14},
  number       = {2},
  pages        = {193--208},
  year         = {1980},
  url          = {https://doi.org/10.1051/ita/1980140201931},
  doi          = {10.1051/ITA/1980140201931},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/Hotz80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Hotz80,
  author       = {G{\"{u}}nter Hotz},
  title        = {Eine neue Invariante f{\"{u}}r Kontextfreie Sprachen},
  journal      = {Theor. Comput. Sci.},
  volume       = {11},
  pages        = {107--116},
  year         = {1980},
  url          = {https://doi.org/10.1016/0304-3975(80)90040-7},
  doi          = {10.1016/0304-3975(80)90040-7},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Hotz80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eik/HotzR79,
  author       = {G{\"{u}}nter Hotz and
                  Rockford J. Ross},
  title        = {LL(k)- und LR(k)-Invarianz von kontexfreien Grammatiken unter einer
                  Transformation auf Greibach-Normalform},
  journal      = {J. Inf. Process. Cybern.},
  volume       = {15},
  number       = {1/2},
  pages        = {73--86},
  year         = {1979},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/eik/HotzR79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/Hotz79,
  author       = {G{\"{u}}nter Hotz},
  title        = {{\"{U}}ber die Darstellbarkeit des syntaktischen Mono{\"{\i}}des
                  kontextfreier Sprachen},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {13},
  number       = {4},
  pages        = {337--345},
  year         = {1979},
  url          = {https://doi.org/10.1051/ita/1979130403371},
  doi          = {10.1051/ITA/1979130403371},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/Hotz79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Hotz79,
  author       = {G{\"{u}}nter Hotz},
  editor       = {Lothar Budach},
  title        = {Necessary decidable conditions for the word and equivalence problem
                  of formal languages},
  booktitle    = {Fundamentals of Computation Theory, {FCT} 1979, Proceedings of the
                  Conference on Algebraic, Arthmetic, and Categorial Methods in Computation
                  Theory, Berlin/Wendisch-Rietz, Germany, September 17-21, 1979},
  pages        = {575--576},
  publisher    = {Akademie-Verlag, Berlin},
  year         = {1979},
  timestamp    = {Mon, 29 Jul 2019 11:58:23 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/Hotz79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/actaC/Hotz80,
  author       = {G{\"{u}}nter Hotz},
  title        = {Normal-form transformations of context-free grammars},
  journal      = {Acta Cybern.},
  volume       = {4},
  number       = {1},
  pages        = {65--84},
  year         = {1978},
  url          = {https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3167},
  timestamp    = {Wed, 16 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/actaC/Hotz80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eik/Hotz77,
  author       = {G{\"{u}}nter Hotz},
  title        = {Space-Komplexit{\"{a}}t von klammerfreien Ausdr{\"{u}}cken
                  mit Typen},
  journal      = {J. Inf. Process. Cybern.},
  volume       = {13},
  number       = {12},
  pages        = {655--657},
  year         = {1977},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/eik/Hotz77.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/HotzS77,
  author       = {G{\"{u}}nter Hotz and
                  Manfred Stadl},
  editor       = {Marek Karpinski},
  title        = {Network Complexity},
  booktitle    = {Fundamentals of Computation Theory, Proceedings of the 1977 International
                  FCT-Conference, Poznan-K{\'{o}}rnik, Poland, September 19-23,
                  1977},
  series       = {Lecture Notes in Computer Science},
  volume       = {56},
  pages        = {405--420},
  publisher    = {Springer},
  year         = {1977},
  url          = {https://doi.org/10.1007/3-540-08442-8\_109},
  doi          = {10.1007/3-540-08442-8\_109},
  timestamp    = {Mon, 02 Sep 2019 13:37:20 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/HotzS77.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Hotz76,
  author       = {G{\"{u}}nter Hotz},
  title        = {Schranken f{\"{u}}r Balanced Trees bei ausgewogenen Verteilungen},
  journal      = {Theor. Comput. Sci.},
  volume       = {3},
  number       = {1},
  pages        = {51--59},
  year         = {1976},
  url          = {https://doi.org/10.1016/0304-3975(76)90064-5},
  doi          = {10.1016/0304-3975(76)90064-5},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Hotz76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Hotz74,
  author       = {G{\"{u}}nter Hotz},
  title        = {Sequentielle Analyse kontextfreier Sprachen},
  journal      = {Acta Informatica},
  volume       = {4},
  pages        = {55--75},
  year         = {1974},
  url          = {https://doi.org/10.1007/BF00288936},
  doi          = {10.1007/BF00288936},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Hotz74.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/category/Hotz74,
  author       = {G{\"{u}}nter Hotz},
  editor       = {Ernest G. Manes},
  title        = {Strukturelle Verwandtschaften von semi-Thue-Systemen},
  booktitle    = {Category Theory Applied to Computation and Control, Proceedings of
                  the First International Symposium, San Francisco, CA, USA, February
                  25-26, 1974, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {25},
  pages        = {174--179},
  publisher    = {Springer},
  year         = {1974},
  url          = {https://doi.org/10.1007/3-540-07142-3\_78},
  doi          = {10.1007/3-540-07142-3\_78},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/category/Hotz74.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ibm/Hotz74,
  author       = {G{\"{u}}nter Hotz},
  editor       = {Clemens Hackl},
  title        = {Axiomatisierung bei Programmiersprachen und ihre Grenzen},
  booktitle    = {Programming Methodology, 4th Informatik Symposium, {IBM} Germany,
                  Wildbad, September 25-27, 1974},
  series       = {Lecture Notes in Computer Science},
  volume       = {23},
  pages        = {466--476},
  publisher    = {Springer},
  year         = {1974},
  url          = {https://doi.org/10.1007/3-540-07131-8\_37},
  doi          = {10.1007/3-540-07131-8\_37},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/ibm/Hotz74.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Hotz74,
  author       = {G{\"{u}}nter Hotz},
  editor       = {Jacques Loeckx},
  title        = {Komplexit{\"{a}}tsma{\ss}e f{\"{u}}r Ausdr{\"{u}}cke},
  booktitle    = {Automata, Languages and Programming, 2nd Colloquium, University of
                  Saarbr{\"{u}}cken, Germany, July 29 - August 2, 1974, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14},
  pages        = {398--412},
  publisher    = {Springer},
  year         = {1974},
  url          = {https://doi.org/10.1007/3-540-06841-4\_77},
  doi          = {10.1007/3-540-06841-4\_77},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/Hotz74.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computing/Hotz69,
  author       = {G{\"{u}}nter Hotz},
  title        = {{\"{U}}bertragung automatentheoretischer S{\"{a}}tze auf
                  Chomsky-Sprachen},
  journal      = {Computing},
  volume       = {4},
  number       = {1},
  pages        = {30--42},
  year         = {1969},
  url          = {https://doi.org/10.1007/BF02236540},
  doi          = {10.1007/BF02236540},
  timestamp    = {Thu, 06 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/computing/Hotz69.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eik/Hotz68,
  author       = {G{\"{u}}nter Hotz},
  title        = {Eine Bemerkung zur Zerlegung von Produktionssystemen von Semi-Thue-Systemen},
  journal      = {J. Inf. Process. Cybern.},
  volume       = {4},
  number       = {5},
  pages        = {341--342},
  year         = {1968},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/eik/Hotz68.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computing/Hotz67,
  author       = {G{\"{u}}nter Hotz},
  title        = {Quasilineare Automaten},
  journal      = {Computing},
  volume       = {2},
  number       = {2},
  pages        = {139--152},
  year         = {1967},
  url          = {https://doi.org/10.1007/BF02239183},
  doi          = {10.1007/BF02239183},
  timestamp    = {Thu, 06 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/computing/Hotz67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eik/Hotz66,
  author       = {G{\"{u}}nter Hotz},
  title        = {Eindeutigkeit und Mehrdeutigkeit formaler Sprachen},
  journal      = {J. Inf. Process. Cybern.},
  volume       = {2},
  number       = {4},
  pages        = {235--246},
  year         = {1966},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/eik/Hotz66.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eik/Hotz65,
  author       = {G{\"{u}}nter Hotz},
  title        = {Eine Algebraisierung des Syntheseproblems von Schaltkreisen {I}},
  journal      = {J. Inf. Process. Cybern.},
  volume       = {1},
  number       = {3},
  pages        = {185--205},
  year         = {1965},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/eik/Hotz65.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eik/Hotz65a,
  author       = {G{\"{u}}nter Hotz},
  title        = {Eine Algebraisierung des Syntheseproblems von Schaltkreisen {II}},
  journal      = {J. Inf. Process. Cybern.},
  volume       = {1},
  number       = {4},
  pages        = {209--231},
  year         = {1965},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/eik/Hotz65a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Hotz62,
  author       = {G{\"{u}}nter Hotz},
  title        = {Digital Filters with Threshold Elements},
  booktitle    = {Information Processing, Proceedings of the 2nd {IFIP} Congress 1962,
                  Munich, Germany, August 27 - September 1, 1962},
  pages        = {736--740},
  publisher    = {North-Holland},
  year         = {1962},
  timestamp    = {Fri, 26 Jul 2019 12:25:11 +0200},
  biburl       = {https://dblp.org/rec/conf/ifip/Hotz62.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics