@inbookKlein_Meyer auf der Heide_1980, place=Berlin, Heidelberg, title=Untere Zeitschranken für das Rucksack-Problem, DOI=10.1007/978-3-642-67838-7_34, booktitle=GI - 10. Jahrestagung, author=Klein, P. and Meyer auf der Heide, Friedhelm, year=1980 
LibreCat: /record/16815
DOI: 10.1007/978-3-642-67838-7_34

@bookHagengruber_1980, place=München, title=Inseln im Ich, publisher=Matthes &; Seitz, year=1980 
LibreCat: /record/15510

@bookEngels_Pletat_Ehrich_1981, title=Handling Errors and Exceptions in the Algebraic Specifications of Data Types, publisher=University of Osnabrück, author=Engels, Gregor and Pletat, Udo and Ehrich, Hans-Dietrich, year=1981 
LibreCat: /record/8184

@bookPletat_Engels_Ehrich_1981, title=Operational Semantics of Algebraic Specifications with Conditional Equations, publisher=University of Dortmund, Department of Computer Science, author=Pletat, Udo and Engels, Gregor and Ehrich, Hans-Dietrich, year=1981 
LibreCat: /record/8185

@inbookMeyer auf der Heide_Rollik_1981, place=Berlin, Heidelberg, title=Random access machines and straight-line programs, DOI=10.1007/3-540-10854-8_29, booktitle=Fundamentals of Computation Theory, author=Meyer auf der Heide, Friedhelm and Rollik, Anton, year=1981 
LibreCat: /record/16813
DOI: 10.1007/3-540-10854-8_29

@inbookMeyer auf der Heide_1981, place=Berlin, Heidelberg, title=Time-processor trade-offs for universal parallel computers, DOI=10.1007/3-540-10856-4_111, booktitle=Lecture Notes in Computer Science, author=Meyer auf der Heide, Friedhelm, year=1981 
LibreCat: /record/16814
DOI: 10.1007/3-540-10856-4_111

@articleMeyer auf der Heide_1981, title=A comparison of two variations of a pebble game on graphs, DOI=10.1016/s0304-3975(81)80004-7, journal=Theoretical Computer Science, author=Meyer auf der Heide, Friedhelm, year=1981, pages=315–322 
LibreCat: /record/16820
DOI: 10.1016/s0304-3975(81)80004-7

@bookBöcker_1981, title=Ein Kreiskriterium für Mehrgrößensysteme und seine Anwendung auf mechanische Schwingungssysteme, publisher=Institut für Regelungstechnik, TU Berlin, author=Böcker, Joachim, year=1981 
LibreCat: /record/30187

@inproceedingsEngels_Schäfer_1982, place=München/Leipzig, title=Specification of a Programming Support Environment by Graph Grammars, booktitle=Proceedings of the conference on Graphtheoretic Concepts in Computer Science (WG), München (Germany), publisher=Hanser, author=Engels, Gregor and Schäfer, Wilhelm, year=1982, pages=47–62 
LibreCat: /record/7811

@inproceedingsPletat_Engels_Ehrich_1982, title=An Operational Approach to Conditional Algebraic Specifications, volume=82, booktitle=Proceedings of the 7eme Colloque sur les Arbres en Algebre et en Programmation, Lille (France), author=Pletat, Udo and Engels, Gregor and Ehrich, Hans-Dietrich, year=1982, pages=254–270 
LibreCat: /record/7812

@bookBöcker_1982, title=Untersuchungen zur L_inf-Stabilität für eine Klasse nichtlinearer Regelungssysteme, publisher=Institut für Regelungstechnik, TU Berlin, author=Böcker, Joachim, year=1982 
LibreCat: /record/29933

@inproceedingsNagl_Engels_Gall_Schäfer_1983, place=Berlin/Heidelberg, series=LNCS, title=Software Specification by Graph Grammars, volume=153, DOI=dx.doi.org/10.1007/BFb0000113, booktitle=Proceedings of the 2nd International Workshop on Graph-Grammars and Their Application to Computer Science, Osnabrück (Germany), publisher=Springer, author=Nagl, Manfred and Engels, Gregor and Gall, Rupert and Schäfer, Wilhelm, year=1983, pages=267–287, collection=LNCS 
LibreCat: /record/8255
DOI: dx.doi.org/10.1007/BFb0000113

@articleEngels_Gall_Nagl_Schäfer_1983, title=Software Specification Using Graph Grammars, volume=31, DOI=http://dx.doi.org/10.1007/BF02251236, number=4, journal=Computing, author=Engels, Gregor and Gall, Rupert and Nagl, Manfred and Schäfer, Wilhelm, year=1983, pages=317–346 
LibreCat: /record/7411
DOI: http://dx.doi.org/10.1007/BF02251236

