Klein, P., &; Meyer auf der Heide, F. (1980). Untere Zeitschranken für das Rucksack-Problem. In GI - 10. Jahrestagung. Berlin, Heidelberg.https://doi.org/10.1007/978-3-642-67838-7_34 
LibreCat: /record/16815
DOI: 10.1007/978-3-642-67838-7_34

Hagengruber, R. E. (Ed.). (1980). Inseln im Ich. Matthes &; Seitz.
LibreCat: /record/15510

Engels, G., Pletat, U., &; Ehrich, H.-D. (1981). Handling Errors and Exceptions in the Algebraic Specifications of Data Types. University of Osnabrück.
LibreCat: /record/8184

Pletat, U., Engels, G., &; Ehrich, H.-D. (1981). Operational Semantics of Algebraic Specifications with Conditional Equations. University of Dortmund, Department of Computer Science.
LibreCat: /record/8185

Meyer auf der Heide, F., &; Rollik, A. (1981). Random access machines and straight-line programs. In Fundamentals of Computation Theory. Berlin, Heidelberg.https://doi.org/10.1007/3-540-10854-8_29 
LibreCat: /record/16813
DOI: 10.1007/3-540-10854-8_29

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

Meyer auf der Heide, F. (1981). A comparison of two variations of a pebble game on graphs. Theoretical Computer Science, 315–322.https://doi.org/10.1016/s0304-3975(81)80004-7 
LibreCat: /record/16820
DOI: 10.1016/s0304-3975(81)80004-7

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

Engels, G., &; Schäfer, W. (1982). Specification of a Programming Support Environment by Graph Grammars. In Proceedings of the conference on Graphtheoretic Concepts in Computer Science (WG), München (Germany) (pp. 47–62). München/Leipzig: Hanser.
LibreCat: /record/7811

Pletat, U., Engels, G., &; Ehrich, H.-D. (1982). An Operational Approach to Conditional Algebraic Specifications. In Proceedings of the 7eme Colloque sur les Arbres en Algebre et en Programmation, Lille (France) (Vol. 82, pp. 254–270).
LibreCat: /record/7812

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

Nagl, M., Engels, G., Gall, R., &; Schäfer, W. (1983). Software Specification by Graph Grammars. In Proceedings of the 2nd International Workshop on Graph-Grammars and Their Application to Computer Science, Osnabrück (Germany) (Vol. 153, pp. 267–287). Berlin/Heidelberg: Springer.https://doi.org/dx.doi.org/10.1007/BFb0000113 
LibreCat: /record/8255
DOI: dx.doi.org/10.1007/BFb0000113

Engels, G., Gall, R., Nagl, M., &; Schäfer, W. (1983). Software Specification Using Graph Grammars. Computing, 31(4), 317–346.http://dx.doi.org/10.1007/BF02251236 
LibreCat: /record/7411
DOI: http://dx.doi.org/10.1007/BF02251236

Engels, G., Pletat, U., &; Ehrich, H.-D. (1983). An Operational Semantics for Specifications of Abstract Data Types with Error Handling. Acta Informatica, 9(3), 235–254.http://dx.doi.org/10.1007/BF00265557 
LibreCat: /record/7412
DOI: http://dx.doi.org/10.1007/BF00265557

Meyer auf der Heide, F. (1983). Efficiency of universal parallel computers. Acta Informatica, 269–296.https://doi.org/10.1007/bf00265559 
LibreCat: /record/16806
DOI: 10.1007/bf00265559

Klein, P., &; Meyer auf der Heide, F. (1983). A lower time bound for the knapsack problem on random access machines. Acta Informatica, 385–395.https://doi.org/10.1007/bf00290735 
LibreCat: /record/16807
DOI: 10.1007/bf00290735

Meyer auf der Heide, F. (1983). Infinite cube-connected cycles. Information Processing Letters, 1–2.https://doi.org/10.1016/0020-0190(83)90001-7 
LibreCat: /record/16808
DOI: 10.1016/0020-0190(83)90001-7

