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

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

Meyer auf der Heide F. Efficiency of universal parallel computers. Acta Informatica. 1983:269-296. doi:10.1007/bf00265559

Klein P, Meyer auf der Heide F. A lower time bound for the knapsack problem on random access machines. Acta Informatica. 1983:385-395. doi:10.1007/bf00290735

Meyer auf der Heide F. Infinite cube-connected cycles. Information Processing Letters. 1983:1-2. doi:10.1016/0020-0190(83)90001-7

Meyer auf der Heide F. 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. ; 1983. doi:10.1145/800061.808734

Meyer auf der Heide F. Efficiency of universal parallel computers. In: Lecture Notes in Computer Science. Berlin/Heidelberg; 1983. doi:10.1007/bfb0036483

Domik G, Leberl F, Kobrick M. Radar Image Simulation and its Application in Image Analysis. In: International Archives of Photogrammetry and Remote Sensing. Vol 25A. ISPRS 1984, XVth congress, Rio de Janeiro, 1984. Rio de Janeiro, Brazil; 1984:99–108.

Domik G, Leberl F, Raggam J. 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. Rio de Janeiro; 1984:109–116.

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

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

Meyer auf der Heide F, Reischuk R. On The Limits To Speed Up Parallel Machines By Large Hardware And Unbounded Communication. In: 25th Annual Symposium OnFoundations of Computer Science, 1984. ; 1984. doi:10.1109/sfcs.1984.715901

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

Domik G, Kienegger E. Method to Relate Digital SAR Images and Map Information in Mountainous Areas . In: Proceedings of the World Conference on Remote Sensing. ; 1984.

Rott H, Domik G. The SAR-580 experiment on snow and glaciers at the Austrian test site. In: Proc. SAR-580 Investigators Workshop. Vol 2. ; 1984:217-232.

Domik G, Leberl F, Raggam J. Differential Rectification of SLR-Images Using Map-Derived and Radar-Generated Digital Elevation Models. Graz Research Center; 1984.

Domik G, Kobrick M, Leberl F. Analyse von Radarbildern mittels digitaler Hoehenmodelle. Bildmessung und luftbildwesen. 1984;52(5):249-263.

Peckhaus V. 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.; 1984.

Hagengruber RE. Das Schöne Als Vollzug Der Liebe. Eros-Logos-Verhältnisse in Platons Symposion.; 1984.

Hilgert J, Hofmann KH. Lie Theory of Semigroups. Semigroup Forum. 1984;30:243-251.

Domik G. 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. ; 1985:248–253.

Raggam J, Triebnig G, Buchroithner M, Domik G, Leberl F. Radargrammetric aspects of SAR data evaluation. Thematic Applications of SAR data. 1985:57.

Engels G, Schäfer W. 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. LNCS. Berlin/Heidelberg: Springer; 1985:179-193.

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

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

Meyer auf der Heide F. Lower bounds for solving linear diophantine equations on random access machines. Journal of the ACM (JACM). 1985:929-937. doi:10.1145/4221.4250

Meyer auf der Heide F. Simulating probabilistic by deterministic algebraic computation trees. Theoretical Computer Science. 1985:325-330. doi:10.1016/0304-3975(85)90079-9

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

Fich FE, Meyer auf der Heide F, Ragde P, Wigderson A. One, two, three . . . infinity: lower bounds for parallel computation. In: Proceedings of the Seventeenth Annual ACM Symposium on Theory of Computing  - STOC ’85. ; 1985. doi:10.1145/22145.22151

Meyer auf der Heide F. Fast algorithms for n-dimensional restrictions of hard problems. In: Proceedings of the Seventeenth Annual ACM Symposium on Theory of Computing  - STOC ’85. ; 1985. doi:10.1145/22145.22191

Meyer auf der Heide F. Nondeterministic versus probabilistic linear search algorithms. In: 26th Annual Symposium on Foundations of Computer Science (Sfcs 1985). ; 1985. doi:10.1109/sfcs.1985.38

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

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

Rott H, Domik G, Mätzler C, Miller H. 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). 1985:29-39.

Schmidt C, Kuhn KJ, Spiess HW. Distribution of Correlation Times in Glassy Polymers From Pulsed Deuteron NMR. Progress in Colloid and Polymer Science. 1985;71:71-76.

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

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

Hilgert J, Hofmann KH, Lawson JD. Controllabilty of Systems on Nilpotent Lie Groups. Beiträge Alg Geom. 1985;20:185-190.

Hilgert J, Hofmann KH. Semigroups in Lie Groups, Semialgebras in Lie Algebras. Trans AMS. 1985;288:481-504.

Hilgert J, Hofmann KH. Lorentzian Cones in Real Lie Algebras. Monatshefte Math. 1985;100:183-210.

Hilgert J, Hofmann KH. Lie Semialgebras are Real Phenomena. Math Ann. 1985;270:97-103.

Hilgert J, Hofmann KH. Old and New on SL(2). Manuscripta Math. 1985;54:17-52.

Seng E-M. 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). ; 1986:102-108.

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

Seng E-M. 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. Tübinger Kataloge . ; 1986:4-16.

Seng E-M. Das Ulmer Hauptwerk: Der Blaubeurer Hochaltar und die Erhart-Frage. In: Schäfer G, Brecht M, eds. Blätter für württembergische Kirchengeschichte, 86. Jg. . Vol 86. Jg. Blätter für württembergische Kirchengeschichte. Stuttgart; 1986:299-319.

Eke NO. Risse: Pytheas, Philostratos et. al. Zu den Protagonisten der frühen Erzählungen Arno Schmidts. In: Schardt MM, ed. Arno Schmidt. Das Frühwerk I: Erzählungen. Interpretationen von aGadir8 bis aKosma. Aachen: Rader; 1986:151-184.

Krimphove D. Belgium in a Nutshell Investitionsmöglichkeiten Ausländischer Unternehmen in Belgien. Brüssel; 1986.

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

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