@articleEngels_Pletat_Ehrich_1983, title=An Operational Semantics for Specifications of Abstract Data Types with Error Handling, volume=9, DOI=http://dx.doi.org/10.1007/BF00265557, number=3, journal=Acta Informatica, author=Engels, Gregor and Pletat, Udo and Ehrich, Hans-Dietrich, year=1983, pages=235–254 
LibreCat: /record/7412
DOI: http://dx.doi.org/10.1007/BF00265557

@articleMeyer auf der Heide_1983, title=Efficiency of universal parallel computers, DOI=10.1007/bf00265559, journal=Acta Informatica, author=Meyer auf der Heide, Friedhelm, year=1983, pages=269–296 
LibreCat: /record/16806
DOI: 10.1007/bf00265559

@articleKlein_Meyer auf der Heide_1983, title=A lower time bound for the knapsack problem on random access machines, DOI=10.1007/bf00290735, journal=Acta Informatica, author=Klein, Peter and Meyer auf der Heide, Friedhelm, year=1983, pages=385–395 
LibreCat: /record/16807
DOI: 10.1007/bf00290735

@articleMeyer auf der Heide_1983, title=Infinite cube-connected cycles, DOI=10.1016/0020-0190(83)90001-7, journal=Information Processing Letters, author=Meyer auf der Heide, Friedhelm, year=1983, pages=1–2 
LibreCat: /record/16808
DOI: 10.1016/0020-0190(83)90001-7

@inproceedingsMeyer auf der Heide_1983, title=A polynomial linear search algorithm for the n-dimensional knapsack problem, DOI=10.1145/800061.808734, booktitle=Proceedings of the fifteenth annual ACM symposium on Theory of computing  - STOC ’83, author=Meyer auf der Heide, Friedhelm, year=1983 
LibreCat: /record/16809
DOI: 10.1145/800061.808734

@inbookMeyer auf der Heide_1983, place=Berlin/Heidelberg, title=Efficiency of universal parallel computers, DOI=10.1007/bfb0036483, booktitle=Lecture Notes in Computer Science, author=Meyer auf der Heide, Friedhelm, year=1983 
LibreCat: /record/16810
DOI: 10.1007/bfb0036483

@inproceedingsDomik_Leberl_Kobrick_1984, place=Rio de Janeiro, Brazil, series=ISPRS 1984, XVth congress, Rio de Janeiro, 1984, title=Radar Image Simulation and its Application in Image Analysis, volume=25A, number=3, booktitle=International archives of photogrammetry and remote sensing, author=Domik, Gitta and Leberl, F. and Kobrick, M., year=1984, pages=99–108, collection=ISPRS 1984, XVth congress, Rio de Janeiro, 1984 
LibreCat: /record/21603

@inproceedingsDomik_Leberl_Raggam_1984, place=Rio de Janeiro, title=Rectification of Radar Images Using Stereo- Derived Height Models and Simulations, volume=25A, number=3, booktitle=XVth Congress of the International Society for Photogrammetry and Remote Sensing, author=Domik, Gitta and Leberl, F. and Raggam, J., year=1984, pages=109–116 
LibreCat: /record/21604

@inproceedingsDomik_1984, title=Evaluation of radar stereo viewability by means of a simulation technique, volume=2, booktitle=ESA IGARSS 84: Remote Sensing: From Res. towards Operational Use,, author=Domik, Gitta, year=1984 
LibreCat: /record/21605

@articleMeyer auf der Heide_1984, title=A Polynomial Linear Search Algorithm forr the n-Dimensional Knapsack Problem, DOI=10.1145/828.322450, journal=Journal of the ACM (JACM), author=Meyer auf der Heide, Friedhelm, year=1984, pages=668–676 
LibreCat: /record/16785
DOI: 10.1145/828.322450

@inproceedingsMeyer auf der Heide_Reischuk_1984, title=On The Limits To Speed Up Parallel Machines By Large Hardware And Unbounded Communication, DOI=10.1109/sfcs.1984.715901, booktitle=25th Annual Symposium onFoundations of Computer Science, 1984., author=Meyer auf der Heide, Friedhelm and Reischuk, R., year=1984 
LibreCat: /record/16786
DOI: 10.1109/sfcs.1984.715901

@inbookMeyer auf der Heide_1984, place=Berlin, Heidelberg, title=Efficient simulations among several models of parallel computers (extended abstract), DOI=10.1007/3-540-12920-0_20, booktitle=STACS 84, author=Meyer auf der Heide, Friedhelm, year=1984 
LibreCat: /record/16787
DOI: 10.1007/3-540-12920-0_20

@inproceedingsDomik_Kienegger_1984, title=Method to Relate Digital SAR Images and Map Information in Mountainous Areas , booktitle=Proceedings of the World Conference on Remote Sensing, author=Domik, Gitta and Kienegger, E., year=1984 
LibreCat: /record/16922