Meyer auf der Heide, F. (1983). A polynomial linear search algorithm for the n-dimensional knapsack problem. In Proceedings of the fifteenth annual ACM symposium on Theory of computing  - STOC ’83.https://doi.org/10.1145/800061.808734 
LibreCat: /record/16809
DOI: 10.1145/800061.808734

Meyer auf der Heide, F. (1983). Efficiency of universal parallel computers. In Lecture Notes in Computer Science. Berlin/Heidelberg.https://doi.org/10.1007/bfb0036483 
LibreCat: /record/16810
DOI: 10.1007/bfb0036483

Domik, G., Leberl, F., &; Kobrick, M. (1984). Radar Image Simulation and its Application in Image Analysis. In International archives of photogrammetry and remote sensing (Vol. 25A, pp. 99–108). Rio de Janeiro, Brazil.
LibreCat: /record/21603

Domik, G., Leberl, F., &; Raggam, J. (1984). Rectification of Radar Images Using Stereo- Derived Height Models and Simulations. In XVth Congress of the International Society for Photogrammetry and Remote Sensing (Vol. 25A, pp. 109–116). Rio de Janeiro.
LibreCat: /record/21604

Domik, G. (1984). Evaluation of radar stereo viewability by means of a simulation technique. In ESA IGARSS 84: Remote Sensing: From Res. towards Operational Use, (Vol. 2).
LibreCat: /record/21605

Meyer auf der Heide, F. (1984). A Polynomial Linear Search Algorithm forr the n-Dimensional Knapsack Problem. Journal of the ACM (JACM), 668–676.https://doi.org/10.1145/828.322450 
LibreCat: /record/16785
DOI: 10.1145/828.322450

Meyer auf der Heide, F., &; Reischuk, R. (1984). On The Limits To Speed Up Parallel Machines By Large Hardware And Unbounded Communication. In 25th Annual Symposium onFoundations of Computer Science, 1984.https://doi.org/10.1109/sfcs.1984.715901 
LibreCat: /record/16786
DOI: 10.1109/sfcs.1984.715901

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

Domik, G., &; Kienegger, E. (1984). Method to Relate Digital SAR Images and Map Information in Mountainous Areas . In Proceedings of the World Conference on Remote Sensing. Sensing, Bayreuth.
LibreCat: /record/16922

Rott, H., &; Domik, G. (1984). The SAR-580 experiment on snow and glaciers at the Austrian test site. In Proc. SAR-580 Investigators Workshop (Vol. 2, pp. 217–232).
LibreCat: /record/15598

Domik, G., Leberl, F., &; Raggam, J. (1984). Differential Rectification of SLR-Images Using Map-Derived and Radar-Generated Digital Elevation Models. Graz Research Center.
LibreCat: /record/15600

Domik, G., Kobrick, M., &; Leberl, F. (1984). Analyse von Radarbildern mittels digitaler Hoehenmodelle. Bildmessung Und Luftbildwesen, 52(5), 249–263.
LibreCat: /record/15124

Peckhaus, V. (1984). 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.
LibreCat: /record/17455

Hagengruber, R. E. (1984). Das Schöne Als Vollzug Der Liebe. Eros-Logos-Verhältnisse in Platons Symposion.
LibreCat: /record/12793

Hilgert, J., &; Hofmann, K. H. (1984). Lie Theory of Semigroups. Semigroup Forum, 30, 243–251.
LibreCat: /record/51461

Domik, G. (1985). Radar image simulation as a tool to analyze topographic effects on geometry and radiometry of radar imagery. In Machine processing of remotely sensed data- Quantifying global process: Models, sensor systems, and analytical methods (pp. 248–253).
LibreCat: /record/21606

