H. Kleine Büning and T. Lettmann, “Classes of first order formulas under various satisfiability definitions,” in 8th International Conference on Automated Deduction, Berlin, Heidelberg, 1986.
LibreCat: /record/19819
DOI: 10.1007/3-540-16780-3_119

A. Borodin, F. E. Fich, F. Meyer auf der Heide, E. Upfal, and A. Wigderson, “A tradeoff between search and update time for the implicit dictionary problem,” in Automata, Languages and Programming, Berlin, Heidelberg, 1986.
LibreCat: /record/16774
DOI: 10.1007/3-540-16761-7_54

F. Meyer auf der Heide, “Speeding up random access machines by few processors,” in STACS 86, Berlin, Heidelberg, 1986.
LibreCat: /record/16775
DOI: 10.1007/3-540-16078-7_72

A. Borodin, F. Fich, F. Meyer auf der Heide, E. Upfal, and A. Wigderson, “A time-space tradeoff for element distinctness,” in STACS 86, Berlin, Heidelberg, 1986.
LibreCat: /record/16776
DOI: 10.1007/3-540-16078-7_89

M. Oerder, G. Ascheid, R. Haeb-Umbach, and H. Meyr, “An all digital implementation of a receiver for bandwidth-efficient communication,” Signal Processing: Theories and Applications, 1986.
LibreCat: /record/11880

S. Hellebrand, Deformation dicker Punkte und Netze von Quadriken. Universität Regensburg, Fakultät für Mathematik, Regensburg, Germany, 1986.
LibreCat: /record/13022

J. Böcker, I. Hartmann, and C. Zwanzig, Nichtlineare und adaptive Regelungssysteme. Berlin: Springer-Verlag, 1986.
LibreCat: /record/29879
DOI: 10.1007/978-3-642-82879-9

R. Noé, “ENDLESS POLARIZATION CONTROL EXPERIMENT WITH 3 ELEMENTS OF LIMITED BIREFRINGENCE RANGE,”10.1049/el:19860922__ELECTRONICS LETTERS, vol. 22, no. 25, pp. 1341–1343, 1986, doi:10.1049/el:19860922 .
LibreCat: /record/38491
DOI: 10.1049/el:19860922

R. Noé, “ENDLESS POLARIZATION CONTROL IN COHERENT OPTICAL COMMUNICATIONS,”10.1049/el:19860529__ELECTRONICS LETTERS, vol. 22, no. 15, pp. 772–773, 1986, doi:10.1049/el:19860529 .
LibreCat: /record/38490
DOI: 10.1049/el:19860529

F. Meyer auf der Heide, “Efficient simulations among several models of parallel computers (extended abstract),” in STACS 84, Berlin, Heidelberg, 1984.
LibreCat: /record/16787
DOI: 10.1007/3-540-12920-0_20

J. Böcker, Untersuchungen zur L_inf-Stabilität für eine Klasse nichtlinearer Regelungssysteme. Institut für Regelungstechnik, TU Berlin, 1982.
LibreCat: /record/29933

F. Meyer auf der Heide and A. Rollik, “Random access machines and straight-line programs,” in Fundamentals of Computation Theory, Berlin, Heidelberg, 1981.
LibreCat: /record/16813
DOI: 10.1007/3-540-10854-8_29

F. Meyer auf der Heide, “Time-processor trade-offs for universal parallel computers,” in Lecture Notes in Computer Science, Berlin, Heidelberg, 1981.
LibreCat: /record/16814
DOI: 10.1007/3-540-10856-4_111

J. Böcker, Ein Kreiskriterium für Mehrgrößensysteme und seine Anwendung auf mechanische Schwingungssysteme. Institut für Regelungstechnik, TU Berlin, 1981.
LibreCat: /record/30187

P. Klein and F. Meyer auf der Heide, “Untere Zeitschranken für das Rucksack-Problem,” in GI - 10. Jahrestagung, Berlin, Heidelberg, 1980.
LibreCat: /record/16815
DOI: 10.1007/978-3-642-67838-7_34

F. Meyer auf der Heide, “A comparison of two variations of a pebble game on graphs,” Automata, Languages and Programming. ICALP 1979, pp. 411–421, 1979.
LibreCat: /record/16812
DOI: 10.1007/3-540-09510-1_32