@incollection{Abolhassan-Drefenstedt-Keller-Paul-Scheerer/92,
AUTHOR = {Abolhassan, Ferri and Drefenstedt, Reinhard and Keller, J{\"o}rg and Paul, Wolfgang J. and Scheerer, Dieter},
TITLE = {On the physical design of PRAMs},
BOOKTITLE = {Informatik---Festschrift zum 60.~Geburtstag von G{\"u}nter Hotz},
SERIES = {Teubner-Texte zur Informatik},
VOLUME = {1},
PAGES = {1-19},
YEAR = {1992},
EDITOR = {Buchmann, J. and Ganzinger, H. and Paul, W.J.},
PUBLISHER = {B.G. Teubner},
ADDRESS = {Stuttgart-Leipzig},
}
@incollection{Becker/92a,
AUTHOR = {Becker, Bernd},
TITLE = {Synthesis for testability: Binary decision diagrams},
BOOKTITLE = {Informatik---Festschrift zum 60.~Geburtstag von G{\"u}nter Hotz},
SERIES = {Teubner-Texte zur Informatik},
VOLUME = {1},
PAGES = {21-39},
YEAR = {1992},
EDITOR = {Buchmann, J. and Ganzinger, H. and Paul, W.J.},
PUBLISHER = {B.G. Teubner},
ADDRESS = {Stuttgart-Leipzig},
}
@incollection{Bertsch/92,
AUTHOR = {Bertsch, Eberhard},
TITLE = {{\"a}hnlichkeit von Grammatiken - Ans{\"a}tze und Erfahrungen},
BOOKTITLE = {Informatik---Festschrift zum 60.~Geburtstag von G{\"u}nter Hotz},
SERIES = {Teubner-Texte zur Informatik},
VOLUME = {1},
PAGES = {41-53},
YEAR = {1992},
EDITOR = {Buchmann, J. and Ganzinger, H. and Paul, W.J.},
PUBLISHER = {B.G. Teubner},
ADDRESS = {Stuttgart-Leipzig},
}
@incollection{Blatt/92,
AUTHOR = {Blatt, Hans-Peter},
TITLE = {Verteilung der Nullstellen von Polynomen auf Jordanb{\"o}gen},
BOOKTITLE = {Informatik---Festschrift zum 60.~Geburtstag von G{\"u}nter Hotz},
SERIES = {Teubner-Texte zur Informatik},
VOLUME = {1},
PAGES = {55-67},
YEAR = {1992},
EDITOR = {Buchmann, J. and Ganzinger, H. and Paul, W.J.},
PUBLISHER = {B.G. Teubner},
ADDRESS = {Stuttgart-Leipzig},
}
@incollection{Buchmann-Dullmann/92,
AUTHOR = {Buchmann, Johannes and D{\"u}llmann, Stephan},
TITLE = {Distributed class group computation},
BOOKTITLE = {Informatik---Festschrift zum 60.~Geburtstag von G{\"u}nter Hotz},
SERIES = {Teubner-Texte zur Informatik},
VOLUME = {1},
PAGES = {69-79},
YEAR = {1992},
EDITOR = {Buchmann, J. and Ganzinger, H. and Paul, W.J.},
PUBLISHER = {B.G. Teubner},
ADDRESS = {Stuttgart-Leipzig},
}
@incollection{Claus/92,
AUTHOR = {Claus, Volker},
TITLE = {Complexity measures on permutations},
BOOKTITLE = {Informatik---Festschrift zum 60.~Geburtstag von G{\"u}nter Hotz},
SERIES = {Teubner-Texte zur Informatik},
VOLUME = {1},
PAGES = {81-94},
YEAR = {1992},
EDITOR = {Buchmann, J. and Ganzinger, H. and Paul, W.J.},
PUBLISHER = {B.G. Teubner},
ADDRESS = {Stuttgart-Leipzig},
}
@incollection{Dietzfelbinger-Meyer_auf_der_Heide/92a,
AUTHOR = {Dietzfelbinger, Martin and Meyer auf der Heide, Friedhelm},
TITLE = {Dynamic hashing in real time},
BOOKTITLE = {Informatik---Festschrift zum 60.~Geburtstag von G{\"u}nter Hotz},
SERIES = {Teubner-Texte zur Informatik},
VOLUME = {1},
PAGES = {95-119},
YEAR = {1992},
EDITOR = {Buchmann, J. and Ganzinger, H. and Paul, W.J.},
PUBLISHER = {B.G. Teubner},
ADDRESS = {Stuttgart-Leipzig},
}
@incollection{Ferdinand-Seidl-Wilhelm/92,
AUTHOR = {Ferdinand, Christian and Seidl, Helmut and Wilhelm, Reinhard},
TITLE = {Baumautomaten zur Codeselektion},
BOOKTITLE = {Informatik---Festschrift zum 60.~Geburtstag von G{\"u}nter Hotz},
SERIES = {Teubner-Texte zur Informatik},
VOLUME = {1},
PAGES = {121-144},
YEAR = {1992},
EDITOR = {Buchmann, J. and Ganzinger, H. and Paul, W.J.},
PUBLISHER = {B.G. Teubner},
ADDRESS = {Stuttgart-Leipzig},
}
@incollection{Fischer-Paleologou/92,
AUTHOR = {Fischer, Michael J. and Paleologou, Sophia A.},
TITLE = {Decision making in the presence of noise},
BOOKTITLE = {Informatik---Festschrift zum 60.~Geburtstag von G{\"u}nter Hotz},
SERIES = {Teubner-Texte zur Informatik},
VOLUME = {1},
PAGES = {145-168},
YEAR = {1992},
EDITOR = {Buchmann, J. and Ganzinger, H. and Paul, W.J.},
PUBLISHER = {B.G. Teubner},
ADDRESS = {Stuttgart-Leipzig},
}
@incollection{Halstenberg-Reischuk/92,
AUTHOR = {Halstenberg, Bernd and Reischuk, R{\"u}diger},
TITLE = {{\"u}ber den Nutzen von Orakelfragen bei nichtdeterministischen Kommunikationsprotokollen},
BOOKTITLE = {Informatik---Festschrift zum 60.~Geburtstag von G{\"u}nter Hotz},
SERIES = {Teubner-Texte zur Informatik},
VOLUME = {1},
PAGES = {169-183},
YEAR = {1992},
EDITOR = {Buchmann, J. and Ganzinger, H. and Paul, W.J.},
PUBLISHER = {B.G. Teubner},
ADDRESS = {Stuttgart-Leipzig},
}
@incollection{Hinsberger-Kolla/92,
AUTHOR = {Hinsberger, Uwe and Kolla, Reiner},
TITLE = {Performance optimization of combinatorial circuits},
BOOKTITLE = {Informatik---Festschrift zum 60.~Geburtstag von G{\"u}nter Hotz},
SERIES = {Teubner-Texte zur Informatik},
VOLUME = {1},
PAGES = {185-208},
YEAR = {1992},
EDITOR = {Buchmann, J. and Ganzinger, H. and Paul, W.J.},
PUBLISHER = {B.G. Teubner},
ADDRESS = {Stuttgart-Leipzig},
}
@incollection{Kretschmer/92,
AUTHOR = {Kretschmer, Thomas},
TITLE = {An algebraic characterization of context-free languages},
BOOKTITLE = {Informatik---Festschrift zum 60.~Geburtstag von G{\"u}nter Hotz},
SERIES = {Teubner-Texte zur Informatik},
VOLUME = {1},
PAGES = {209-213},
YEAR = {1992},
EDITOR = {Buchmann, J. and Ganzinger, H. and Paul, W.J.},
PUBLISHER = {B.G. Teubner},
ADDRESS = {Stuttgart-Leipzig},
}
@incollection{Hromkovic-Monien/92,
AUTHOR = {Hromkovi{\v{c}}, Juraj and Monien, Burkhard},
TITLE = {The bisection problem for graphs of degree 4 (configuring transputer systems)},
BOOKTITLE = {Informatik---Festschrift zum 60.~Geburtstag von G{\"u}nter Hotz},
SERIES = {Teubner-Texte zur Informatik},
VOLUME = {1},
PAGES = {215-233},
YEAR = {1992},
EDITOR = {Buchmann, J. and Ganzinger, H. and Paul, W.J.},
PUBLISHER = {B.G. Teubner},
ADDRESS = {Stuttgart-Leipzig},
}
@incollection{Huynh/92b,
AUTHOR = {Huynh, Dung T.},
TITLE = {Complexity of closeness, sparseness and segment equivalence for context-free and regular languages},
BOOKTITLE = {Informatik---Festschrift zum 60.~Geburtstag von G{\"u}nter Hotz},
SERIES = {Teubner-Texte zur Informatik},
VOLUME = {1},
PAGES = {235-251},
YEAR = {1992},
EDITOR = {Buchmann, J. and Ganzinger, H. and Paul, W.J.},
PUBLISHER = {B.G. Teubner},
ADDRESS = {Stuttgart-Leipzig},
}
@incollection{Kalyanasundaram-Schnitger/92a,
AUTHOR = {Kalyanasundaram, Bala and Schnitger, Georg},
TITLE = {Communication complexity and lower bounds for sequential computation},
BOOKTITLE = {Informatik---Festschrift zum 60.~Geburtstag von G{\"u}nter Hotz},
SERIES = {Teubner-Texte zur Informatik},
VOLUME = {1},
PAGES = {253-268},
YEAR = {1992},
EDITOR = {Buchmann, J. and Ganzinger, H. and Paul, W.J.},
PUBLISHER = {B.G. Teubner},
ADDRESS = {Stuttgart-Leipzig},
}
@incollection{Kemp/92,
AUTHOR = {Kemp, Rainer},
TITLE = {On the stack size of a class of backtrack trees},
BOOKTITLE = {Informatik---Festschrift zum 60.~Geburtstag von G{\"u}nter Hotz},
SERIES = {Teubner-Texte zur Informatik},
VOLUME = {1},
PAGES = {269-282},
YEAR = {1992},
EDITOR = {Buchmann, J. and Ganzinger, H. and Paul, W.J.},
PUBLISHER = {B.G. Teubner},
ADDRESS = {Stuttgart-Leipzig},
}
@incollection{Klein-Mehlhorn-Meiser/92,
AUTHOR = {Klein, Rolf and Mehlhorn, Kurt and Meiser, Stefan},
TITLE = {Randomized incremental construction of abstract Voronoi diagrams},
BOOKTITLE = {Informatik---Festschrift zum 60.~Geburtstag von G{\"u}nter Hotz},
SERIES = {Teubner-Texte zur Informatik},
VOLUME = {1},
PAGES = {283-308},
YEAR = {1992},
EDITOR = {Buchmann, J. and Ganzinger, H. and Paul, W.J.},
PUBLISHER = {B.G. Teubner},
ADDRESS = {Stuttgart-Leipzig},
}
@incollection{Mattern/92,
AUTHOR = {Mattern, Friedemann},
TITLE = {{\"u}ber die relativistische Struktur logischer Zeit in verteilten Systemen},
BOOKTITLE = {Informatik---Festschrift zum 60.~Geburtstag von G{\"u}nter Hotz},
SERIES = {Teubner-Texte zur Informatik},
VOLUME = {1},
PAGES = {309-331},
YEAR = {1992},
EDITOR = {Buchmann, J. and Ganzinger, H. and Paul, W.J.},
PUBLISHER = {B.G. Teubner},
ADDRESS = {Stuttgart-Leipzig},
}
@incollection{Molitor/92,
AUTHOR = {Molitor, Paul},
TITLE = {A hierarchy preserving hierarchical bottom-up 2-layer wiring algorithm with respect to via minimization},
BOOKTITLE = {Informatik---Festschrift zum 60.~Geburtstag von G{\"u}nter Hotz},
SERIES = {Teubner-Texte zur Informatik},
VOLUME = {1},
PAGES = {333-348},
YEAR = {1992},
EDITOR = {Buchmann, J. and Ganzinger, H. and Paul, W.J.},
PUBLISHER = {B.G. Teubner},
ADDRESS = {Stuttgart-Leipzig},
}
@incollection{Osthof/92,
AUTHOR = {Osthof, Hans Georg},
TITLE = {Eine $O(e\log e)$ - Heuristik f{\"u}r ein Flu{\ss}problem},
BOOKTITLE = {Informatik---Festschrift zum 60.~Geburtstag von G{\"u}nter Hotz},
SERIES = {Teubner-Texte zur Informatik},
VOLUME = {1},
PAGES = {349-358},
YEAR = {1992},
EDITOR = {Buchmann, J. and Ganzinger, H. and Paul, W.J.},
PUBLISHER = {B.G. Teubner},
ADDRESS = {Stuttgart-Leipzig},
}
@incollection{Schnorr/92,
AUTHOR = {Schnorr, C.P.},
TITLE = {Computation of the Boolean matrix-vector, AND/OR-product in average time $O(m + n\ln n)$},
BOOKTITLE = {Informatik---Festschrift zum 60.~Geburtstag von G{\"u}nter Hotz},
SERIES = {Teubner-Texte zur Informatik},
VOLUME = {1},
PAGES = {359-362},
YEAR = {1992},
EDITOR = {Buchmann, J. and Ganzinger, H. and Paul, W.J.},
PUBLISHER = {B.G. Teubner},
ADDRESS = {Stuttgart-Leipzig},
}
@incollection{Sellen/92,
AUTHOR = {Sellen, J{\"u}rgen},
TITLE = {Durch kinematische Szenen erzeugte topologische R{\"a}ume},
BOOKTITLE = {Informatik---Festschrift zum 60.~Geburtstag von G{\"u}nter Hotz},
SERIES = {Teubner-Texte zur Informatik},
VOLUME = {1},
PAGES = {363-380},
YEAR = {1992},
EDITOR = {Buchmann, J. and Ganzinger, H. and Paul, W.J.},
PUBLISHER = {B.G. Teubner},
ADDRESS = {Stuttgart-Leipzig},
}
@incollection{Simon/92,
AUTHOR = {Simon, Hans Ulrich},
TITLE = {Bemerkungen zum Sch{\"a}tzen von Bayesschen Diskriminantenfunktionen},
BOOKTITLE = {Informatik---Festschrift zum 60.~Geburtstag von G{\"u}nter Hotz},
SERIES = {Teubner-Texte zur Informatik},
VOLUME = {1},
PAGES = {381-385},
YEAR = {1992},
EDITOR = {Buchmann, J. and Ganzinger, H. and Paul, W.J.},
PUBLISHER = {B.G. Teubner},
ADDRESS = {Stuttgart-Leipzig},
}
@incollection{Smolka/92,
AUTHOR = {Smolka, Gert},
TITLE = {Residuation and guarded rules for constraint logic programming},
BOOKTITLE = {Informatik---Festschrift zum 60.~Geburtstag von G{\"u}nter Hotz},
SERIES = {Teubner-Texte zur Informatik},
VOLUME = {1},
PAGES = {387-400},
YEAR = {1992},
EDITOR = {Buchmann, J. and Ganzinger, H. and Paul, W.J.},
PUBLISHER = {B.G. Teubner},
ADDRESS = {Stuttgart-Leipzig},
}
@incollection{Spaniol-Kremer-Fasbender/92,
AUTHOR = {Spaniol, O. and Kremer, W. and Fasbender, A.},
TITLE = {TPNA: Ein neues Analyseverfahren f{\"u}r Tandem-Priorit{\"a}ten-Netze},
BOOKTITLE = {Informatik---Festschrift zum 60.~Geburtstag von G{\"u}nter Hotz},
SERIES = {Teubner-Texte zur Informatik},
VOLUME = {1},
PAGES = {401-423},
YEAR = {1992},
EDITOR = {Buchmann, J. and Ganzinger, H. and Paul, W.J.},
PUBLISHER = {B.G. Teubner},
ADDRESS = {Stuttgart-Leipzig},
}
@incollection{Sparmann/92,
AUTHOR = {Sparmann, Uwe},
TITLE = {Derivation of high quality tests for large heterogeneous circuits: Floating-point operations},
BOOKTITLE = {Informatik---Festschrift zum 60.~Geburtstag von G{\"u}nter Hotz},
SERIES = {Teubner-Texte zur Informatik},
VOLUME = {1},
PAGES = {425-439},
YEAR = {1992},
EDITOR = {Buchmann, J. and Ganzinger, H. and Paul, W.J.},
PUBLISHER = {B.G. Teubner},
ADDRESS = {Stuttgart-Leipzig},
}
@incollection{Ganzinger-Stuber/92,
AUTHOR = {Ganzinger, Harald and Stuber, J{\"u}rgen},
TITLE = {Inductive theorem proving by consistency for first-order clauses},
BOOKTITLE = {Informatik---Festschrift zum 60.~Geburtstag von G{\"u}nter Hotz},
SERIES = {Teubner-Texte zur Informatik},
VOLUME = {1},
PAGES = {441-461},
YEAR = {1992},
EDITOR = {Buchmann, J. and Ganzinger, H. and Paul, W.J.},
PUBLISHER = {B.G. Teubner},
ADDRESS = {Stuttgart-Leipzig},
}
@incollection{Stucky-Oberweis/92,
AUTHOR = {Stucky, Wolffried and Oberweis, Andreas},
TITLE = {Zur Beherrschbarkeit des Entwicklungsprozesses komplexer Software-Systeme},
BOOKTITLE = {Informatik---Festschrift zum 60.~Geburtstag von G{\"u}nter Hotz},
SERIES = {Teubner-Texte zur Informatik},
VOLUME = {1},
PAGES = {463-480},
YEAR = {1992},
EDITOR = {Buchmann, J. and Ganzinger, H. and Paul, W.J.},
PUBLISHER = {B.G. Teubner},
ADDRESS = {Stuttgart-Leipzig},
}
@incollection{Wahlster/92,
AUTHOR = {Wahlster, Wolfgang},
TITLE = {An intelligent multimodal interface},
BOOKTITLE = {Informatik---Festschrift zum 60.~Geburtstag von G{\"u}nter Hotz},
SERIES = {Teubner-Texte zur Informatik},
VOLUME = {1},
PAGES = {481-494},
YEAR = {1992},
EDITOR = {Buchmann, J. and Ganzinger, H. and Paul, W.J.},
PUBLISHER = {B.G. Teubner},
ADDRESS = {Stuttgart-Leipzig},
}