@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

@inproceedingsDomik_1987, title=Methods and application of surface shape reconstruction from multiple SAR images, booktitle=IGARSS’87-International Geoscience and Remote Sensing Symposium, author=Domik, Gitta, year=1987, pages=1551–1555 
LibreCat: /record/15038

@inproceedingsLeberl_Domik_Mercer_1987, title=Methods and accuracy of operational digital image mapping with aircraft SAR, booktitle=1987 ASPRS ACSM Annual Convention, author=Leberl, Franz and Domik, Gitta and Mercer, Bryan J, year=1987, pages=148–158 
LibreCat: /record/15050

@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

@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

@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