@inproceedingsRott_Domik_1984, title=The SAR-580 experiment on snow and glaciers at the Austrian test site, volume=2, booktitle=Proc. SAR-580 Investigators Workshop, author=Rott, H. and Domik, Gitta, year=1984, pages=217–232 
LibreCat: /record/15598

@bookDomik_Leberl_Raggam_1984, series=Final Report on contract Nr. DAJA 45-83-C-0018, European Research Office of the US Army and DIBAG Report Nr. 17, title=Differential Rectification of SLR-Images Using Map-Derived and Radar-Generated Digital Elevation Models., publisher=Graz Research Center, author=Domik, Gitta and Leberl, Franz and Raggam, Johannes, year=1984, collection=Final Report on contract Nr. DAJA 45-83-C-0018, European Research Office of the US Army and DIBAG Report Nr. 17 
LibreCat: /record/15600

@articleDomik_Kobrick_Leberl_1984, title=Analyse von Radarbildern mittels digitaler Hoehenmodelle, volume=52, number=5, journal=Bildmessung und luftbildwesen, author=Domik, Gitta and Kobrick, M and Leberl, Franz, year=1984, pages=249–263 
LibreCat: /record/15124

@bookPeckhaus_1984, title=Der nationalsozialistische eneue Begriff“von Wissenschaft am Beispiel der eDeutschen Mathematik“4 Programm, Konzeption und politische Realisierung, Magisterarbeit an der Philosophischen Fakultät der Rheinisch-Westfälischen Technischen Hochschule Aachen, August 1984, author=Peckhaus, Volker, year=1984 
LibreCat: /record/17455

@bookHagengruber_1984, place=München, title=Das Schöne Als Vollzug Der Liebe. Eros-Logos-Verhältnisse in Platons Symposion, author=Hagengruber, Ruth Edith, year=1984 
LibreCat: /record/12793

@articleHilgert_Hofmann_1984, title=Lie Theory of Semigroups, volume=30, journal=Semigroup Forum, author=Hilgert, Joachim and Hofmann, K.H., year=1984, pages=243–251 
LibreCat: /record/51461

@inproceedingsDomik_1985, title=Radar image simulation as a tool to analyze topographic effects on geometry and radiometry of radar imagery, booktitle=Machine processing of remotely sensed data- Quantifying global process: Models, sensor systems, and analytical methods, author=Domik, Gitta, year=1985, pages=248–253 
LibreCat: /record/21606

@articleRaggam_Triebnig_Buchroithner_Domik_Leberl_1985, title=Radargrammetric aspects of SAR data evaluation, journal=Thematic Applications of SAR data, author=Raggam, J and Triebnig, Gerhard and Buchroithner, MF and Domik, Gitta and Leberl, Franz, year=1985, pages=57 
LibreCat: /record/21607

@inproceedingsEngels_Schäfer_1985, place=Berlin/Heidelberg, series=LNCS, title=Graph Grammar Engineering: A Method Used for the Development of an Integrated Programming Support Environment, volume=186, booktitle=Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT 1985), Berlin (Germany), publisher=Springer, author=Engels, Gregor and Schäfer, Wilhelm, year=1985, pages=179–193, collection=LNCS 
LibreCat: /record/7813

@inproceedingsEngels_Schäfer_1985, place=Florenz, title=The Design of an Adaptive and Portable Programming Support Environment, booktitle=Proceedings of the International Computing Symposium, Amsterdam (The Netherlands), author=Engels, Gregor and Schäfer, Wilhelm, year=1985 
LibreCat: /record/7814

@articleLautemann_Meyer auf der Heide_1985, title=Lower time bounds for integer programming with two variables, DOI=10.1016/0020-0190(85)90042-0, journal=Information Processing Letters, author=Lautemann, Clemens and Meyer auf der Heide, Friedhelm, year=1985, pages=101–105 
LibreCat: /record/16779
DOI: 10.1016/0020-0190(85)90042-0

@articleMeyer auf der Heide_1985, title=Lower bounds for solving linear diophantine equations on random access machines, DOI=10.1145/4221.4250, journal=Journal of the ACM (JACM), author=Meyer auf der Heide, Friedhelm, year=1985, pages=929–937 
LibreCat: /record/16780
DOI: 10.1145/4221.4250

@articleMeyer auf der Heide_1985, title=Simulating probabilistic by deterministic algebraic computation trees, DOI=10.1016/0304-3975(85)90079-9, journal=Theoretical Computer Science, author=Meyer auf der Heide, Friedhelm, year=1985, pages=325–330 
LibreCat: /record/16781
DOI: 10.1016/0304-3975(85)90079-9

@inproceedingsMeyer auf der Heide_Wigderson_1985, title=The complexity of parallel sorting, DOI=10.1109/sfcs.1985.58, booktitle=26th Annual Symposium on Foundations of Computer Science (sfcs 1985), author=Meyer auf der Heide, Friedhelm and Wigderson, Avi, year=1985 
LibreCat: /record/16782
DOI: 10.1109/sfcs.1985.58

