--- _id: '21791' author: - first_name: Gitta full_name: Domik, Gitta id: '90' last_name: Domik - first_name: Franz full_name: Leberl, Franz last_name: Leberl citation: ama: 'Domik G, Leberl F. Image based SAR product simulation for analysis. In: ASPRS-ACSM. ; 1987.' apa: Domik, G., & Leberl, F. (1987). Image based SAR product simulation for analysis. In ASPRS-ACSM. bibtex: '@inproceedings{Domik_Leberl_1987, title={Image based SAR product simulation for analysis}, booktitle={ASPRS-ACSM}, author={Domik, Gitta and Leberl, Franz}, year={1987} }' chicago: Domik, Gitta, and Franz Leberl. “Image Based SAR Product Simulation for Analysis.” In ASPRS-ACSM, 1987. ieee: G. Domik and F. Leberl, “Image based SAR product simulation for analysis,” in ASPRS-ACSM, 1987. mla: Domik, Gitta, and Franz Leberl. “Image Based SAR Product Simulation for Analysis.” ASPRS-ACSM, 1987. short: 'G. Domik, F. Leberl, in: ASPRS-ACSM, 1987.' date_created: 2021-04-25T17:55:46Z date_updated: 2022-01-06T06:55:13Z department: - _id: '65' language: - iso: eng publication: ASPRS-ACSM status: public title: Image based SAR product simulation for analysis type: conference user_id: '14955' year: '1987' ... --- _id: '7816' abstract: - lang: eng text: This paper describes the realization of an execution tool for Modula-2 modules which is part of an integrated tool set in a software development environment termed IPSEN (Incremental Programming Support Environment). In this environment, all software documents, e.g. Modula-2 modules, are manipulated by syntax-directed editors and are represented internally by attributed graphs. The execution of Modula-2 modules is done by two cooperating interpreters. The first one is a graph interpreter which traverses the internal graph from statement to statement. These statements are translated into a low-level, more efficiently executable object code and interpreted by a second interpreter. This concept of a hybrid interpreter allows the realization of an execution tool which offers a lot of runtime support features to the user. author: - first_name: Gregor full_name: Engels, Gregor id: '107' last_name: Engels - first_name: Andy full_name: Schürr, Andy last_name: Schürr citation: ama: 'Engels G, Schürr A. A Hybrid Interpreter in a Software Development Environment. In: Proceedings of the 1st European Software Engineering Conference (ESEC ’87), Strasbourg (France). Vol 289. Berlin/Heidelberg: Springer; 1987:80-88.' apa: '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.' bibtex: '@inproceedings{Engels_Schürr_1987, place={Berlin/Heidelberg}, title={A Hybrid Interpreter in a Software Development Environment}, volume={289}, booktitle={Proceedings of the 1st European Software Engineering Conference (ESEC ’87), Strasbourg (France)}, publisher={Springer}, author={Engels, Gregor and Schürr, Andy}, year={1987}, pages={80–88} }' chicago: 'Engels, Gregor, and Andy Schürr. “A Hybrid Interpreter in a Software Development Environment.” In Proceedings of the 1st European Software Engineering Conference (ESEC ’87), Strasbourg (France), 289:80–88. Berlin/Heidelberg: Springer, 1987.' ieee: G. Engels and A. Schürr, “A Hybrid Interpreter in a Software Development Environment,” in Proceedings of the 1st European Software Engineering Conference (ESEC ’87), Strasbourg (France), 1987, vol. 289, pp. 80–88. mla: Engels, Gregor, and Andy Schürr. “A Hybrid Interpreter in a Software Development Environment.” Proceedings of the 1st European Software Engineering Conference (ESEC ’87), Strasbourg (France), vol. 289, Springer, 1987, pp. 80–88. short: 'G. Engels, A. Schürr, in: Proceedings of the 1st European Software Engineering Conference (ESEC ’87), Strasbourg (France), Springer, Berlin/Heidelberg, 1987, pp. 80–88.' date_created: 2019-02-20T13:43:35Z date_updated: 2022-01-06T07:03:46Z department: - _id: '66' intvolume: ' 289' language: - iso: eng page: 80-88 place: Berlin/Heidelberg publication: Proceedings of the 1st European Software Engineering Conference (ESEC '87), Strasbourg (France) publisher: Springer status: public title: A Hybrid Interpreter in a Software Development Environment type: conference user_id: '52534' volume: 289 year: '1987' ... --- _id: '7817' author: - first_name: Gregor full_name: Engels, Gregor id: '107' last_name: Engels - first_name: Manfred full_name: Nagl, Manfred last_name: Nagl - first_name: Wilhelm full_name: Schäfer, Wilhelm last_name: Schäfer citation: ama: 'Engels G, Nagl M, Schäfer W. 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. ACM SIGPLAN Notices; 1987:190-198.' apa: 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. bibtex: '@inproceedings{Engels_Nagl_Schäfer_1987, title={On the Structure of Structure-Oriented Editors for Different Applications}, volume={22}, number={1}, booktitle={Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Palo Alto, USA}, publisher={ACM SIGPLAN Notices}, author={Engels, Gregor and Nagl, Manfred and Schäfer, Wilhelm}, year={1987}, pages={190–198} }' chicago: Engels, Gregor, Manfred Nagl, and Wilhelm Schäfer. “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, 22:190–98. ACM SIGPLAN Notices, 1987. ieee: G. Engels, M. Nagl, and W. Schäfer, “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, 1987, vol. 22, no. 1, pp. 190–198. mla: Engels, Gregor, et al. “On the Structure of Structure-Oriented Editors for Different Applications.” Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Palo Alto, USA, vol. 22, no. 1, ACM SIGPLAN Notices, 1987, pp. 190–98. short: '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.' date_created: 2019-02-20T13:44:23Z date_updated: 2022-01-06T07:03:46Z department: - _id: '66' intvolume: ' 22' issue: '1' language: - iso: eng page: 190-198 publication: Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Palo Alto, USA publisher: ACM SIGPLAN Notices status: public title: On the Structure of Structure-Oriented Editors for Different Applications type: conference user_id: '52534' volume: 22 year: '1987' ... --- _id: '8257' abstract: - lang: eng text: Graphs as conceptual data models are accepted and used in a wide range of different problem areas. Giving some examples we outline common aspects for modeling complex structures by graphs. We present a formal frame-work based on graph grammars to specify graph classes and the corresponding graph manipulations. We show that such a specification can be written in a systematic, engineering-like manner. This is achieved by an extension of the known programmed, attributed graph grammars. Node-set operators are introduced to facilitate graph queries. Concepts like abstraction, decomposition, refinement, parameterization, and integration have been adopted from software engineering to yield a comprehensive specification method. This method has successfully been applied to specify the central data structures in a software development environment project author: - first_name: Gregor full_name: Engels, Gregor id: '107' last_name: Engels - first_name: Claus full_name: Lewerentz, Claus last_name: Lewerentz - first_name: Wilhelm full_name: Schäfer, Wilhelm last_name: Schäfer citation: ama: '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' apa: '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' bibtex: '@inproceedings{Engels_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} }' chicago: 'Engels, Gregor, Claus Lewerentz, and Wilhelm Schäfer. “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), 291:186–201. Berlin/Heidelberg: Springer, 1987. https://doi.org/dx.doi.org/10.1007/3-540-18771-5.' ieee: 'G. Engels, C. Lewerentz, and W. Schäfer, “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), 1987, vol. 291, pp. 186–201.' mla: 'Engels, Gregor, et al. “Graph Grammar Engineering: A Software Specification Method.” Proceedings of the 3rd International Workshop on Graph-Grammars and Their Application to Computer Science, Warrenton, VA (USA), vol. 291, Springer, 1987, pp. 186–201, doi:dx.doi.org/10.1007/3-540-18771-5.' short: '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.' date_created: 2019-03-04T11:52:06Z date_updated: 2022-01-06T07:03:52Z department: - _id: '66' doi: dx.doi.org/10.1007/3-540-18771-5 intvolume: ' 291' language: - iso: eng page: 186-201 place: Berlin/Heidelberg publication: Proceedings of the 3rd International Workshop on Graph-Grammars and Their Application to Computer Science, Warrenton, VA (USA) publisher: Springer status: public title: 'Graph Grammar Engineering: A Software Specification Method' type: conference user_id: '52534' volume: 291 year: '1987' ... --- _id: '16772' author: - first_name: A. full_name: Borodin, A. last_name: Borodin - first_name: F. full_name: Fich, F. last_name: Fich - first_name: Friedhelm full_name: Meyer auf der Heide, Friedhelm id: '15523' last_name: Meyer auf der Heide - first_name: E. full_name: Upfal, E. last_name: Upfal - first_name: A. full_name: Wigderson, A. last_name: Wigderson citation: ama: 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 apa: 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 bibtex: '@article{Borodin_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} }' chicago: Borodin, A., F. Fich, Friedhelm Meyer auf der Heide, E. Upfal, and A. Wigderson. “A Time-Space Tradeoff for Element Distinctness.” SIAM Journal on Computing, 1987, 97–99. https://doi.org/10.1137/0216007. ieee: A. Borodin, F. Fich, F. Meyer auf der Heide, E. Upfal, and A. Wigderson, “A Time-Space Tradeoff for Element Distinctness,” SIAM Journal on Computing, pp. 97–99, 1987. mla: Borodin, A., et al. “A Time-Space Tradeoff for Element Distinctness.” SIAM Journal on Computing, 1987, pp. 97–99, doi:10.1137/0216007. short: A. Borodin, F. Fich, F. Meyer auf der Heide, E. Upfal, A. Wigderson, SIAM Journal on Computing (1987) 97–99. date_created: 2020-04-21T10:00:29Z date_updated: 2022-01-06T06:52:55Z department: - _id: '63' doi: 10.1137/0216007 language: - iso: eng page: 97-99 publication: SIAM Journal on Computing publication_identifier: issn: - 0097-5397 - 1095-7111 publication_status: published status: public title: A Time-Space Tradeoff for Element Distinctness type: journal_article user_id: '15415' year: '1987' ... --- _id: '16773' author: - first_name: Friedhelm full_name: Meyer auf der Heide, Friedhelm id: '15523' last_name: Meyer auf der Heide - first_name: Avi full_name: Wigderson, Avi last_name: Wigderson citation: ama: Meyer auf der Heide F, Wigderson A. The Complexity of Parallel Sorting. SIAM Journal on Computing. 1987:100-107. doi:10.1137/0216008 apa: 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 bibtex: '@article{Meyer 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} }' chicago: Meyer auf der Heide, Friedhelm, and Avi Wigderson. “The Complexity of Parallel Sorting.” SIAM Journal on Computing, 1987, 100–107. https://doi.org/10.1137/0216008. ieee: F. Meyer auf der Heide and A. Wigderson, “The Complexity of Parallel Sorting,” SIAM Journal on Computing, pp. 100–107, 1987. mla: Meyer auf der Heide, Friedhelm, and Avi Wigderson. “The Complexity of Parallel Sorting.” SIAM Journal on Computing, 1987, pp. 100–07, doi:10.1137/0216008. short: F. Meyer auf der Heide, A. Wigderson, SIAM Journal on Computing (1987) 100–107. date_created: 2020-04-21T10:01:37Z date_updated: 2022-01-06T06:52:55Z department: - _id: '63' doi: 10.1137/0216008 language: - iso: eng page: 100-107 publication: SIAM Journal on Computing publication_identifier: issn: - 0097-5397 - 1095-7111 publication_status: published status: public title: The Complexity of Parallel Sorting type: journal_article user_id: '15415' year: '1987' ... --- _id: '16916' author: - first_name: Gitta full_name: Domik, Gitta id: '90' last_name: Domik citation: ama: '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.' apa: 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). bibtex: '@inproceedings{Domik_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} }' chicago: Domik, Gitta. “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, 67–68, 1987. ieee: G. Domik, “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, no. Rep. 29, pp. 67–68. mla: Domik, Gitta. “Digital Rectification Method for Radar Images Applied on Huge Arrays.” Proceedings of the First Int’l. Workshop on Image Rectification Tech. for Spaceborne Synthetic Aperture Radar, no. Rep. 29, 1987, pp. 67–68. short: 'G. Domik, in: Proceedings of the First Int’l. Workshop on Image Rectification Tech. for Spaceborne Synthetic Aperture Radar, 1987, pp. 67–68.' date_created: 2020-04-29T09:05:24Z date_updated: 2022-01-06T06:52:58Z department: - _id: '65' issue: Rep. 29 language: - iso: eng page: pp. 67-68 publication: Proceedings of the First Int'l. Workshop on Image Rectification Tech. for Spaceborne Synthetic Aperture Radar status: public title: Digital Rectification Method for Radar Images Applied on Huge Arrays type: conference user_id: '14955' year: '1987' ... --- _id: '11795' author: - first_name: Reinhold full_name: Haeb-Umbach, Reinhold id: '242' last_name: Haeb-Umbach - first_name: Heinrich full_name: Meyr, Heinrich last_name: Meyr citation: ama: '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.' apa: 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. bibtex: '@inproceedings{Haeb-Umbach_Meyr_1987, title={Optimal Carrier Recovery and Detection on Frequency-Nonselective Fading Channels}, booktitle={Proc. Symposium on Inf. Theory and Appl. (SITA), Tokio}, author={Haeb-Umbach, Reinhold and Meyr, Heinrich}, year={1987} }' chicago: Haeb-Umbach, Reinhold, and Heinrich Meyr. “Optimal Carrier Recovery and Detection on Frequency-Nonselective Fading Channels.” In Proc. Symposium on Inf. Theory and Appl. (SITA), Tokio, 1987. ieee: R. Haeb-Umbach and H. Meyr, “Optimal Carrier Recovery and Detection on Frequency-Nonselective Fading Channels,” in Proc. Symposium on Inf. Theory and Appl. (SITA), Tokio, 1987. mla: Haeb-Umbach, Reinhold, and Heinrich Meyr. “Optimal Carrier Recovery and Detection on Frequency-Nonselective Fading Channels.” Proc. Symposium on Inf. Theory and Appl. (SITA), Tokio, 1987. short: 'R. Haeb-Umbach, H. Meyr, in: Proc. Symposium on Inf. Theory and Appl. (SITA), Tokio, 1987.' date_created: 2019-07-12T05:28:24Z date_updated: 2022-01-06T06:51:08Z department: - _id: '54' language: - iso: eng publication: Proc. Symposium on Inf. Theory and Appl. (SITA), Tokio status: public title: Optimal Carrier Recovery and Detection on Frequency-Nonselective Fading Channels type: conference user_id: '44006' year: '1987' ... --- _id: '15038' author: - first_name: Gitta full_name: Domik, Gitta id: '90' last_name: Domik citation: ama: '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.' apa: Domik, G. (1987). Methods and application of surface shape reconstruction from multiple SAR images. In IGARSS’87-International Geoscience and Remote Sensing Symposium (pp. 1551–1555). bibtex: '@inproceedings{Domik_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} }' chicago: Domik, Gitta. “Methods and Application of Surface Shape Reconstruction from Multiple SAR Images.” In IGARSS’87-International Geoscience and Remote Sensing Symposium, 1551–55, 1987. ieee: G. Domik, “Methods and application of surface shape reconstruction from multiple SAR images,” in IGARSS’87-International Geoscience and Remote Sensing Symposium, 1987, pp. 1551–1555. mla: Domik, Gitta. “Methods and Application of Surface Shape Reconstruction from Multiple SAR Images.” IGARSS’87-International Geoscience and Remote Sensing Symposium, 1987, pp. 1551–55. short: 'G. Domik, in: IGARSS’87-International Geoscience and Remote Sensing Symposium, 1987, pp. 1551–1555.' date_created: 2019-11-19T08:57:06Z date_updated: 2022-01-06T06:52:15Z department: - _id: '65' language: - iso: eng page: 1551-1555 publication: IGARSS'87-International Geoscience and Remote Sensing Symposium status: public title: Methods and application of surface shape reconstruction from multiple SAR images type: conference user_id: '15458' year: '1987' ... --- _id: '15050' author: - first_name: Franz full_name: Leberl, Franz last_name: Leberl - first_name: Gitta full_name: Domik, Gitta id: '90' last_name: Domik - first_name: Bryan J full_name: Mercer, Bryan J last_name: Mercer citation: ama: '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.' apa: Leberl, F., Domik, G., & Mercer, B. J. (1987). Methods and accuracy of operational digital image mapping with aircraft SAR. In 1987 ASPRS ACSM Annual Convention (pp. 148–158). bibtex: '@inproceedings{Leberl_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} }' chicago: Leberl, Franz, Gitta Domik, and Bryan J Mercer. “Methods and Accuracy of Operational Digital Image Mapping with Aircraft SAR.” In 1987 ASPRS ACSM Annual Convention, 148–58, 1987. ieee: F. Leberl, G. Domik, and B. J. Mercer, “Methods and accuracy of operational digital image mapping with aircraft SAR,” in 1987 ASPRS ACSM Annual Convention, 1987, pp. 148–158. mla: Leberl, Franz, et al. “Methods and Accuracy of Operational Digital Image Mapping with Aircraft SAR.” 1987 ASPRS ACSM Annual Convention, 1987, pp. 148–58. short: 'F. Leberl, G. Domik, B.J. Mercer, in: 1987 ASPRS ACSM Annual Convention, 1987, pp. 148–158.' date_created: 2019-11-20T08:23:44Z date_updated: 2022-01-06T06:52:15Z department: - _id: '65' language: - iso: eng page: 148-158 publication: 1987 ASPRS ACSM Annual Convention status: public title: Methods and accuracy of operational digital image mapping with aircraft SAR type: conference user_id: '15458' year: '1987' ...