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

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

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

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

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

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

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

Methods and accuracy of operational digital image mapping with aircraft SAR
F. Leberl, G. Domik, B.J. Mercer, in: 1987 ASPRS ACSM Annual Convention, 1987, pp. 148–158.
LibreCat: /record/15050

Maximal Semigroups and the Support of Gauss-Semigroups
J. Hilgert, in: R. Viertl (Ed.), Probability and Baysian Statistics, Plenum Press, New York, 1987.
LibreCat: /record/51486

Maximal Semigroups and Controllability in Products of Lie Groups
J. Hilgert, Archiv Math. 49 (1987) 189–195.
LibreCat: /record/51452

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

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

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

Developing tools for digital radar image data evaluation
G. Domik, F. Leberl, J. Raggam, in: Remote Sensing for Resources Development and Environmental Management; Proceedings of the Seventh International Symposium, 1986, pp. 117–119.
LibreCat: /record/21794

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

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

Graphen als zentrale Datenstrukturen in einer Software-Entwicklungsumgebung
G. Engels, Graphen Als Zentrale Datenstrukturen in Einer Software-Entwicklungsumgebung, 1986.
LibreCat: /record/7588

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

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

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

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

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

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

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

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

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

Radargrammetric Experiments with Space Shuttle SIR-B Imagery
F. Leberl, G. Domik, J. Raggam, J. Cimino, M. Kobrick, 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

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

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

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

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

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

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

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

Radar image simulation as a tool to analyze topographic effects on geometry and radiometry of radar imagery
G. Domik, in: Machine Processing of Remotely Sensed Data- Quantifying Global Process: Models, Sensor Systems, and Analytical Methods, 1985, pp. 248–253.
LibreCat: /record/21606

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

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

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

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

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

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

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

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

Fast algorithms for n-dimensional restrictions of hard problems
F. Meyer auf der Heide, in: Proceedings of the Seventeenth Annual ACM Symposium on Theory of Computing  - STOC ’85, 1985.
LibreCat: /record/16784
DOI: 10.1145/22145.22191

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

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

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

Towards a SAR system for snow and land ice applications
H. Rott, G. Domik, C. Mätzler, H. Miller, 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

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

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