[{"_id":"16767","department":[{"_id":"63"}],"user_id":"15415","language":[{"iso":"eng"}],"publication":"STACS 88","type":"book_chapter","status":"public","date_updated":"2022-01-06T06:52:55Z","author":[{"full_name":"Just, Bettina","last_name":"Just","first_name":"Bettina"},{"first_name":"Fb","full_name":"Mathematik, Fb","last_name":"Mathematik"},{"last_name":"Meyer auf der Heide","full_name":"Meyer auf der Heide, Friedhelm","id":"15523","first_name":"Friedhelm"},{"first_name":"Fb","full_name":"Informatik, Fb","last_name":"Informatik"},{"first_name":"Avi","last_name":"Wigderson","full_name":"Wigderson, Avi"}],"date_created":"2020-04-21T09:00:37Z","title":"On computations with integer division","doi":"10.1007/bfb0035829","publication_identifier":{"issn":["0302-9743","1611-3349"],"isbn":["9783540188346","9783540481904"]},"publication_status":"published","place":"Berlin, Heidelberg","year":"1988","citation":{"ama":"Just B, Mathematik F, Meyer auf der Heide F, Informatik F, Wigderson A. On computations with integer division. In: <i>STACS 88</i>. Berlin, Heidelberg; 1988. doi:<a href=\"https://doi.org/10.1007/bfb0035829\">10.1007/bfb0035829</a>","ieee":"B. Just, F. Mathematik, F. Meyer auf der Heide, F. Informatik, and A. Wigderson, “On computations with integer division,” in <i>STACS 88</i>, Berlin, Heidelberg, 1988.","chicago":"Just, Bettina, Fb Mathematik, Friedhelm Meyer auf der Heide, Fb Informatik, and Avi Wigderson. “On Computations with Integer Division.” In <i>STACS 88</i>. Berlin, Heidelberg, 1988. <a href=\"https://doi.org/10.1007/bfb0035829\">https://doi.org/10.1007/bfb0035829</a>.","short":"B. Just, F. Mathematik, F. Meyer auf der Heide, F. Informatik, A. Wigderson, in: STACS 88, Berlin, Heidelberg, 1988.","mla":"Just, Bettina, et al. “On Computations with Integer Division.” <i>STACS 88</i>, 1988, doi:<a href=\"https://doi.org/10.1007/bfb0035829\">10.1007/bfb0035829</a>.","bibtex":"@inbook{Just_Mathematik_Meyer auf der Heide_Informatik_Wigderson_1988, place={Berlin, Heidelberg}, title={On computations with integer division}, DOI={<a href=\"https://doi.org/10.1007/bfb0035829\">10.1007/bfb0035829</a>}, booktitle={STACS 88}, author={Just, Bettina and Mathematik, Fb and Meyer auf der Heide, Friedhelm and Informatik, Fb and Wigderson, Avi}, year={1988} }","apa":"Just, B., Mathematik, F., Meyer auf der Heide, F., Informatik, F., &#38; Wigderson, A. (1988). On computations with integer division. In <i>STACS 88</i>. Berlin, Heidelberg. <a href=\"https://doi.org/10.1007/bfb0035829\">https://doi.org/10.1007/bfb0035829</a>"}},{"status":"public","publication":"SWAT 88","type":"book_chapter","language":[{"iso":"eng"}],"department":[{"_id":"63"}],"user_id":"15415","_id":"16768","citation":{"apa":"Dietzfelbinger, M., Mehlhorn, K., Meyer auf der Heide, F., &#38; Rohnert, H. (1988). Upper and lower bounds for the dictionary problem. In <i>SWAT 88</i>. Berlin, Heidelberg. <a href=\"https://doi.org/10.1007/3-540-19487-8_24\">https://doi.org/10.1007/3-540-19487-8_24</a>","mla":"Dietzfelbinger, M., et al. “Upper and Lower Bounds for the Dictionary Problem.” <i>SWAT 88</i>, 1988, doi:<a href=\"https://doi.org/10.1007/3-540-19487-8_24\">10.1007/3-540-19487-8_24</a>.","short":"M. Dietzfelbinger, K. Mehlhorn, F. Meyer auf der Heide, H. Rohnert, in: SWAT 88, Berlin, Heidelberg, 1988.","bibtex":"@inbook{Dietzfelbinger_Mehlhorn_Meyer auf der Heide_Rohnert_1988, place={Berlin, Heidelberg}, title={Upper and lower bounds for the dictionary problem}, DOI={<a href=\"https://doi.org/10.1007/3-540-19487-8_24\">10.1007/3-540-19487-8_24</a>}, booktitle={SWAT 88}, author={Dietzfelbinger, M. and Mehlhorn, K. and Meyer auf der Heide, Friedhelm and Rohnert, H.}, year={1988} }","chicago":"Dietzfelbinger, M., K. Mehlhorn, Friedhelm Meyer auf der Heide, and H. Rohnert. “Upper and Lower Bounds for the Dictionary Problem.” In <i>SWAT 88</i>. Berlin, Heidelberg, 1988. <a href=\"https://doi.org/10.1007/3-540-19487-8_24\">https://doi.org/10.1007/3-540-19487-8_24</a>.","ieee":"M. Dietzfelbinger, K. Mehlhorn, F. Meyer auf der Heide, and H. Rohnert, “Upper and lower bounds for the dictionary problem,” in <i>SWAT 88</i>, Berlin, Heidelberg, 1988.","ama":"Dietzfelbinger M, Mehlhorn K, Meyer auf der Heide F, Rohnert H. Upper and lower bounds for the dictionary problem. In: <i>SWAT 88</i>. Berlin, Heidelberg; 1988. doi:<a href=\"https://doi.org/10.1007/3-540-19487-8_24\">10.1007/3-540-19487-8_24</a>"},"place":"Berlin, Heidelberg","year":"1988","publication_identifier":{"issn":["0302-9743","1611-3349"],"isbn":["9783540194873","9783540392880"]},"publication_status":"published","doi":"10.1007/3-540-19487-8_24","title":"Upper and lower bounds for the dictionary problem","author":[{"full_name":"Dietzfelbinger, M.","last_name":"Dietzfelbinger","first_name":"M."},{"first_name":"K.","last_name":"Mehlhorn","full_name":"Mehlhorn, K."},{"full_name":"Meyer auf der Heide, Friedhelm","id":"15523","last_name":"Meyer auf der Heide","first_name":"Friedhelm"},{"last_name":"Rohnert","full_name":"Rohnert, H.","first_name":"H."}],"date_created":"2020-04-21T09:01:36Z","date_updated":"2022-01-06T06:52:55Z"},{"language":[{"iso":"eng"}],"_id":"16915","department":[{"_id":"65"}],"user_id":"14955","status":"public","publication":"Proceedings of the Computer Science Symposium","type":"conference","title":"Enhancement Techniques in Digital Image Processing","date_updated":"2022-01-06T06:52:58Z","date_created":"2020-04-29T08:55:56Z","author":[{"last_name":"Domik","id":"90","full_name":"Domik, Gitta","first_name":"Gitta"}],"year":"1988","place":"Graz, Austria","page":"pp. 211-217","citation":{"bibtex":"@inproceedings{Domik_1988, place={Graz, Austria}, title={Enhancement Techniques in Digital Image Processing}, booktitle={Proceedings of the Computer Science Symposium}, author={Domik, Gitta}, year={1988}, pages={211–217} }","mla":"Domik, Gitta. “Enhancement Techniques in Digital Image Processing.” <i>Proceedings of the Computer Science Symposium</i>, 1988, pp. 211–17.","short":"G. Domik, in: Proceedings of the Computer Science Symposium, Graz, Austria, 1988, pp. 211–217.","apa":"Domik, G. (1988). Enhancement Techniques in Digital Image Processing. In <i>Proceedings of the Computer Science Symposium</i> (pp. 211–217). Graz, Austria.","ama":"Domik G. Enhancement Techniques in Digital Image Processing. In: <i>Proceedings of the Computer Science Symposium</i>. Graz, Austria; 1988:211-217.","ieee":"G. Domik, “Enhancement Techniques in Digital Image Processing,” in <i>Proceedings of the Computer Science Symposium</i>, 1988, pp. 211–217.","chicago":"Domik, Gitta. “Enhancement Techniques in Digital Image Processing.” In <i>Proceedings of the Computer Science Symposium</i>, 211–17. Graz, Austria, 1988."}},{"intvolume":"        28","page":"3-8","citation":{"ama":"Brugel EW, Domik G, Voels SA. A multi-spectral analysis system using large databases. In: <i>European Southern Observatory Conference and Workshop Proceedings</i>. Vol 28. ; 1988:3-8.","chicago":"Brugel, Edward W, Gitta Domik, and Stephen A Voels. “A Multi-Spectral Analysis System Using Large Databases.” In <i>European Southern Observatory Conference and Workshop Proceedings</i>, 28:3–8, 1988.","ieee":"E. W. Brugel, G. Domik, and S. A. Voels, “A multi-spectral analysis system using large databases.,” in <i>European Southern Observatory Conference and Workshop Proceedings</i>, 1988, vol. 28, pp. 3–8.","bibtex":"@inproceedings{Brugel_Domik_Voels_1988, title={A multi-spectral analysis system using large databases.}, volume={28}, booktitle={European Southern Observatory Conference and Workshop Proceedings}, author={Brugel, Edward W and Domik, Gitta and Voels, Stephen A}, year={1988}, pages={3–8} }","short":"E.W. Brugel, G. Domik, S.A. Voels, in: European Southern Observatory Conference and Workshop Proceedings, 1988, pp. 3–8.","mla":"Brugel, Edward W., et al. “A Multi-Spectral Analysis System Using Large Databases.” <i>European Southern Observatory Conference and Workshop Proceedings</i>, vol. 28, 1988, pp. 3–8.","apa":"Brugel, E. W., Domik, G., &#38; Voels, S. A. (1988). A multi-spectral analysis system using large databases. In <i>European Southern Observatory Conference and Workshop Proceedings</i> (Vol. 28, pp. 3–8)."},"year":"1988","title":"A multi-spectral analysis system using large databases.","volume":28,"author":[{"first_name":"Edward W","full_name":"Brugel, Edward W","last_name":"Brugel"},{"id":"90","full_name":"Domik, Gitta","last_name":"Domik","first_name":"Gitta"},{"full_name":"Voels, Stephen A","last_name":"Voels","first_name":"Stephen A"}],"date_created":"2019-12-13T09:42:19Z","date_updated":"2022-01-06T06:52:20Z","status":"public","publication":"European Southern Observatory Conference and Workshop Proceedings","type":"conference","language":[{"iso":"eng"}],"department":[{"_id":"65"}],"user_id":"15458","_id":"15320"},{"volume":9,"date_created":"2019-12-13T09:44:19Z","author":[{"last_name":"Domik","id":"90","full_name":"Domik, Gitta","first_name":"Gitta"},{"first_name":"Franz","full_name":"Leberl, Franz","last_name":"Leberl"},{"full_name":"Cimino, J","last_name":"Cimino","first_name":"J"}],"date_updated":"2022-01-06T06:52:20Z","publisher":"Taylor \\& Francis","title":"Dependence of image grey values on topography in SIR-B images","issue":"5","page":"1013-1022","intvolume":"         9","citation":{"ama":"Domik G, Leberl F, Cimino J. Dependence of image grey values on topography in SIR-B images. <i>International Journal of Remote Sensing</i>. 1988;9(5):1013-1022.","chicago":"Domik, Gitta, Franz Leberl, and J Cimino. “Dependence of Image Grey Values on Topography in SIR-B Images.” <i>International Journal of Remote Sensing</i> 9, no. 5 (1988): 1013–22.","ieee":"G. Domik, F. Leberl, and J. Cimino, “Dependence of image grey values on topography in SIR-B images,” <i>International Journal of Remote Sensing</i>, vol. 9, no. 5, pp. 1013–1022, 1988.","apa":"Domik, G., Leberl, F., &#38; Cimino, J. (1988). Dependence of image grey values on topography in SIR-B images. <i>International Journal of Remote Sensing</i>, <i>9</i>(5), 1013–1022.","bibtex":"@article{Domik_Leberl_Cimino_1988, title={Dependence of image grey values on topography in SIR-B images}, volume={9}, number={5}, journal={International Journal of Remote Sensing}, publisher={Taylor \\&#38; Francis}, author={Domik, Gitta and Leberl, Franz and Cimino, J}, year={1988}, pages={1013–1022} }","short":"G. Domik, F. Leberl, J. Cimino, International Journal of Remote Sensing 9 (1988) 1013–1022.","mla":"Domik, Gitta, et al. “Dependence of Image Grey Values on Topography in SIR-B Images.” <i>International Journal of Remote Sensing</i>, vol. 9, no. 5, Taylor \\&#38; Francis, 1988, pp. 1013–22."},"year":"1988","department":[{"_id":"65"}],"user_id":"15458","_id":"15321","language":[{"iso":"eng"}],"publication":"International Journal of Remote Sensing","type":"journal_article","status":"public"},{"year":"1988","citation":{"ama":"Leberl F, Mayr W, Domik G, Kobrick M. SIR-B stereo-radargrammetry of Australia. <i>International journal of remote sensing</i>. 1988;9(5):997-1011.","ieee":"F. Leberl, W. Mayr, G. Domik, and M. Kobrick, “SIR-B stereo-radargrammetry of Australia,” <i>International journal of remote sensing</i>, vol. 9, no. 5, pp. 997–1011, 1988.","chicago":"Leberl, Franz, W Mayr, Gitta Domik, and M Kobrick. “SIR-B Stereo-Radargrammetry of Australia.” <i>International Journal of Remote Sensing</i> 9, no. 5 (1988): 997–1011.","apa":"Leberl, F., Mayr, W., Domik, G., &#38; Kobrick, M. (1988). SIR-B stereo-radargrammetry of Australia. <i>International Journal of Remote Sensing</i>, <i>9</i>(5), 997–1011.","mla":"Leberl, Franz, et al. “SIR-B Stereo-Radargrammetry of Australia.” <i>International Journal of Remote Sensing</i>, vol. 9, no. 5, Taylor \\&#38; Francis, 1988, pp. 997–1011.","bibtex":"@article{Leberl_Mayr_Domik_Kobrick_1988, title={SIR-B stereo-radargrammetry of Australia}, volume={9}, number={5}, journal={International journal of remote sensing}, publisher={Taylor \\&#38; Francis}, author={Leberl, Franz and Mayr, W and Domik, Gitta and Kobrick, M}, year={1988}, pages={997–1011} }","short":"F. Leberl, W. Mayr, G. Domik, M. Kobrick, International Journal of Remote Sensing 9 (1988) 997–1011."},"intvolume":"         9","page":"997-1011","issue":"5","title":"SIR-B stereo-radargrammetry of Australia","date_updated":"2022-01-06T06:52:20Z","publisher":"Taylor \\& Francis","date_created":"2019-12-13T09:46:33Z","author":[{"full_name":"Leberl, Franz","last_name":"Leberl","first_name":"Franz"},{"first_name":"W","last_name":"Mayr","full_name":"Mayr, W"},{"last_name":"Domik","full_name":"Domik, Gitta","id":"90","first_name":"Gitta"},{"last_name":"Kobrick","full_name":"Kobrick, M","first_name":"M"}],"volume":9,"status":"public","type":"journal_article","publication":"International journal of remote sensing","language":[{"iso":"eng"}],"_id":"15322","user_id":"15458","department":[{"_id":"65"}]},{"status":"public","editor":[{"first_name":"Egon","full_name":"Börger, Egon","last_name":"Börger"}],"type":"book_chapter","publication":"Computation Theory and Logic","language":[{"iso":"eng"}],"user_id":"315","department":[{"_id":"34"},{"_id":"355"},{"_id":"7"}],"_id":"19821","citation":{"apa":"Büning, H. K., &#38; Lettmann, T. (1987). Representation independent query and update operations on propositional definite Horn formulas. In E. Börger (Ed.), <i>Computation Theory and Logic</i> (pp. 208–223). Berlin, Heidelberg. <a href=\"https://doi.org/10.1007/3-540-18170-9_167\">https://doi.org/10.1007/3-540-18170-9_167</a>","mla":"Büning, Hans Kleine, and Theodor Lettmann. “Representation Independent Query and Update Operations on Propositional Definite Horn Formulas.” <i>Computation Theory and Logic</i>, edited by Egon Börger, 1987, pp. 208–23, doi:<a href=\"https://doi.org/10.1007/3-540-18170-9_167\">10.1007/3-540-18170-9_167</a>.","bibtex":"@inbook{Büning_Lettmann_1987, place={Berlin, Heidelberg}, title={Representation independent query and update operations on propositional definite Horn formulas}, DOI={<a href=\"https://doi.org/10.1007/3-540-18170-9_167\">10.1007/3-540-18170-9_167</a>}, booktitle={Computation Theory and Logic}, author={Büning, Hans Kleine and Lettmann, Theodor}, editor={Börger, EgonEditor}, year={1987}, pages={208–223} }","short":"H.K. Büning, T. Lettmann, in: E. Börger (Ed.), Computation Theory and Logic, Berlin, Heidelberg, 1987, pp. 208–223.","chicago":"Büning, Hans Kleine, and Theodor Lettmann. “Representation Independent Query and Update Operations on Propositional Definite Horn Formulas.” In <i>Computation Theory and Logic</i>, edited by Egon Börger, 208–23. Berlin, Heidelberg, 1987. <a href=\"https://doi.org/10.1007/3-540-18170-9_167\">https://doi.org/10.1007/3-540-18170-9_167</a>.","ieee":"H. K. Büning and T. Lettmann, “Representation independent query and update operations on propositional definite Horn formulas,” in <i>Computation Theory and Logic</i>, E. Börger, Ed. Berlin, Heidelberg, 1987, pp. 208–223.","ama":"Büning HK, Lettmann T. Representation independent query and update operations on propositional definite Horn formulas. In: Börger E, ed. <i>Computation Theory and Logic</i>. Berlin, Heidelberg; 1987:208-223. doi:<a href=\"https://doi.org/10.1007/3-540-18170-9_167\">10.1007/3-540-18170-9_167</a>"},"page":"208-223","place":"Berlin, Heidelberg","year":"1987","publication_status":"published","publication_identifier":{"isbn":["9783540181705","9783540477952"],"issn":["0302-9743","1611-3349"]},"doi":"10.1007/3-540-18170-9_167","title":"Representation independent query and update operations on propositional definite Horn formulas","author":[{"first_name":"Hans Kleine","full_name":"Büning, Hans Kleine","last_name":"Büning"},{"first_name":"Theodor","orcid":"0000-0001-5859-2457","last_name":"Lettmann","id":"315","full_name":"Lettmann, Theodor"}],"date_created":"2020-10-01T09:08:05Z","date_updated":"2022-01-06T06:54:13Z"},{"year":"1987","citation":{"apa":"Domik, G., &#38; Leberl, F. (1987). Image based SAR product simulation for analysis. In <i>ASPRS-ACSM</i>.","mla":"Domik, Gitta, and Franz Leberl. “Image Based SAR Product Simulation for Analysis.” <i>ASPRS-ACSM</i>, 1987.","bibtex":"@inproceedings{Domik_Leberl_1987, title={Image based SAR product simulation for analysis}, booktitle={ASPRS-ACSM}, author={Domik, Gitta and Leberl, Franz}, year={1987} }","short":"G. Domik, F. Leberl, in: ASPRS-ACSM, 1987.","ieee":"G. Domik and F. Leberl, “Image based SAR product simulation for analysis,” in <i>ASPRS-ACSM</i>, 1987.","chicago":"Domik, Gitta, and Franz Leberl. “Image Based SAR Product Simulation for Analysis.” In <i>ASPRS-ACSM</i>, 1987.","ama":"Domik G, Leberl F. Image based SAR product simulation for analysis. In: <i>ASPRS-ACSM</i>. ; 1987."},"title":"Image based SAR product simulation for analysis","date_updated":"2022-01-06T06:55:13Z","author":[{"first_name":"Gitta","id":"90","full_name":"Domik, Gitta","last_name":"Domik"},{"first_name":"Franz","full_name":"Leberl, Franz","last_name":"Leberl"}],"date_created":"2021-04-25T17:55:46Z","status":"public","type":"conference","publication":"ASPRS-ACSM","language":[{"iso":"eng"}],"_id":"21791","user_id":"14955","department":[{"_id":"65"}]},{"abstract":[{"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.","lang":"eng"}],"status":"public","type":"conference","publication":"Proceedings of the 1st European Software Engineering Conference (ESEC '87), Strasbourg (France)","language":[{"iso":"eng"}],"_id":"7816","user_id":"52534","department":[{"_id":"66"}],"place":"Berlin/Heidelberg","year":"1987","citation":{"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.","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} }","mla":"Engels, Gregor, and Andy Schürr. “A Hybrid Interpreter in a Software Development Environment.” <i>Proceedings of the 1st European Software Engineering Conference (ESEC ’87), Strasbourg (France)</i>, vol. 289, Springer, 1987, pp. 80–88.","apa":"Engels, G., &#38; Schürr, A. (1987). A Hybrid Interpreter in a Software Development Environment. In <i>Proceedings of the 1st European Software Engineering Conference (ESEC ’87), Strasbourg (France)</i> (Vol. 289, pp. 80–88). Berlin/Heidelberg: Springer.","ama":"Engels G, Schürr A. A Hybrid Interpreter in a Software Development Environment. In: <i>Proceedings of the 1st European Software Engineering Conference (ESEC ’87), Strasbourg (France)</i>. Vol 289. Berlin/Heidelberg: Springer; 1987:80-88.","chicago":"Engels, Gregor, and Andy Schürr. “A Hybrid Interpreter in a Software Development Environment.” In <i>Proceedings of the 1st European Software Engineering Conference (ESEC ’87), Strasbourg (France)</i>, 289:80–88. Berlin/Heidelberg: Springer, 1987.","ieee":"G. Engels and A. Schürr, “A Hybrid Interpreter in a Software Development Environment,” in <i>Proceedings of the 1st European Software Engineering Conference (ESEC ’87), Strasbourg (France)</i>, 1987, vol. 289, pp. 80–88."},"page":"80-88","intvolume":"       289","title":"A Hybrid Interpreter in a Software Development Environment","publisher":"Springer","date_updated":"2022-01-06T07:03:46Z","author":[{"full_name":"Engels, Gregor","id":"107","last_name":"Engels","first_name":"Gregor"},{"first_name":"Andy","last_name":"Schürr","full_name":"Schürr, Andy"}],"date_created":"2019-02-20T13:43:35Z","volume":289},{"date_updated":"2022-01-06T07:03:46Z","publisher":"ACM SIGPLAN Notices","volume":22,"date_created":"2019-02-20T13:44:23Z","author":[{"last_name":"Engels","id":"107","full_name":"Engels, Gregor","first_name":"Gregor"},{"first_name":"Manfred","last_name":"Nagl","full_name":"Nagl, Manfred"},{"first_name":"Wilhelm","full_name":"Schäfer, Wilhelm","last_name":"Schäfer"}],"title":"On the Structure of Structure-Oriented Editors for Different Applications","issue":"1","year":"1987","page":"190-198","intvolume":"        22","citation":{"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} }","mla":"Engels, Gregor, et al. “On the Structure of Structure-Oriented Editors for Different Applications.” <i>Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Palo Alto, USA</i>, 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.","apa":"Engels, G., Nagl, M., &#38; Schäfer, W. (1987). On the Structure of Structure-Oriented Editors for Different Applications. In <i>Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Palo Alto, USA</i> (Vol. 22, pp. 190–198). ACM SIGPLAN Notices.","chicago":"Engels, Gregor, Manfred Nagl, and Wilhelm Schäfer. “On the Structure of Structure-Oriented Editors for Different Applications.” In <i>Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Palo Alto, USA</i>, 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 <i>Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Palo Alto, USA</i>, 1987, vol. 22, no. 1, pp. 190–198.","ama":"Engels G, Nagl M, Schäfer W. On the Structure of Structure-Oriented Editors for Different Applications. In: <i>Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Palo Alto, USA</i>. Vol 22. ACM SIGPLAN Notices; 1987:190-198."},"_id":"7817","department":[{"_id":"66"}],"user_id":"52534","language":[{"iso":"eng"}],"publication":"Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Palo Alto, USA","type":"conference","status":"public"},{"user_id":"52534","department":[{"_id":"66"}],"_id":"8257","language":[{"iso":"eng"}],"type":"conference","publication":"Proceedings of the 3rd International Workshop on Graph-Grammars and Their Application to Computer Science, Warrenton, VA (USA)","status":"public","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"}],"date_created":"2019-03-04T11:52:06Z","author":[{"last_name":"Engels","full_name":"Engels, Gregor","id":"107","first_name":"Gregor"},{"last_name":"Lewerentz","full_name":"Lewerentz, Claus","first_name":"Claus"},{"first_name":"Wilhelm","last_name":"Schäfer","full_name":"Schäfer, Wilhelm"}],"volume":291,"publisher":"Springer","date_updated":"2022-01-06T07:03:52Z","doi":"dx.doi.org/10.1007/3-540-18771-5","title":"Graph Grammar Engineering: A Software Specification Method","citation":{"ama":"Engels G, Lewerentz C, Schäfer W. Graph Grammar Engineering: A Software Specification Method. In: <i>Proceedings of the 3rd International Workshop on Graph-Grammars and Their Application to Computer Science, Warrenton, VA (USA)</i>. Vol 291. Berlin/Heidelberg: Springer; 1987:186-201. doi:<a href=\"https://doi.org/dx.doi.org/10.1007/3-540-18771-5\">dx.doi.org/10.1007/3-540-18771-5</a>","ieee":"G. Engels, C. Lewerentz, and W. Schäfer, “Graph Grammar Engineering: A Software Specification Method,” in <i>Proceedings of the 3rd International Workshop on Graph-Grammars and Their Application to Computer Science, Warrenton, VA (USA)</i>, 1987, vol. 291, pp. 186–201.","chicago":"Engels, Gregor, Claus Lewerentz, and Wilhelm Schäfer. “Graph Grammar Engineering: A Software Specification Method.” In <i>Proceedings of the 3rd International Workshop on Graph-Grammars and Their Application to Computer Science, Warrenton, VA (USA)</i>, 291:186–201. Berlin/Heidelberg: Springer, 1987. <a href=\"https://doi.org/dx.doi.org/10.1007/3-540-18771-5\">https://doi.org/dx.doi.org/10.1007/3-540-18771-5</a>.","bibtex":"@inproceedings{Engels_Lewerentz_Schäfer_1987, place={Berlin/Heidelberg}, title={Graph Grammar Engineering: A Software Specification Method}, volume={291}, DOI={<a href=\"https://doi.org/dx.doi.org/10.1007/3-540-18771-5\">dx.doi.org/10.1007/3-540-18771-5</a>}, 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} }","mla":"Engels, Gregor, et al. “Graph Grammar Engineering: A Software Specification Method.” <i>Proceedings of the 3rd International Workshop on Graph-Grammars and Their Application to Computer Science, Warrenton, VA (USA)</i>, vol. 291, Springer, 1987, pp. 186–201, doi:<a href=\"https://doi.org/dx.doi.org/10.1007/3-540-18771-5\">dx.doi.org/10.1007/3-540-18771-5</a>.","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.","apa":"Engels, G., Lewerentz, C., &#38; Schäfer, W. (1987). Graph Grammar Engineering: A Software Specification Method. In <i>Proceedings of the 3rd International Workshop on Graph-Grammars and Their Application to Computer Science, Warrenton, VA (USA)</i> (Vol. 291, pp. 186–201). Berlin/Heidelberg: Springer. <a href=\"https://doi.org/dx.doi.org/10.1007/3-540-18771-5\">https://doi.org/dx.doi.org/10.1007/3-540-18771-5</a>"},"page":"186-201","intvolume":"       291","year":"1987","place":"Berlin/Heidelberg"},{"publication_identifier":{"issn":["0097-5397","1095-7111"]},"publication_status":"published","year":"1987","page":"97-99","citation":{"ieee":"A. Borodin, F. Fich, F. Meyer auf der Heide, E. Upfal, and A. Wigderson, “A Time-Space Tradeoff for Element Distinctness,” <i>SIAM Journal on Computing</i>, pp. 97–99, 1987.","chicago":"Borodin, A., F. Fich, Friedhelm Meyer auf der Heide, E. Upfal, and A. Wigderson. “A Time-Space Tradeoff for Element Distinctness.” <i>SIAM Journal on Computing</i>, 1987, 97–99. <a href=\"https://doi.org/10.1137/0216007\">https://doi.org/10.1137/0216007</a>.","ama":"Borodin A, Fich F, Meyer auf der Heide F, Upfal E, Wigderson A. A Time-Space Tradeoff for Element Distinctness. <i>SIAM Journal on Computing</i>. 1987:97-99. doi:<a href=\"https://doi.org/10.1137/0216007\">10.1137/0216007</a>","short":"A. Borodin, F. Fich, F. Meyer auf der Heide, E. Upfal, A. Wigderson, SIAM Journal on Computing (1987) 97–99.","bibtex":"@article{Borodin_Fich_Meyer auf der Heide_Upfal_Wigderson_1987, title={A Time-Space Tradeoff for Element Distinctness}, DOI={<a href=\"https://doi.org/10.1137/0216007\">10.1137/0216007</a>}, 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} }","mla":"Borodin, A., et al. “A Time-Space Tradeoff for Element Distinctness.” <i>SIAM Journal on Computing</i>, 1987, pp. 97–99, doi:<a href=\"https://doi.org/10.1137/0216007\">10.1137/0216007</a>.","apa":"Borodin, A., Fich, F., Meyer auf der Heide, F., Upfal, E., &#38; Wigderson, A. (1987). A Time-Space Tradeoff for Element Distinctness. <i>SIAM Journal on Computing</i>, 97–99. <a href=\"https://doi.org/10.1137/0216007\">https://doi.org/10.1137/0216007</a>"},"date_updated":"2022-01-06T06:52:55Z","date_created":"2020-04-21T10:00:29Z","author":[{"last_name":"Borodin","full_name":"Borodin, A.","first_name":"A."},{"full_name":"Fich, F.","last_name":"Fich","first_name":"F."},{"first_name":"Friedhelm","id":"15523","full_name":"Meyer auf der Heide, Friedhelm","last_name":"Meyer auf der Heide"},{"first_name":"E.","full_name":"Upfal, E.","last_name":"Upfal"},{"last_name":"Wigderson","full_name":"Wigderson, A.","first_name":"A."}],"title":"A Time-Space Tradeoff for Element Distinctness","doi":"10.1137/0216007","publication":"SIAM Journal on Computing","type":"journal_article","status":"public","_id":"16772","department":[{"_id":"63"}],"user_id":"15415","language":[{"iso":"eng"}]},{"_id":"16773","user_id":"15415","department":[{"_id":"63"}],"language":[{"iso":"eng"}],"type":"journal_article","publication":"SIAM Journal on Computing","status":"public","date_updated":"2022-01-06T06:52:55Z","date_created":"2020-04-21T10:01:37Z","author":[{"last_name":"Meyer auf der Heide","id":"15523","full_name":"Meyer auf der Heide, Friedhelm","first_name":"Friedhelm"},{"first_name":"Avi","full_name":"Wigderson, Avi","last_name":"Wigderson"}],"title":"The Complexity of Parallel Sorting","doi":"10.1137/0216008","publication_status":"published","publication_identifier":{"issn":["0097-5397","1095-7111"]},"year":"1987","citation":{"ama":"Meyer auf der Heide F, Wigderson A. The Complexity of Parallel Sorting. <i>SIAM Journal on Computing</i>. 1987:100-107. doi:<a href=\"https://doi.org/10.1137/0216008\">10.1137/0216008</a>","ieee":"F. Meyer auf der Heide and A. Wigderson, “The Complexity of Parallel Sorting,” <i>SIAM Journal on Computing</i>, pp. 100–107, 1987.","chicago":"Meyer auf der Heide, Friedhelm, and Avi Wigderson. “The Complexity of Parallel Sorting.” <i>SIAM Journal on Computing</i>, 1987, 100–107. <a href=\"https://doi.org/10.1137/0216008\">https://doi.org/10.1137/0216008</a>.","apa":"Meyer auf der Heide, F., &#38; Wigderson, A. (1987). The Complexity of Parallel Sorting. <i>SIAM Journal on Computing</i>, 100–107. <a href=\"https://doi.org/10.1137/0216008\">https://doi.org/10.1137/0216008</a>","bibtex":"@article{Meyer auf der Heide_Wigderson_1987, title={The Complexity of Parallel Sorting}, DOI={<a href=\"https://doi.org/10.1137/0216008\">10.1137/0216008</a>}, journal={SIAM Journal on Computing}, author={Meyer auf der Heide, Friedhelm and Wigderson, Avi}, year={1987}, pages={100–107} }","short":"F. Meyer auf der Heide, A. Wigderson, SIAM Journal on Computing (1987) 100–107.","mla":"Meyer auf der Heide, Friedhelm, and Avi Wigderson. “The Complexity of Parallel Sorting.” <i>SIAM Journal on Computing</i>, 1987, pp. 100–07, doi:<a href=\"https://doi.org/10.1137/0216008\">10.1137/0216008</a>."},"page":"100-107"},{"language":[{"iso":"eng"}],"department":[{"_id":"65"}],"user_id":"14955","_id":"16916","status":"public","publication":"Proceedings of the First Int'l. Workshop on Image Rectification Tech. for Spaceborne Synthetic Aperture Radar","type":"conference","title":"Digital Rectification Method for Radar Images Applied on Huge Arrays","author":[{"id":"90","full_name":"Domik, Gitta","last_name":"Domik","first_name":"Gitta"}],"date_created":"2020-04-29T09:05:24Z","date_updated":"2022-01-06T06:52:58Z","page":"pp. 67-68","citation":{"ieee":"G. Domik, “Digital Rectification Method for Radar Images Applied on Huge Arrays,” in <i>Proceedings of the First Int’l. Workshop on Image Rectification Tech. for Spaceborne Synthetic Aperture Radar</i>, 1987, no. Rep. 29, pp. 67–68.","chicago":"Domik, Gitta. “Digital Rectification Method for Radar Images Applied on Huge Arrays.” In <i>Proceedings of the First Int’l. Workshop on Image Rectification Tech. for Spaceborne Synthetic Aperture Radar</i>, 67–68, 1987.","ama":"Domik G. Digital Rectification Method for Radar Images Applied on Huge Arrays. In: <i>Proceedings of the First Int’l. Workshop on Image Rectification Tech. for Spaceborne Synthetic Aperture Radar</i>. ; 1987: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} }","mla":"Domik, Gitta. “Digital Rectification Method for Radar Images Applied on Huge Arrays.” <i>Proceedings of the First Int’l. Workshop on Image Rectification Tech. for Spaceborne Synthetic Aperture Radar</i>, 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.","apa":"Domik, G. (1987). Digital Rectification Method for Radar Images Applied on Huge Arrays. In <i>Proceedings of the First Int’l. Workshop on Image Rectification Tech. for Spaceborne Synthetic Aperture Radar</i> (pp. 67–68)."},"year":"1987","issue":"Rep. 29"},{"language":[{"iso":"eng"}],"department":[{"_id":"65"}],"user_id":"15458","_id":"15038","status":"public","publication":"IGARSS'87-International Geoscience and Remote Sensing Symposium","type":"conference","title":"Methods and application of surface shape reconstruction from multiple SAR images","author":[{"first_name":"Gitta","id":"90","full_name":"Domik, Gitta","last_name":"Domik"}],"date_created":"2019-11-19T08:57:06Z","date_updated":"2022-01-06T06:52:15Z","page":"1551-1555","citation":{"apa":"Domik, G. (1987). Methods and application of surface shape reconstruction from multiple SAR images. In <i>IGARSS’87-International Geoscience and Remote Sensing Symposium</i> (pp. 1551–1555).","mla":"Domik, Gitta. “Methods and Application of Surface Shape Reconstruction from Multiple SAR Images.” <i>IGARSS’87-International Geoscience and Remote Sensing Symposium</i>, 1987, pp. 1551–55.","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} }","short":"G. Domik, in: IGARSS’87-International Geoscience and Remote Sensing Symposium, 1987, pp. 1551–1555.","ama":"Domik G. Methods and application of surface shape reconstruction from multiple SAR images. In: <i>IGARSS’87-International Geoscience and Remote Sensing Symposium</i>. ; 1987:1551-1555.","chicago":"Domik, Gitta. “Methods and Application of Surface Shape Reconstruction from Multiple SAR Images.” In <i>IGARSS’87-International Geoscience and Remote Sensing Symposium</i>, 1551–55, 1987.","ieee":"G. Domik, “Methods and application of surface shape reconstruction from multiple SAR images,” in <i>IGARSS’87-International Geoscience and Remote Sensing Symposium</i>, 1987, pp. 1551–1555."},"year":"1987"},{"year":"1987","citation":{"short":"F. Leberl, G. Domik, B.J. Mercer, in: 1987 ASPRS ACSM Annual Convention, 1987, 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} }","mla":"Leberl, Franz, et al. “Methods and Accuracy of Operational Digital Image Mapping with Aircraft SAR.” <i>1987 ASPRS ACSM Annual Convention</i>, 1987, pp. 148–58.","apa":"Leberl, F., Domik, G., &#38; Mercer, B. J. (1987). Methods and accuracy of operational digital image mapping with aircraft SAR. In <i>1987 ASPRS ACSM Annual Convention</i> (pp. 148–158).","ama":"Leberl F, Domik G, Mercer BJ. Methods and accuracy of operational digital image mapping with aircraft SAR. In: <i>1987 ASPRS ACSM Annual Convention</i>. ; 1987:148-158.","ieee":"F. Leberl, G. Domik, and B. J. Mercer, “Methods and accuracy of operational digital image mapping with aircraft SAR,” in <i>1987 ASPRS ACSM Annual Convention</i>, 1987, pp. 148–158.","chicago":"Leberl, Franz, Gitta Domik, and Bryan J Mercer. “Methods and Accuracy of Operational Digital Image Mapping with Aircraft SAR.” In <i>1987 ASPRS ACSM Annual Convention</i>, 148–58, 1987."},"page":"148-158","date_updated":"2022-01-06T06:52:15Z","author":[{"full_name":"Leberl, Franz","last_name":"Leberl","first_name":"Franz"},{"first_name":"Gitta","last_name":"Domik","full_name":"Domik, Gitta","id":"90"},{"full_name":"Mercer, Bryan J","last_name":"Mercer","first_name":"Bryan J"}],"date_created":"2019-11-20T08:23:44Z","title":"Methods and accuracy of operational digital image mapping with aircraft SAR","type":"conference","publication":"1987 ASPRS ACSM Annual Convention","status":"public","_id":"15050","user_id":"15458","department":[{"_id":"65"}],"language":[{"iso":"eng"}]},{"type":"book_chapter","publication":"8th International Conference on Automated Deduction","status":"public","user_id":"315","department":[{"_id":"34"},{"_id":"355"},{"_id":"7"}],"_id":"19819","language":[{"iso":"eng"}],"publication_status":"published","publication_identifier":{"isbn":["9783540167808","9783540398615"],"issn":["0302-9743","1611-3349"]},"citation":{"ama":"Kleine Büning H, Lettmann T. Classes of first order formulas under various satisfiability definitions. In: <i>8th International Conference on Automated Deduction</i>. Berlin, Heidelberg; 1986. doi:<a href=\"https://doi.org/10.1007/3-540-16780-3_119\">10.1007/3-540-16780-3_119</a>","chicago":"Kleine Büning, H., and Theodor Lettmann. “Classes of First Order Formulas under Various Satisfiability Definitions.” In <i>8th International Conference on Automated Deduction</i>. Berlin, Heidelberg, 1986. <a href=\"https://doi.org/10.1007/3-540-16780-3_119\">https://doi.org/10.1007/3-540-16780-3_119</a>.","ieee":"H. Kleine Büning and T. Lettmann, “Classes of first order formulas under various satisfiability definitions,” in <i>8th International Conference on Automated Deduction</i>, Berlin, Heidelberg, 1986.","bibtex":"@inbook{Kleine Büning_Lettmann_1986, place={Berlin, Heidelberg}, title={Classes of first order formulas under various satisfiability definitions}, DOI={<a href=\"https://doi.org/10.1007/3-540-16780-3_119\">10.1007/3-540-16780-3_119</a>}, booktitle={8th International Conference on Automated Deduction}, author={Kleine Büning, H. and Lettmann, Theodor}, year={1986} }","short":"H. Kleine Büning, T. Lettmann, in: 8th International Conference on Automated Deduction, Berlin, Heidelberg, 1986.","mla":"Kleine Büning, H., and Theodor Lettmann. “Classes of First Order Formulas under Various Satisfiability Definitions.” <i>8th International Conference on Automated Deduction</i>, 1986, doi:<a href=\"https://doi.org/10.1007/3-540-16780-3_119\">10.1007/3-540-16780-3_119</a>.","apa":"Kleine Büning, H., &#38; Lettmann, T. (1986). Classes of first order formulas under various satisfiability definitions. In <i>8th International Conference on Automated Deduction</i>. Berlin, Heidelberg. <a href=\"https://doi.org/10.1007/3-540-16780-3_119\">https://doi.org/10.1007/3-540-16780-3_119</a>"},"year":"1986","place":"Berlin, Heidelberg","date_created":"2020-10-01T08:56:14Z","author":[{"last_name":"Kleine Büning","full_name":"Kleine Büning, H.","first_name":"H."},{"first_name":"Theodor","orcid":"0000-0001-5859-2457","last_name":"Lettmann","id":"315","full_name":"Lettmann, Theodor"}],"date_updated":"2022-01-06T06:54:13Z","doi":"10.1007/3-540-16780-3_119","title":"Classes of first order formulas under various satisfiability definitions"},{"year":"1986","citation":{"chicago":"Domik, Gitta, Franz Leberl, and Jobea Cimino. “Multiple Incidence Angle SIR-B Experiment over Argentina: Generation of Secondary Image Products.” <i>IEEE Transactions on Geoscience and Remote Sensing</i> GE-24, no. 4 (1986): 492–497. <a href=\"https://doi.org/10.1109/TGRS.1986.289663\">https://doi.org/10.1109/TGRS.1986.289663</a>.","ieee":"G. Domik, F. Leberl, and J. Cimino, “Multiple incidence angle SIR-B experiment over Argentina: generation of secondary image products,” <i>IEEE Transactions on Geoscience and Remote Sensing</i>, vol. GE-24, no. 4, pp. 492–497, 1986.","ama":"Domik G, Leberl F, Cimino J. Multiple incidence angle SIR-B experiment over Argentina: generation of secondary image products. <i>IEEE Transactions on Geoscience and Remote Sensing</i>. 1986;GE-24(4):492–497. doi:<a href=\"https://doi.org/10.1109/TGRS.1986.289663\">10.1109/TGRS.1986.289663</a>","bibtex":"@article{Domik_Leberl_Cimino_1986, title={Multiple incidence angle SIR-B experiment over Argentina: generation of secondary image products}, volume={GE-24}, DOI={<a href=\"https://doi.org/10.1109/TGRS.1986.289663\">10.1109/TGRS.1986.289663</a>}, 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} }","short":"G. Domik, F. Leberl, J. Cimino, IEEE Transactions on Geoscience and Remote Sensing GE-24 (1986) 492–497.","mla":"Domik, Gitta, et al. “Multiple Incidence Angle SIR-B Experiment over Argentina: Generation of Secondary Image Products.” <i>IEEE Transactions on Geoscience and Remote Sensing</i>, vol. GE-24, no. 4, IEEE, 1986, pp. 492–497, doi:<a href=\"https://doi.org/10.1109/TGRS.1986.289663\">10.1109/TGRS.1986.289663</a>.","apa":"Domik, G., Leberl, F., &#38; Cimino, J. (1986). Multiple incidence angle SIR-B experiment over Argentina: generation of secondary image products. <i>IEEE Transactions on Geoscience and Remote Sensing</i>, <i>GE</i>-<i>24</i>(4), 492–497. <a href=\"https://doi.org/10.1109/TGRS.1986.289663\">https://doi.org/10.1109/TGRS.1986.289663</a>"},"page":"492–497","issue":"4","title":"Multiple incidence angle SIR-B experiment over Argentina: generation of secondary image products","doi":"10.1109/TGRS.1986.289663","publisher":"IEEE","date_updated":"2022-01-06T06:55:13Z","author":[{"first_name":"Gitta","last_name":"Domik","id":"90","full_name":"Domik, Gitta"},{"last_name":"Leberl","full_name":"Leberl, Franz","first_name":"Franz"},{"first_name":"Jobea","last_name":"Cimino","full_name":"Cimino, Jobea"}],"date_created":"2021-04-25T17:57:58Z","volume":"GE-24","status":"public","type":"journal_article","publication":"IEEE Transactions on Geoscience and Remote Sensing","language":[{"iso":"eng"}],"_id":"21792","user_id":"14955","department":[{"_id":"65"}]},{"year":"1986","page":"645–650","citation":{"apa":"Mercer, J., Lowry, R., Leberl, F., &#38; Domik, G. (1986). Digital terrain mapping with STAR-1 SAR data. In <i>International Geoscience and Remote Sensing Symposium</i> (pp. 645–650). IGARSS.","bibtex":"@inproceedings{Mercer_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} }","mla":"Mercer, JB, et al. “Digital Terrain Mapping with STAR-1 SAR Data.” <i>International Geoscience and Remote Sensing Symposium</i>, IGARSS, 1986, pp. 645–650.","short":"J. Mercer, R. Lowry, F. Leberl, G. Domik, in: International Geoscience and Remote Sensing Symposium, IGARSS, 1986, pp. 645–650.","ama":"Mercer J, Lowry R, Leberl F, Domik G. Digital terrain mapping with STAR-1 SAR data. In: <i>International Geoscience and Remote Sensing Symposium</i>. IGARSS; 1986:645–650.","chicago":"Mercer, JB, RT Lowry, Franz Leberl, and Gitta Domik. “Digital Terrain Mapping with STAR-1 SAR Data.” In <i>International Geoscience and Remote Sensing Symposium</i>, 645–650. IGARSS, 1986.","ieee":"J. Mercer, R. Lowry, F. Leberl, and G. Domik, “Digital terrain mapping with STAR-1 SAR data,” in <i>International Geoscience and Remote Sensing Symposium</i>, 1986, pp. 645–650."},"publisher":"IGARSS","date_updated":"2022-01-06T06:55:13Z","date_created":"2021-04-25T17:57:59Z","author":[{"first_name":"JB","last_name":"Mercer","full_name":"Mercer, JB"},{"last_name":"Lowry","full_name":"Lowry, RT","first_name":"RT"},{"first_name":"Franz","last_name":"Leberl","full_name":"Leberl, Franz"},{"first_name":"Gitta","id":"90","full_name":"Domik, Gitta","last_name":"Domik"}],"title":"Digital terrain mapping with STAR-1 SAR data","publication":"International Geoscience and Remote Sensing Symposium","type":"conference","status":"public","_id":"21793","department":[{"_id":"65"}],"user_id":"14955","language":[{"iso":"eng"}]},{"type":"conference","publication":"Remote sensing for resources development and environmental management; Proceedings of the Seventh International Symposium","status":"public","_id":"21794","user_id":"14955","department":[{"_id":"65"}],"language":[{"iso":"eng"}],"year":"1986","citation":{"bibtex":"@inproceedings{Domik_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} }","mla":"Domik, Gitta, et al. “Developing Tools for Digital Radar Image Data Evaluation.” <i>Remote Sensing for Resources Development and Environmental Management; Proceedings of the Seventh International Symposium</i>, vol. 1, 1986, pp. 117–119.","short":"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.","apa":"Domik, G., Leberl, F., &#38; Raggam, J. (1986). Developing tools for digital radar image data evaluation. In <i>Remote sensing for resources development and environmental management; Proceedings of the Seventh International Symposium</i> (Vol. 1, pp. 117–119).","ieee":"G. Domik, F. Leberl, and J. Raggam, “Developing tools for digital radar image data evaluation,” in <i>Remote sensing for resources development and environmental management; Proceedings of the Seventh International Symposium</i>, 1986, vol. 1, pp. 117–119.","chicago":"Domik, Gitta, Franz Leberl, and J Raggam. “Developing Tools for Digital Radar Image Data Evaluation.” In <i>Remote Sensing for Resources Development and Environmental Management; Proceedings of the Seventh International Symposium</i>, 1:117–119, 1986.","ama":"Domik G, Leberl F, Raggam J. Developing tools for digital radar image data evaluation. In: <i>Remote Sensing for Resources Development and Environmental Management; Proceedings of the Seventh International Symposium</i>. Vol 1. ; 1986:117–119."},"intvolume":"         1","page":"117–119","date_updated":"2022-01-06T06:55:13Z","author":[{"full_name":"Domik, Gitta","id":"90","last_name":"Domik","first_name":"Gitta"},{"full_name":"Leberl, Franz","last_name":"Leberl","first_name":"Franz"},{"last_name":"Raggam","full_name":"Raggam, J","first_name":"J"}],"date_created":"2021-04-25T17:58:00Z","volume":1,"title":"Developing tools for digital radar image data evaluation"}]