@inproceedingsFich_Meyer auf der Heide_Ragde_Wigderson_1985, title=One, two, three . . . infinity: lower bounds for parallel computation, DOI=10.1145/22145.22151, booktitle=Proceedings of the seventeenth annual ACM symposium on Theory of computing  - STOC ’85, author=Fich, F E and Meyer auf der Heide, Friedhelm and Ragde, P and Wigderson, A, year=1985 
LibreCat: /record/16783
DOI: 10.1145/22145.22151

@inproceedingsMeyer auf der Heide_1985, title=Fast algorithms for n-dimensional restrictions of hard problems, DOI=10.1145/22145.22191, booktitle=Proceedings of the seventeenth annual ACM symposium on Theory of computing  - STOC ’85, author=Meyer auf der Heide, Friedhelm, year=1985 
LibreCat: /record/16784
DOI: 10.1145/22145.22191

@inproceedingsMeyer auf der Heide_1985, title=Nondeterministic versus probabilistic linear search algorithms, DOI=10.1109/sfcs.1985.38, booktitle=26th Annual Symposium on Foundations of Computer Science (sfcs 1985), author=Meyer auf der Heide, Friedhelm, year=1985 
LibreCat: /record/16788
DOI: 10.1109/sfcs.1985.38

@articleMeyer auf der Heide_1985, title=Lower time bounds for solving linear diophantine equations on several parallel computational models, volume=67, DOI=10.1016/S0019-9958(85)80035-8, number=1–3, journal=Information and Control, author=Meyer auf der Heide, Friedhelm, year=1985, pages=195–211 
LibreCat: /record/16823
DOI: 10.1016/S0019-9958(85)80035-8

@articleLeberl_Kobrick_Domik_1985, title=Mapping with aircraft and satellite radar images, volume=11, DOI=10.1111/j.1477-9730.1985.tb01315.x, number=66, journal=The Photogrammetric Record, publisher=Wiley Online Library, author=Leberl, FW and Kobrick, M and Domik, Gitta, year=1985, pages=647–665 
LibreCat: /record/15314
DOI: 10.1111/j.1477-9730.1985.tb01315.x

@articleRott_Domik_Mätzler_Miller_1985, title=Towards a SAR system for snow and land ice applications, journal=ESA Proceedings of a Workshop on Thematic Applications of SAR DATA p 29-39(SEE N 86-28488 19-42), author=Rott, H and Domik, Gitta and Mätzler, C and Miller, H, year=1985, pages=29–39 
LibreCat: /record/15316

@articleSchmidt_Kuhn_Spiess_1985, title=Distribution of Correlation Times in Glassy Polymers From Pulsed Deuteron NMR, volume=71, journal=Progress in Colloid and Polymer Science, author=Schmidt, Claudia and Kuhn, Karl J. and Spiess, Hans W., year=1985, pages=71–76 
LibreCat: /record/35399
WoS: A1985AVT4500010

@articleHEPPKE_Kitzerow_KRUMREY_1985, title=ELECTROOPTICAL BEHAVIOR OF CHOLESTERIC BLUE PHASES WITH NEGATIVE DIELECTRIC ANISOTROPY, volume=1, number=3–4, journal=MOLECULAR CRYSTALS AND LIQUID CRYSTALS, publisher=GORDON BREACH SCI PUBL LTD, author=HEPPKE, G and Kitzerow, Heinz-Siegfried and KRUMREY, M, year=1985, pages=117–122 
LibreCat: /record/40399

@articleHEPPKE_Kitzerow_KRUMREY_1985, title=ELECTRIC-FIELD INDUCED VARIATION OF THE REFRACTIVE-INDEX IN CHOLESTERIC BLUE PHASES, volume=2, number=1–2, journal=MOLECULAR CRYSTALS AND LIQUID CRYSTALS, publisher=GORDON BREACH SCI PUBL LTD, author=HEPPKE, G and Kitzerow, Heinz-Siegfried and KRUMREY, M, year=1985, pages=59–65 
LibreCat: /record/40395

@articleHilgert_Hofmann_Lawson_1985, title=Controllabilty of Systems on Nilpotent Lie Groups, volume=20, journal=Beiträge Alg. Geom., author=Hilgert, Joachim and Hofmann, K.H. and Lawson, J.D., year=1985, pages=185–190 
LibreCat: /record/51456

@articleHilgert_Hofmann_1985, title=Semigroups in Lie Groups, Semialgebras in Lie Algebras, volume=288, journal=Trans. AMS, author=Hilgert, Joachim and Hofmann, K.H., year=1985, pages=481–504 
LibreCat: /record/51458