Raggam, J., Triebnig, G., Buchroithner, M., Domik, G., &; Leberl, F. (1985). Radargrammetric aspects of SAR data evaluation. Thematic Applications of SAR Data, 57.
LibreCat: /record/21607

Engels, G., &; Schäfer, W. (1985). Graph Grammar Engineering: A Method Used for the Development of an Integrated Programming Support Environment. In Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT 1985), Berlin (Germany) (Vol. 186, pp. 179–193). Berlin/Heidelberg: Springer.
LibreCat: /record/7813

Engels, G., &; Schäfer, W. (1985). The Design of an Adaptive and Portable Programming Support Environment. In Proceedings of the International Computing Symposium, Amsterdam (The Netherlands). Florenz.
LibreCat: /record/7814

Lautemann, C., &; Meyer auf der Heide, F. (1985). Lower time bounds for integer programming with two variables. Information Processing Letters, 101–105.https://doi.org/10.1016/0020-0190(85)90042-0 
LibreCat: /record/16779
DOI: 10.1016/0020-0190(85)90042-0

Meyer auf der Heide, F. (1985). Lower bounds for solving linear diophantine equations on random access machines. Journal of the ACM (JACM), 929–937.https://doi.org/10.1145/4221.4250 
LibreCat: /record/16780
DOI: 10.1145/4221.4250

Meyer auf der Heide, F. (1985). Simulating probabilistic by deterministic algebraic computation trees. Theoretical Computer Science, 325–330.https://doi.org/10.1016/0304-3975(85)90079-9 
LibreCat: /record/16781
DOI: 10.1016/0304-3975(85)90079-9

Meyer auf der Heide, F., &; Wigderson, A. (1985). The complexity of parallel sorting. In 26th Annual Symposium on Foundations of Computer Science (sfcs 1985).https://doi.org/10.1109/sfcs.1985.58 
LibreCat: /record/16782
DOI: 10.1109/sfcs.1985.58

Fich, F. E., Meyer auf der Heide, F., Ragde, P., &; Wigderson, A. (1985). One, two, three . . . infinity: lower bounds for parallel computation. In Proceedings of the seventeenth annual ACM symposium on Theory of computing  - STOC ’85.https://doi.org/10.1145/22145.22151 
LibreCat: /record/16783
DOI: 10.1145/22145.22151

Meyer auf der Heide, F. (1985). Fast algorithms for n-dimensional restrictions of hard problems. In Proceedings of the seventeenth annual ACM symposium on Theory of computing  - STOC ’85.https://doi.org/10.1145/22145.22191 
LibreCat: /record/16784
DOI: 10.1145/22145.22191

Meyer auf der Heide, F. (1985). Nondeterministic versus probabilistic linear search algorithms. In 26th Annual Symposium on Foundations of Computer Science (sfcs 1985).https://doi.org/10.1109/sfcs.1985.38 
LibreCat: /record/16788
DOI: 10.1109/sfcs.1985.38

Meyer auf der Heide, F. (1985). Lower time bounds for solving linear diophantine equations on several parallel computational models. Information and Control, 67(1–3), 195–211.https://doi.org/10.1016/S0019-9958(85)80035-8 
LibreCat: /record/16823
DOI: 10.1016/S0019-9958(85)80035-8

Leberl, F., Kobrick, M., &; Domik, G. (1985). Mapping with aircraft and satellite radar images. The Photogrammetric Record, 11(66), 647–665.https://doi.org/10.1111/j.1477-9730.1985.tb01315.x 
LibreCat: /record/15314
DOI: 10.1111/j.1477-9730.1985.tb01315.x

Rott, H., Domik, G., Mätzler, C., &; Miller, H. (1985). Towards a SAR system for snow and land ice applications. ESA Proceedings of a Workshop on Thematic Applications of SAR DATA p 29-39(SEE N 86-28488 19-42), 29–39.
LibreCat: /record/15316

