jb_1989.pdf

Kunde, M.: Bounds for 1-selection and related problems on grids of processors. - In: J. of
new generat. comput. syst. 2 (1989) S. 129-143; desgl. in: Proc. of PARCELLA 88. Eds.:
G. Wolf et al. Berlin: Springer, 1989, S. 298-301. (Lect. notes in comput. sci.; 342)
Kunde, M.; Tensi, T.: Multi-packet-routing on mesh connected arrays. - In: Proc. of the
1989 ACM Symp. on Parallel Algorithms and Architectures (SPAA 89), Santa Fé, 12.-16.
Juni 1989, S. 336-343.
Kurfess, F.; Reich, M.: Logic and reasoning with neural models. - In: Connectionism in
perspective. Eds.: R. Pfeifer et al. Amsterdam: Elsevier, 1989, S. 365-376.
Lange, K.-J.: Complexity theory and formal languages. - In: Proc. of the 5th Int. Meet. of
Young Computer Scientists (IMYCS 88), CSSR, 14.-18. Nov. 1988. Eds.: J. Dassow et al.
Ungar. Akad. d. Wiss., 1988, S. 37-54; desgl. in: Machines, languages and computation.
Eds.: J. Dassow et al. Berlin: Springer, 1989, S. 19-36. (Lect. notes comput. sci.; 381)
Meyfarth, R.: Objektorientierte Datenhaltung für Wissensbasen unter Verwendung von B-
Bäumen. München: Tech. Univ., Inst. f. Informatik, 1988, 36 S. (TUM-I-8815)
Möller, B.: Applicative assertions. - In: Mathematics of program construction. Ed.: J.L.A.
van de Snepscheut. Berlin: Springer, 1989, S. 348-362. (Lect. notes in comput. sci.; 375)
Möller, B.; Tarlecki, A.; Wirsing, M.: Algebraic specifications of reachable higher-order
algebras. - In: Recent trends in data type specification. Eds.: D. Sannella et al. Berlin:
Springer, 1988, S. 154-169. (Lect. notes in comput. sci.; 332)
Neugebauer, G.; Fronhoefer, B.; Kreitz, C.: XPRTS - an implementation tool for program
synthesis. - In: GWAI-89, proc. of 13th German Workshop on Artificial Intelligence,
Eringerfeld, 18.-22. Sept. 1989. Ed.: D. Metzing. Berlin: Springer, 1989, S. 348-357.
(Informatik-Fachber.; 216)
Payer, M.: Graphentheoretische Ansätze für CAD-Werkzeuge in der CMOS-Technik.
Hamburg: Univ., Diss., 1989, 256 S.
Payer, M.: Hierarchische Zerlegung von Graphen mit zwei ausgezeichneten Knoten mit
Anwendungen bei der Synthese und Analyse von MOS-Schaltungen. - In: Vernetzte und
komplexe Informatiksysteme, GI - 18. Jtag. II, Hamburg, 17.-19. Okt. 1988. Hrsg.: R.
Valk. Berlin: Springer, 1988, S. 174-190. (Informatik-Fachber.; 188)
Payer, M.: Linear-time graph decomposition and application to switching theory
(summary). - In: Design Methodologies for VLSI and Computer Architecture, Pisa, Sept.
19-21, 1988. Ed.: D.A. Edwards. Amsterdam: North Holland, 1989, S. 313-315.
Pfleger, S.; Kasch, G.: Fault tolerant transputer network for image processing. - In: Parallel
processing and artificial intelligence. Ed.: M. Reeve et al. New York: Wiley, 1989,
S. 51-64.
Poetzsch-Heffter, A.: Optimizing implementation of aggregates in the compiler
specification system MAGIC. - In: Proc. of the 2nd Workshop on Compiler Compilers and
High Speed Compilation, Berlin, Oct. 10-14, 1988. Ed.: D. Hammer. Berlin: Springer,
1989, S. 190-203. (Lect. notes in comput. sci.; 371)
Poetzsch-Heffter, A.: Vergleich von auswertungsorientierten Spezifikationsmethoden. -
In: Proc. of the Workshop Verification, Construction and Synthesis of Programs,
Karlsruhe, Apr. 6-7, 1989. Ed.: U. Furbach et al. Karlsruhe: Univ., 1989, S. 74-77.
(Interner Ber.; 10/89)
Reisig, W.: The decent philosophers: an exercise in operational semantics of concurrent
systems. - In: 25 Jaar Semantiek - Liber Amicorum. Ed.: J.W. de Bakker. Amsterdam: CWI,
1988, S. 401-406.
104