@articleHilgert_Hofmann_1985, title=Lorentzian Cones in Real Lie Algebras, volume=100, journal=Monatshefte Math., author=Hilgert, Joachim and Hofmann, K.H., year=1985, pages=183–210 
LibreCat: /record/51457

@articleHilgert_Hofmann_1985, title=Lie Semialgebras are Real Phenomena, volume=270, journal=Math. Ann., author=Hilgert, Joachim and Hofmann, K.H., year=1985, pages=97–103 
LibreCat: /record/51460

@articleHilgert_Hofmann_1985, title=Old and New on SL(2), volume=54, journal=Manuscripta Math., author=Hilgert, Joachim and Hofmann, K.H., year=1985, pages=17–52 
LibreCat: /record/51459

@inbookSeng_1986, title=Architekten- und Künstlerbiographien, booktitle=Ehrwürdige Zeugen verschwundener Tage, Tübinger Baudenkmale in Architekturzeichnungen des 19. Jahrhunderts, Katalog zur Ausstellung Tübingen 1986 (Tübinger Kataloge Nr. 29), author=Seng, Eva- Maria, editor=Kulturamt der Universitätsstadt Tübingen Editor, year=1986, pages=102–108 
LibreCat: /record/19477

@inbookKleine Büning_Lettmann_1986, place=Berlin, Heidelberg, title=Classes of first order formulas under various satisfiability definitions, DOI=10.1007/3-540-16780-3_119, booktitle=8th International Conference on Automated Deduction, author=Kleine Büning, H. and Lettmann, Theodor, year=1986 
LibreCat: /record/19819
DOI: 10.1007/3-540-16780-3_119

@inbookSeng_1986, series=Tübinger Kataloge , title=Die Zeichner und die Art der Darstellung - Zur Entwicklung und Funktion der Architekturzeichnung im 19. Jahrhundert, volume=Nr. 29, booktitle=Ehrwürdige Zeugen verschwundener Tage, Tübinger Baudenkmale in Architekturzeichnungen des 19. Jahrhunderts, Katalog zur Ausstellung Tübingen 1986 (Tübinger Kataloge Nr. 29), author=Seng, Eva- Maria, editor=Kulturamt der Universitätsstadt Tübingen Editor, year=1986, pages=4–16, collection=Tübinger Kataloge  
LibreCat: /record/19360

@inbookSeng_1986, place=Stuttgart, series=Blätter für württembergische Kirchengeschichte, title=Das Ulmer Hauptwerk: Der Blaubeurer Hochaltar und die Erhart-Frage, volume=86. Jg., booktitle=Blätter für württembergische Kirchengeschichte, 86. Jg. , author=Seng, Eva- Maria, editor=Schäfer, Gerhart and Brecht, MartinEditors, year=1986, pages=299–319, collection=Blätter für württembergische Kirchengeschichte 
LibreCat: /record/19364

@inbookEke_1986, place=Aachen, title=Risse: Pytheas, Philostratos et. al. Zu den Protagonisten der frühen Erzählungen Arno Schmidts, booktitle=Arno Schmidt. Das Frühwerk I: Erzählungen. Interpretationen von aGadir8 bis aKosma, publisher=Rader, author=Eke, Norbert Otto, editor=Schardt, Michael MatthiasEditor, year=1986, pages=1513184 
LibreCat: /record/19443

@bookKrimphove_1986, place=Brüssel, title=Belgium in a Nutshell Investitionsmöglichkeiten ausländischer Unternehmen in Belgien, author=Krimphove, Dieter, year=1986 
LibreCat: /record/2092

@articleDomik_Leberl_Cimino_1986, title=Multiple incidence angle SIR-B experiment over Argentina: generation of secondary image products, volume=GE-24, DOI=10.1109/TGRS.1986.289663, number=4, journal=IEEE Transactions on Geoscience and Remote Sensing, publisher=IEEE, author=Domik, Gitta and Leberl, Franz and Cimino, Jobea, year=1986, pages=492–497 
LibreCat: /record/21792
DOI: 10.1109/TGRS.1986.289663

@inproceedingsMercer_Lowry_Leberl_Domik_1986, title=Digital terrain mapping with STAR-1 SAR data, booktitle=International Geoscience and Remote Sensing Symposium, publisher=IGARSS, author=Mercer, JB and Lowry, RT and Leberl, Franz and Domik, Gitta, year=1986, pages=645–650 
LibreCat: /record/21793

@inproceedingsDomik_Leberl_Raggam_1986, title=Developing tools for digital radar image data evaluation, volume=1, booktitle=Remote sensing for resources development and environmental management; Proceedings of the Seventh International Symposium, author=Domik, Gitta and Leberl, Franz and Raggam, J, year=1986, pages=117–119 
LibreCat: /record/21794