Schmidt, C., Kuhn, K. J., &; Spiess, H. W. (1985). Distribution of Correlation Times in Glassy Polymers From Pulsed Deuteron NMR. Progress in Colloid and Polymer Science, 71, 71–76.
LibreCat: /record/35399
WoS: A1985AVT4500010

HEPPKE, G., Kitzerow, H.-S., &; KRUMREY, M. (1985). ELECTROOPTICAL BEHAVIOR OF CHOLESTERIC BLUE PHASES WITH NEGATIVE DIELECTRIC ANISOTROPY. MOLECULAR CRYSTALS AND LIQUID CRYSTALS, 1(3–4), 117–122.
LibreCat: /record/40399

HEPPKE, G., Kitzerow, H.-S., &; KRUMREY, M. (1985). ELECTRIC-FIELD INDUCED VARIATION OF THE REFRACTIVE-INDEX IN CHOLESTERIC BLUE PHASES. MOLECULAR CRYSTALS AND LIQUID CRYSTALS, 2(1–2), 59–65.
LibreCat: /record/40395

Hilgert, J., Hofmann, K. H., &; Lawson, J. D. (1985). Controllabilty of Systems on Nilpotent Lie Groups. Beiträge Alg. Geom., 20, 185–190.
LibreCat: /record/51456

Hilgert, J., &; Hofmann, K. H. (1985). Semigroups in Lie Groups, Semialgebras in Lie Algebras. Trans. AMS, 288, 481–504.
LibreCat: /record/51458

Hilgert, J., &; Hofmann, K. H. (1985). Lorentzian Cones in Real Lie Algebras. Monatshefte Math., 100, 183–210.
LibreCat: /record/51457

Hilgert, J., &; Hofmann, K. H. (1985). Lie Semialgebras are Real Phenomena. Math. Ann., 270, 97–103.
LibreCat: /record/51460

Hilgert, J., &; Hofmann, K. H. (1985). Old and New on SL(2). Manuscripta Math., 54, 17–52.
LibreCat: /record/51459

Seng, E.-M. (1986). Architekten- und Künstlerbiographien. In Kulturamt der Universitätsstadt Tübingen  (Ed.), Ehrwürdige Zeugen verschwundener Tage, Tübinger Baudenkmale in Architekturzeichnungen des 19. Jahrhunderts, Katalog zur Ausstellung Tübingen 1986 (Tübinger Kataloge Nr. 29) (pp. 102–108).
LibreCat: /record/19477

Kleine Büning, H., &; Lettmann, T. (1986). Classes of first order formulas under various satisfiability definitions. In 8th International Conference on Automated Deduction. Berlin, Heidelberg.https://doi.org/10.1007/3-540-16780-3_119 
LibreCat: /record/19819
DOI: 10.1007/3-540-16780-3_119

Seng, E.-M. (1986). Die Zeichner und die Art der Darstellung - Zur Entwicklung und Funktion der Architekturzeichnung im 19. Jahrhundert. In Kulturamt der Universitätsstadt Tübingen  (Ed.), Ehrwürdige Zeugen verschwundener Tage, Tübinger Baudenkmale in Architekturzeichnungen des 19. Jahrhunderts, Katalog zur Ausstellung Tübingen 1986 (Tübinger Kataloge Nr. 29) (Vol. Nr. 29, pp. 4–16).
LibreCat: /record/19360

Seng, E.-M. (1986). Das Ulmer Hauptwerk: Der Blaubeurer Hochaltar und die Erhart-Frage. In G. Schäfer &; M. Brecht (Eds.), Blätter für württembergische Kirchengeschichte, 86. Jg.  (Vol. 86. Jg., pp. 299–319). Stuttgart.
LibreCat: /record/19364

Eke, N. O. (1986). Risse: Pytheas, Philostratos et. al. Zu den Protagonisten der frühen Erzählungen Arno Schmidts. In M. M. Schardt (Ed.), Arno Schmidt. Das Frühwerk I: Erzählungen. Interpretationen von aGadir8 bis aKosma (pp. 1513184). Aachen: Rader.
LibreCat: /record/19443

