Engels G, Lewerentz C, Schäfer W. 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. Berlin/Heidelberg: Springer; 1987:186-201. doi: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. A Time-Space Tradeoff for Element Distinctness. SIAM Journal on Computing. 1987:97-99. doi:10.1137/0216007
LibreCat: /record/16772
DOI: 10.1137/0216007

Meyer auf der Heide F, Wigderson A. The Complexity of Parallel Sorting. SIAM Journal on Computing. 1987:100-107. doi:10.1137/0216008
LibreCat: /record/16773
DOI: 10.1137/0216008

Domik G. 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. ; 1987:67-68.
LibreCat: /record/16916

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

Domik G. Methods and application of surface shape reconstruction from multiple SAR images. In: IGARSS’87-International Geoscience and Remote Sensing Symposium. ; 1987:1551-1555.
LibreCat: /record/15038

Leberl F, Domik G, Mercer BJ. Methods and accuracy of operational digital image mapping with aircraft SAR. In: 1987 ASPRS ACSM Annual Convention. ; 1987:148-158.
LibreCat: /record/15050

Hilgert J. Maximal Semigroups and the Support of Gauss-Semigroups. In: Viertl R, ed. Probability and Baysian Statistics. Plenum Press; 1987.
LibreCat: /record/51486

Hilgert J. Maximal Semigroups and Controllability in Products of Lie Groups. Archiv Math. 1987;49:189-195.
LibreCat: /record/51452

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
LibreCat: /record/19819
DOI: 10.1007/3-540-16780-3_119

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
LibreCat: /record/21792
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.
LibreCat: /record/21793

Domik G, Leberl F, Raggam J. 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. ; 1986:117–119.
LibreCat: /record/21794

Engels G, Lewerentz C, Nagl M, Schäfer W. 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. ; 1986:585-597.
LibreCat: /record/7815

Engels G, Sandbrink A. 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. Bautzen: Berlin(Ost): Akademie der Wissenschaften der DDR; 1986:172-184.
LibreCat: /record/8256

Engels G. Graphen Als Zentrale Datenstrukturen in Einer Software-Entwicklungsumgebung.; 1986.
LibreCat: /record/7588

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

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

Meyer auf der Heide F. Speeding up random access machines by few processors. In: STACS 86. Berlin, Heidelberg; 1986. doi: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. A time-space tradeoff for element distinctness. In: STACS 86. Berlin, Heidelberg; 1986. doi: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. Radar Stereomapping Techniques and Application to SIR-B Images of Mt. Shasta. IEEE Transactions on Geoscience and Remote Sensing. 1986;GE-24(4):473-481. doi:10.1109/TGRS.1986.289661
LibreCat: /record/16917
DOI: 10.1109/TGRS.1986.289661

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

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

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

Domik G, Leberl F. 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. European Space Agency, ESA SP; 1986:467-468.
LibreCat: /record/15318

Leberl F, Domik G, Raggam J, Cimino J, Kobrick M. 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. 1986:333-344.
LibreCat: /record/15254

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

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

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

Hilgert J, Hofmann KH. Invariant Cones in Real Lie Algebras. In: Nagel R, et al., eds. Aspects of Positivity in Functional Analysis. North Holland; 1986.
LibreCat: /record/51487

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

Hilgert J, Hofmann KH. On the Automorphism Group of Cones and Wedges. Geom Dedicata. 1986;21:205-217.
LibreCat: /record/51453

Hilgert J, Hofmann KH. On Sophus Lie’s Fundamental Theorem. J Funct Anal. 1986;67:1-27.
LibreCat: /record/51455

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.
LibreCat: /record/21606

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

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.
LibreCat: /record/7813

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.
LibreCat: /record/7814

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
LibreCat: /record/16779
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
LibreCat: /record/16780
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
LibreCat: /record/16781
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
LibreCat: /record/16782
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
LibreCat: /record/16783
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
LibreCat: /record/16784
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
LibreCat: /record/16788
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
LibreCat: /record/16823
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
LibreCat: /record/15314
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.
LibreCat: /record/15316

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

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

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