@inproceedingsEngels_Lewerentz_Nagl_Schäfer_1986, title=On the Structure of an Incremental and Integrated Software Development Environment, volume=2a, booktitle=Proceedings of the 19th Hawaii International Conference on System Sciences, Hawaii, USA, author=Engels, Gregor and Lewerentz, Claus and Nagl, Manfred and Schäfer, Wilhelm, year=1986, pages=585–597 
LibreCat: /record/7815

@inproceedingsEngels_Sandbrink_1986, place=Bautzen, title=Experiences with a Hybrid-Interpreter Based on Incremental Compilation Techniques, volume=12, booktitle=Proceedings of the Workshop on Compiler Compilers and Incremental Compilation Techniques, Bautzen, publisher=Berlin(Ost): Akademie der Wissenschaften der DDR, author=Engels, Gregor and Sandbrink, Andrea, year=1986, pages=172–184 
LibreCat: /record/8256

@bookEngels_1986, title=Graphen als zentrale Datenstrukturen in einer Software-Entwicklungsumgebung, author=Engels, Gregor, year=1986 
LibreCat: /record/7588

@articleMeyer auf der Heide_1986, title=Efficient Simulations among Several Models of Parallel Computers, DOI=10.1137/0215008, journal=SIAM Journal on Computing, author=Meyer auf der Heide, Friedhelm, year=1986, pages=106–119 
LibreCat: /record/16771
DOI: 10.1137/0215008

@inbookBorodin_Fich_Meyer auf der Heide_Upfal_Wigderson_1986, place=Berlin, Heidelberg, title=A tradeoff between search and update time for the implicit dictionary problem, DOI=10.1007/3-540-16761-7_54, booktitle=Automata, Languages and Programming, author=Borodin, Allan and Fich, Faith E. and Meyer auf der Heide, Friedhelm and Upfal, Eli and Wigderson, Avi, year=1986 
LibreCat: /record/16774
DOI: 10.1007/3-540-16761-7_54

@inbookMeyer auf der Heide_1986, place=Berlin, Heidelberg, title=Speeding up random access machines by few processors, DOI=10.1007/3-540-16078-7_72, booktitle=STACS 86, author=Meyer auf der Heide, Friedhelm, year=1986 
LibreCat: /record/16775
DOI: 10.1007/3-540-16078-7_72

@inbookBorodin_Fich_Meyer auf der Heide_Upfal_Wigderson_1986, place=Berlin, Heidelberg, title=A time-space tradeoff for element distinctness, DOI=10.1007/3-540-16078-7_89, booktitle=STACS 86, author=Borodin, A. and Fich, F. and Meyer auf der Heide, Friedhelm and Upfal, E. and Wigderson, A., year=1986 
LibreCat: /record/16776
DOI: 10.1007/3-540-16078-7_89

@articleLeberl_Domik_Raggam_Kobrick_1986, title=Radar Stereomapping Techniques and Application to SIR-B Images of Mt. Shasta, volume=GE-24, DOI=10.1109/TGRS.1986.289661, number=4, journal=IEEE Transactions on Geoscience and Remote Sensing, author=Leberl, F. and Domik, Gitta and Raggam, J. and Kobrick, M., year=1986, pages=473–481 
LibreCat: /record/16917
DOI: 10.1109/TGRS.1986.289661

@articleLeberl_Domik_Raggam_Cimino_Kobrick_1986, title=Multiple Incidence Angle SIR-B Expenment Over Argentina: Stereo-Radargrammetrc Analysis, volume=GE-24, number=4, journal=IEEE Transactions on Geoscience and Remote Sensing, author=Leberl, F. and Domik, Gitta and Raggam, J. and Cimino, J. and Kobrick, M., year=1986, pages=482–491 
LibreCat: /record/16918

@articleOerder_Ascheid_Haeb-Umbach_Meyr_1986, title=An all digital implementation of a receiver for bandwidth-efficient communication, journal=Signal Processing: Theories and Applications, author=Oerder, Martin and Ascheid, Gerd and Haeb-Umbach, Reinhold and Meyr, Heinrich, year=1986 
LibreCat: /record/11880

@bookHellebrand_1986, place=Universität Regensburg, Fakultät für Mathematik, Regensburg, Germany, title=Deformation dicker Punkte und Netze von Quadriken, author=Hellebrand, Sybille, year=1986 
LibreCat: /record/13022

@inproceedingsDomik_Leberl_1986, title=Using secondary image products to aid in understanding and interpretation of radar imagery, volume=254, booktitle=IGARSS’86: Remote Sensing: Today’s Solutions for Tomorrow’s Information Needs, publisher=European Space Agency, ESA SP, author=Domik, Gitta and Leberl, Franz, year=1986, pages=467–468 
LibreCat: /record/15318