Krimphove, D. (1986). Belgium in a Nutshell Investitionsmöglichkeiten ausländischer Unternehmen in Belgien. Brüssel.
LibreCat: /record/2092

Domik, G., Leberl, F., &; Cimino, J. (1986). Multiple incidence angle SIR-B experiment over Argentina: generation of secondary image products. IEEE Transactions on Geoscience and Remote Sensing, GE-24(4), 492–497.https://doi.org/10.1109/TGRS.1986.289663 
LibreCat: /record/21792
DOI: 10.1109/TGRS.1986.289663

Mercer, J., Lowry, R., Leberl, F., &; Domik, G. (1986). Digital terrain mapping with STAR-1 SAR data. In International Geoscience and Remote Sensing Symposium (pp. 645–650). IGARSS.
LibreCat: /record/21793

Domik, G., Leberl, F., &; Raggam, J. (1986). Developing tools for digital radar image data evaluation. In Remote sensing for resources development and environmental management; Proceedings of the Seventh International Symposium (Vol. 1, pp. 117–119).
LibreCat: /record/21794

Engels, G., Lewerentz, C., Nagl, M., &; Schäfer, W. (1986). On the Structure of an Incremental and Integrated Software Development Environment. In Proceedings of the 19th Hawaii International Conference on System Sciences, Hawaii, USA (Vol. 2a, pp. 585–597).
LibreCat: /record/7815

Engels, G., &; Sandbrink, A. (1986). Experiences with a Hybrid-Interpreter Based on Incremental Compilation Techniques. In Proceedings of the Workshop on Compiler Compilers and Incremental Compilation Techniques, Bautzen (Vol. 12, pp. 172–184). Bautzen: Berlin(Ost): Akademie der Wissenschaften der DDR.
LibreCat: /record/8256

Engels, G. (1986). Graphen als zentrale Datenstrukturen in einer Software-Entwicklungsumgebung.
LibreCat: /record/7588

Meyer auf der Heide, F. (1986). Efficient Simulations among Several Models of Parallel Computers. SIAM Journal on Computing, 106–119.https://doi.org/10.1137/0215008 
LibreCat: /record/16771
DOI: 10.1137/0215008

Borodin, A., Fich, F. E., Meyer auf der Heide, F., Upfal, E., &; Wigderson, A. (1986). A tradeoff between search and update time for the implicit dictionary problem. In Automata, Languages and Programming. Berlin, Heidelberg.https://doi.org/10.1007/3-540-16761-7_54 
LibreCat: /record/16774
DOI: 10.1007/3-540-16761-7_54

Meyer auf der Heide, F. (1986). Speeding up random access machines by few processors. In STACS 86. Berlin, Heidelberg.https://doi.org/10.1007/3-540-16078-7_72 
LibreCat: /record/16775
DOI: 10.1007/3-540-16078-7_72

Borodin, A., Fich, F., Meyer auf der Heide, F., Upfal, E., &; Wigderson, A. (1986). A time-space tradeoff for element distinctness. In STACS 86. Berlin, Heidelberg.https://doi.org/10.1007/3-540-16078-7_89 
LibreCat: /record/16776
DOI: 10.1007/3-540-16078-7_89

Leberl, F., Domik, G., Raggam, J., &; Kobrick, M. (1986). Radar Stereomapping Techniques and Application to SIR-B Images of Mt. Shasta. IEEE Transactions on Geoscience and Remote Sensing, GE-24(4), 473–481.https://doi.org/10.1109/TGRS.1986.289661 
LibreCat: /record/16917
DOI: 10.1109/TGRS.1986.289661