@articleLeberl_Domik_Raggam_Cimino_Kobrick_1986, title=Radargrammetric Experiments with Space Shuttle SIR-B Imagery, journal=International archives of photogrammetry and remote sensing= Archives internationales de photogramm\rquote etrie et de t\rquote el\rquote ed\rquote etection= Internationales Archiv der Photogrammetrie und Fernerkundung, author=Leberl, Franz and Domik, Gitta and Raggam, J and Cimino, J and Kobrick, M, year=1986, pages=333–344 
LibreCat: /record/15254

@articlePeckhaus_1986, title=Case Studies Towards the Establishment of a Social History of Logic, volume=7, journal=History and Philosophy of Logic, author=Peckhaus, Volker, year=1986, pages=185–186 
LibreCat: /record/17468

@bookBöcker_Hartmann_Zwanzig_1986, place=Berlin, title=Nichtlineare und adaptive Regelungssysteme, DOI=10.1007/978-3-642-82879-9, publisher=Springer-Verlag, author=Böcker, Joachim and Hartmann, Irmfried and Zwanzig, Christian, year=1986 
LibreCat: /record/29879
DOI: 10.1007/978-3-642-82879-9

@articleSchmidt_Wefing_Blümich_Spiess_1986, title=Dynamics of molecular reorientations: direct determination of rotational angles from two-dimensional NMR of powders, volume=130, DOI=10.1016/0009-2614(86)80431-6, number=1–2, journal=Chemical Physics Letters, publisher=Elsevier BV, author=Schmidt, Claudia and Wefing, S. and Blümich, B. and Spiess, H.W., year=1986, pages=84–90 
LibreCat: /record/35395
DOI: 10.1016/0009-2614(86)80431-6

@inbookBeckemeyer_Tophinke_1986, place=Osnabrück, title=Eine empirische Untersuchung zu den schriftsprachlichen Leistungen türkischer Schulkinder, booktitle=Narrative Kompetenz. Mündliche und schriftliche Wiedergabe von Erzählstrukturen durch türkische Schulkinder in außerschulischen Lerngruppen, publisher=Manuskriptdruck, author=Beckemeyer, Rita and Tophinke, Doris, editor=Arbeitsstelle für Sprachprobleme von Migranten, year=1986, pages=66–118 
LibreCat: /record/18431

@inbookBigga_Oberliesen_1986, place=Bad Salzdetfurth , title=Geschlechtsspezifische Arbeitsteilung und technische Innovation - Neue Technologien, Frauenerwerbsarbeit und historisch-genetisches Lernen über Arbeit und Technik. , booktitle=Neue Technologien und technisch-ökonomische Bildung., publisher=GATWU, author=Bigga, Regine and Oberliesen, R., year=1986, pages=253–270 
LibreCat: /record/27969

@articleNoé_1986, title=ENDLESS POLARIZATION CONTROL EXPERIMENT WITH 3 ELEMENTS OF LIMITED BIREFRINGENCE RANGE, volume=22, DOI=10.1049/el:19860922, number=25, journal=ELECTRONICS LETTERS, author=Noé, Reinhold, year=1986, pages=1341–1343 
LibreCat: /record/38491
DOI: 10.1049/el:19860922

@articleNoé_1986, title=ENDLESS POLARIZATION CONTROL IN COHERENT OPTICAL COMMUNICATIONS, volume=22, DOI=10.1049/el:19860529, number=15, journal=ELECTRONICS LETTERS, author=Noé, Reinhold, year=1986, pages=772–773 
LibreCat: /record/38490
DOI: 10.1049/el:19860529

@articleHeppke_Oestreicher_Kitzerow_Krumrey_1986, title=Optisches System mit einer Flüssigkristallzelle, Verfahren zu seinem Betrieb und seine Verwendung, author=Heppke, G. and Oestreicher, F. and Kitzerow, Heinz-Siegfried and Krumrey, M., year=1986 
LibreCat: /record/40636

@inbookGrotjahn_1986, place=Hannover, title=Das Städtische Orchester 1921–1955, booktitle=Das Niedersächsische Staatsorchester 1636–1986, publisher=Schlütersche, author=Grotjahn, Rebecca, editor=Niedersächsischen Staatstheater Hannover GmbH, year=1986, pages=129–158 
LibreCat: /record/40617

@inbookHilgert_Hofmann_1986, title=Invariant Cones in Real Lie Algebras, booktitle=Aspects of Positivity in Functional Analysis, publisher=North Holland, author=Hilgert, Joachim and Hofmann, K.H., editor=Nagel, R. and et al., year=1986 
LibreCat: /record/51487

@articleHilgert_1986, title=The Mayer-Vietoris and the Puppe Sequence in K-Theory for C*-algebras, volume=83, journal=Studia Math., author=Hilgert, Joachim, year=1986, pages=97–104 
LibreCat: /record/51454