Leberl, F., Domik, G., Raggam, J., Cimino, J., &; Kobrick, M. (1986). Multiple Incidence Angle SIR-B Expenment Over Argentina: Stereo-Radargrammetrc Analysis. IEEE Transactions on Geoscience and Remote Sensing, GE-24(4), 482–491.
LibreCat: /record/16918

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

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

Domik, G., &; Leberl, F. (1986). Using secondary image products to aid in understanding and interpretation of radar imagery. In IGARSS’86: Remote Sensing: Today’s Solutions for Tomorrow’s Information Needs (Vol. 254, pp. 467–468). European Space Agency, ESA SP.
LibreCat: /record/15318

Leberl, F., Domik, G., Raggam, J., Cimino, J., &; Kobrick, M. (1986). Radargrammetric Experiments with Space Shuttle SIR-B Imagery. 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, 333–344.
LibreCat: /record/15254

Peckhaus, V. (1986). Case Studies Towards the Establishment of a Social History of Logic. History and Philosophy of Logic, 7, 185–186.
LibreCat: /record/17468

Böcker, J., Hartmann, I., &; Zwanzig, C. (1986). Nichtlineare und adaptive Regelungssysteme. Springer-Verlag.https://doi.org/10.1007/978-3-642-82879-9 
LibreCat: /record/29879
DOI: 10.1007/978-3-642-82879-9

Schmidt, C., Wefing, S., Blümich, B., &; Spiess, H. W. (1986). Dynamics of molecular reorientations: direct determination of rotational angles from two-dimensional NMR of powders. Chemical Physics Letters, 130(1–2), 84–90.https://doi.org/10.1016/0009-2614(86)80431-6 
LibreCat: /record/35395
DOI: 10.1016/0009-2614(86)80431-6

Beckemeyer, R., &; Tophinke, D. (1986). Eine empirische Untersuchung zu den schriftsprachlichen Leistungen türkischer Schulkinder. In Arbeitsstelle für Sprachprobleme von Migranten (Ed.), Narrative Kompetenz. Mündliche und schriftliche Wiedergabe von Erzählstrukturen durch türkische Schulkinder in außerschulischen Lerngruppen (pp. 66–118). Manuskriptdruck.
LibreCat: /record/18431

Bigga, R., &; Oberliesen, R. (1986). Geschlechtsspezifische Arbeitsteilung und technische Innovation - Neue Technologien, Frauenerwerbsarbeit und historisch-genetisches Lernen über Arbeit und Technik. . In Neue Technologien und technisch-ökonomische Bildung. (pp. 253–270). GATWU.
LibreCat: /record/27969

Noé, R. (1986). ENDLESS POLARIZATION CONTROL EXPERIMENT WITH 3 ELEMENTS OF LIMITED BIREFRINGENCE RANGE. ELECTRONICS LETTERS, 22(25), 1341–1343.https://doi.org/10.1049/el:19860922 
LibreCat: /record/38491
DOI: 10.1049/el:19860922

Noé, R. (1986). ENDLESS POLARIZATION CONTROL IN COHERENT OPTICAL COMMUNICATIONS. ELECTRONICS LETTERS, 22(15), 772–773.https://doi.org/10.1049/el:19860529 
LibreCat: /record/38490
DOI: 10.1049/el:19860529

Heppke, G., Oestreicher, F., Kitzerow, H.-S., &; Krumrey, M. (1986). Optisches System mit einer Flüssigkristallzelle, Verfahren zu seinem Betrieb und seine Verwendung.
LibreCat: /record/40636

Grotjahn, R. (1986). Das Städtische Orchester 1921–1955. In Niedersächsischen Staatstheater Hannover GmbH (Ed.), Das Niedersächsische Staatsorchester 1636–1986 (pp. 129–158). Schlütersche.
LibreCat: /record/40617

Hilgert, J., &; Hofmann, K. H. (1986). Invariant Cones in Real Lie Algebras. In R. Nagel &; et al. (Eds.), Aspects of Positivity in Functional Analysis. North Holland.
LibreCat: /record/51487