@articleHilgert_Hofmann_1986, title=On the Automorphism Group of Cones and Wedges, volume=21, journal=Geom. Dedicata, author=Hilgert, Joachim and Hofmann, K.H., year=1986, pages=205–217 
LibreCat: /record/51453

@articleHilgert_Hofmann_1986, title=On Sophus Lie’s Fundamental Theorem, volume=67, journal=J. Funct. Anal., author=Hilgert, Joachim and Hofmann, K.H., year=1986, pages=1–27 
LibreCat: /record/51455

@inbookBüning_Lettmann_1987, place=Berlin, Heidelberg, title=Representation independent query and update operations on propositional definite Horn formulas, DOI=10.1007/3-540-18170-9_167, booktitle=Computation Theory and Logic, author=Büning, Hans Kleine and Lettmann, Theodor, editor=Börger, EgonEditor, year=1987, pages=208–223 
LibreCat: /record/19821
DOI: 10.1007/3-540-18170-9_167

@articlePeckhaus_Thiel_1987, title=DFG fördert an der FAU: Projekt: Fallstudien zur Begründung einer Sozialgeschichte der Logik, volume=70/71, number=Juni 1987, journal=FAU Uni-Kurier, author=Peckhaus, Volker and Thiel, Christian, year=1987, pages=49 
LibreCat: /record/17820

@inbookSeng_1987, series=Tübinger Blätter, title=Ein Hauch von Paris ... Die Planung für den Tübinger Uhlandplatz durch Christian Friedrich von Leins, volume=74. Jg., booktitle=Tübinger Blätter, 74. Jg. , author=Seng, Eva- Maria, editor=Bürger- und Verkehrsverein Tübingen e.V.Editor, year=1987, pages=8–14, collection=Tübinger Blätter 
LibreCat: /record/19359

@inproceedingsDomik_Leberl_1987, title=Image based SAR product simulation for analysis, booktitle=ASPRS-ACSM, author=Domik, Gitta and Leberl, Franz, year=1987 
LibreCat: /record/21791

@inproceedingsEngels_Schürr_1987, place=Berlin/Heidelberg, title=A Hybrid Interpreter in a Software Development Environment, volume=289, booktitle=Proceedings of the 1st European Software Engineering Conference (ESEC ’87), Strasbourg (France), publisher=Springer, author=Engels, Gregor and Schürr, Andy, year=1987, pages=80–88 
LibreCat: /record/7816

@inproceedingsEngels_Nagl_Schäfer_1987, title=On the Structure of Structure-Oriented Editors for Different Applications, volume=22, number=1, booktitle=Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Palo Alto, USA, publisher=ACM SIGPLAN Notices, author=Engels, Gregor and Nagl, Manfred and Schäfer, Wilhelm, year=1987, pages=190–198 
LibreCat: /record/7817

@inproceedingsEngels_Lewerentz_Schäfer_1987, place=Berlin/Heidelberg, title=Graph Grammar Engineering: A Software Specification Method, volume=291, DOI=dx.doi.org/10.1007/3-540-18771-5, booktitle=Proceedings of the 3rd International Workshop on Graph-Grammars and Their Application to Computer Science, Warrenton, VA (USA), publisher=Springer, author=Engels, Gregor and Lewerentz, Claus and Schäfer, Wilhelm, year=1987, pages=186–201 
LibreCat: /record/8257
DOI: dx.doi.org/10.1007/3-540-18771-5

@articleBorodin_Fich_Meyer auf der Heide_Upfal_Wigderson_1987, title=A Time-Space Tradeoff for Element Distinctness, DOI=10.1137/0216007, journal=SIAM Journal on Computing, author=Borodin, A. and Fich, F. and Meyer auf der Heide, Friedhelm and Upfal, E. and Wigderson, A., year=1987, pages=97–99 
LibreCat: /record/16772
DOI: 10.1137/0216007

@articleMeyer auf der Heide_Wigderson_1987, title=The Complexity of Parallel Sorting, DOI=10.1137/0216008, journal=SIAM Journal on Computing, author=Meyer auf der Heide, Friedhelm and Wigderson, Avi, year=1987, pages=100–107 
LibreCat: /record/16773
DOI: 10.1137/0216008

@inproceedingsDomik_1987, title=Digital Rectification Method for Radar Images Applied on Huge Arrays, number=Rep. 29, booktitle=Proceedings of the First Int’l. Workshop on Image Rectification Tech. for Spaceborne Synthetic Aperture Radar, author=Domik, Gitta, year=1987, pages=67–68 
LibreCat: /record/16916

@inproceedingsHaeb-Umbach_Meyr_1987, title=Optimal Carrier Recovery and Detection on Frequency-Nonselective Fading Channels, booktitle=Proc. Symposium on Inf. Theory and Appl. (SITA), Tokio, author=Haeb-Umbach, Reinhold and Meyr, Heinrich, year=1987 
LibreCat: /record/11795