Hilgert, J. (1986). The Mayer-Vietoris and the Puppe Sequence in K-Theory for C*-algebras. Studia Math., 83, 97–104.
LibreCat: /record/51454

Hilgert, J., &; Hofmann, K. H. (1986). On the Automorphism Group of Cones and Wedges. Geom. Dedicata, 21, 205–217.
LibreCat: /record/51453

Hilgert, J., &; Hofmann, K. H. (1986). On Sophus Lie’s Fundamental Theorem. J. Funct. Anal., 67, 1–27.
LibreCat: /record/51455

Büning, H. K., &; Lettmann, T. (1987). Representation independent query and update operations on propositional definite Horn formulas. In E. Börger (Ed.), Computation Theory and Logic (pp. 208–223). Berlin, Heidelberg.https://doi.org/10.1007/3-540-18170-9_167 
LibreCat: /record/19821
DOI: 10.1007/3-540-18170-9_167

Peckhaus, V., &; Thiel, C. (1987). DFG fördert an der FAU: Projekt: Fallstudien zur Begründung einer Sozialgeschichte der Logik. FAU Uni-Kurier, 70/71(Juni 1987), 49.
LibreCat: /record/17820

Seng, E.-M. (1987). Ein Hauch von Paris ... Die Planung für den Tübinger Uhlandplatz durch Christian Friedrich von Leins. In Bürger- und Verkehrsverein Tübingen e.V. (Ed.), Tübinger Blätter, 74. Jg.  (Vol. 74. Jg., pp. 8–14).
LibreCat: /record/19359

Domik, G., &; Leberl, F. (1987). Image based SAR product simulation for analysis. In ASPRS-ACSM.
LibreCat: /record/21791

Engels, G., &; Schürr, A. (1987). A Hybrid Interpreter in a Software Development Environment. In Proceedings of the 1st European Software Engineering Conference (ESEC ’87), Strasbourg (France) (Vol. 289, pp. 80–88). Berlin/Heidelberg: Springer.
LibreCat: /record/7816

Engels, G., Nagl, M., &; Schäfer, W. (1987). On the Structure of Structure-Oriented Editors for Different Applications. In Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Palo Alto, USA (Vol. 22, pp. 190–198). ACM SIGPLAN Notices.
LibreCat: /record/7817

Engels, G., Lewerentz, C., &; Schäfer, W. (1987). Graph Grammar Engineering: A Software Specification Method. In Proceedings of the 3rd International Workshop on Graph-Grammars and Their Application to Computer Science, Warrenton, VA (USA) (Vol. 291, pp. 186–201). Berlin/Heidelberg: Springer.https://doi.org/dx.doi.org/10.1007/3-540-18771-5 
LibreCat: /record/8257
DOI: dx.doi.org/10.1007/3-540-18771-5

Borodin, A., Fich, F., Meyer auf der Heide, F., Upfal, E., &; Wigderson, A. (1987). A Time-Space Tradeoff for Element Distinctness. SIAM Journal on Computing, 97–99.https://doi.org/10.1137/0216007 
LibreCat: /record/16772
DOI: 10.1137/0216007

Meyer auf der Heide, F., &; Wigderson, A. (1987). The Complexity of Parallel Sorting. SIAM Journal on Computing, 100–107.https://doi.org/10.1137/0216008 
LibreCat: /record/16773
DOI: 10.1137/0216008

Domik, G. (1987). Digital Rectification Method for Radar Images Applied on Huge Arrays. In Proceedings of the First Int’l. Workshop on Image Rectification Tech. for Spaceborne Synthetic Aperture Radar (pp. 67–68).
LibreCat: /record/16916

Haeb-Umbach, R., &; Meyr, H. (1987). Optimal Carrier Recovery and Detection on Frequency-Nonselective Fading Channels. In Proc. Symposium on Inf. Theory and Appl. (SITA), Tokio.
LibreCat: /record/11795