[{"author":[{"full_name":"Borodin, Allan","first_name":"Allan","last_name":"Borodin"},{"first_name":"Faith E.","last_name":"Fich","full_name":"Fich, Faith E."},{"id":"15523","full_name":"Meyer auf der Heide, Friedhelm","last_name":"Meyer auf der Heide","first_name":"Friedhelm"},{"last_name":"Upfal","first_name":"Eli","full_name":"Upfal, Eli"},{"last_name":"Wigderson","first_name":"Avi","full_name":"Wigderson, Avi"}],"publication_identifier":{"issn":["0304-3975"]},"title":"A tradeoff between search and update time for the implicit dictionary problem","status":"public","year":"1988","publication_status":"published","date_updated":"2022-01-06T06:52:55Z","language":[{"iso":"eng"}],"_id":"16765","page":"57-68","user_id":"15415","doi":"10.1016/0304-3975(88)90018-7","citation":{"ama":"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. <i>Theoretical Computer Science</i>. 1988:57-68. doi:<a href=\"https://doi.org/10.1016/0304-3975(88)90018-7\">10.1016/0304-3975(88)90018-7</a>","bibtex":"@article{Borodin_Fich_Meyer auf der Heide_Upfal_Wigderson_1988, title={A tradeoff between search and update time for the implicit dictionary problem}, DOI={<a href=\"https://doi.org/10.1016/0304-3975(88)90018-7\">10.1016/0304-3975(88)90018-7</a>}, journal={Theoretical Computer Science}, author={Borodin, Allan and Fich, Faith E. and Meyer auf der Heide, Friedhelm and Upfal, Eli and Wigderson, Avi}, year={1988}, pages={57–68} }","mla":"Borodin, Allan, et al. “A Tradeoff between Search and Update Time for the Implicit Dictionary Problem.” <i>Theoretical Computer Science</i>, 1988, pp. 57–68, doi:<a href=\"https://doi.org/10.1016/0304-3975(88)90018-7\">10.1016/0304-3975(88)90018-7</a>.","chicago":"Borodin, Allan, Faith E. Fich, Friedhelm Meyer auf der Heide, Eli Upfal, and Avi Wigderson. “A Tradeoff between Search and Update Time for the Implicit Dictionary Problem.” <i>Theoretical Computer Science</i>, 1988, 57–68. <a href=\"https://doi.org/10.1016/0304-3975(88)90018-7\">https://doi.org/10.1016/0304-3975(88)90018-7</a>.","short":"A. Borodin, F.E. Fich, F. Meyer auf der Heide, E. Upfal, A. Wigderson, Theoretical Computer Science (1988) 57–68.","apa":"Borodin, A., Fich, F. E., Meyer auf der Heide, F., Upfal, E., &#38; Wigderson, A. (1988). A tradeoff between search and update time for the implicit dictionary problem. <i>Theoretical Computer Science</i>, 57–68. <a href=\"https://doi.org/10.1016/0304-3975(88)90018-7\">https://doi.org/10.1016/0304-3975(88)90018-7</a>","ieee":"A. Borodin, F. E. Fich, F. Meyer auf der Heide, E. Upfal, and A. Wigderson, “A tradeoff between search and update time for the implicit dictionary problem,” <i>Theoretical Computer Science</i>, pp. 57–68, 1988."},"publication":"Theoretical Computer Science","date_created":"2020-04-21T08:53:13Z","department":[{"_id":"63"}],"type":"journal_article"},{"date_updated":"2022-01-06T06:52:55Z","publication_status":"published","title":"Dynamic perfect hashing: upper and lower bounds","status":"public","year":"1988","publication_identifier":{"isbn":["0818608773"]},"author":[{"full_name":"Dietzfelbinger, M.","first_name":"M.","last_name":"Dietzfelbinger"},{"full_name":"Karlin, A.","last_name":"Karlin","first_name":"A."},{"full_name":"Mehlhorn, K.","first_name":"K.","last_name":"Mehlhorn"},{"first_name":"Friedhelm","last_name":"Meyer auf der Heide","full_name":"Meyer auf der Heide, Friedhelm","id":"15523"},{"full_name":"Rohnert, H.","first_name":"H.","last_name":"Rohnert"},{"full_name":"Tarjan, R.E.","first_name":"R.E.","last_name":"Tarjan"}],"doi":"10.1109/sfcs.1988.21968","user_id":"15415","_id":"16766","language":[{"iso":"eng"}],"publication":"[Proceedings 1988] 29th Annual Symposium on Foundations of Computer Science","citation":{"chicago":"Dietzfelbinger, M., A. Karlin, K. Mehlhorn, Friedhelm Meyer auf der Heide, H. Rohnert, and R.E. Tarjan. “Dynamic Perfect Hashing: Upper and Lower Bounds.” In <i>[Proceedings 1988] 29th Annual Symposium on Foundations of Computer Science</i>, 1988. <a href=\"https://doi.org/10.1109/sfcs.1988.21968\">https://doi.org/10.1109/sfcs.1988.21968</a>.","short":"M. Dietzfelbinger, A. Karlin, K. Mehlhorn, F. Meyer auf der Heide, H. Rohnert, R.E. Tarjan, in: [Proceedings 1988] 29th Annual Symposium on Foundations of Computer Science, 1988.","apa":"Dietzfelbinger, M., Karlin, A., Mehlhorn, K., Meyer auf der Heide, F., Rohnert, H., &#38; Tarjan, R. E. (1988). Dynamic perfect hashing: upper and lower bounds. In <i>[Proceedings 1988] 29th Annual Symposium on Foundations of Computer Science</i>. <a href=\"https://doi.org/10.1109/sfcs.1988.21968\">https://doi.org/10.1109/sfcs.1988.21968</a>","ieee":"M. Dietzfelbinger, A. Karlin, K. Mehlhorn, F. Meyer auf der Heide, H. Rohnert, and R. E. Tarjan, “Dynamic perfect hashing: upper and lower bounds,” in <i>[Proceedings 1988] 29th Annual Symposium on Foundations of Computer Science</i>, 1988.","ama":"Dietzfelbinger M, Karlin A, Mehlhorn K, Meyer auf der Heide F, Rohnert H, Tarjan RE. Dynamic perfect hashing: upper and lower bounds. In: <i>[Proceedings 1988] 29th Annual Symposium on Foundations of Computer Science</i>. ; 1988. doi:<a href=\"https://doi.org/10.1109/sfcs.1988.21968\">10.1109/sfcs.1988.21968</a>","bibtex":"@inproceedings{Dietzfelbinger_Karlin_Mehlhorn_Meyer auf der Heide_Rohnert_Tarjan_1988, title={Dynamic perfect hashing: upper and lower bounds}, DOI={<a href=\"https://doi.org/10.1109/sfcs.1988.21968\">10.1109/sfcs.1988.21968</a>}, booktitle={[Proceedings 1988] 29th Annual Symposium on Foundations of Computer Science}, author={Dietzfelbinger, M. and Karlin, A. and Mehlhorn, K. and Meyer auf der Heide, Friedhelm and Rohnert, H. and Tarjan, R.E.}, year={1988} }","mla":"Dietzfelbinger, M., et al. “Dynamic Perfect Hashing: Upper and Lower Bounds.” <i>[Proceedings 1988] 29th Annual Symposium on Foundations of Computer Science</i>, 1988, doi:<a href=\"https://doi.org/10.1109/sfcs.1988.21968\">10.1109/sfcs.1988.21968</a>."},"type":"conference","department":[{"_id":"63"}],"date_created":"2020-04-21T08:59:26Z"},{"doi":"10.1007/bfb0035829","user_id":"15415","_id":"16767","language":[{"iso":"eng"}],"date_updated":"2022-01-06T06:52:55Z","publication_status":"published","title":"On computations with integer division","status":"public","year":"1988","publication_identifier":{"issn":["0302-9743","1611-3349"],"isbn":["9783540188346","9783540481904"]},"author":[{"last_name":"Just","first_name":"Bettina","full_name":"Just, Bettina"},{"full_name":"Mathematik, Fb","first_name":"Fb","last_name":"Mathematik"},{"id":"15523","full_name":"Meyer auf der Heide, Friedhelm","last_name":"Meyer auf der Heide","first_name":"Friedhelm"},{"full_name":"Informatik, Fb","first_name":"Fb","last_name":"Informatik"},{"last_name":"Wigderson","first_name":"Avi","full_name":"Wigderson, Avi"}],"type":"book_chapter","department":[{"_id":"63"}],"place":"Berlin, Heidelberg","date_created":"2020-04-21T09:00:37Z","publication":"STACS 88","citation":{"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>.","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>","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>","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."}},{"date_updated":"2022-01-06T06:52:55Z","publication_status":"published","status":"public","year":"1988","title":"Upper and lower bounds for the dictionary problem","publication_identifier":{"issn":["0302-9743","1611-3349"],"isbn":["9783540194873","9783540392880"]},"author":[{"last_name":"Dietzfelbinger","first_name":"M.","full_name":"Dietzfelbinger, M."},{"full_name":"Mehlhorn, K.","first_name":"K.","last_name":"Mehlhorn"},{"id":"15523","full_name":"Meyer auf der Heide, Friedhelm","last_name":"Meyer auf der Heide","first_name":"Friedhelm"},{"last_name":"Rohnert","first_name":"H.","full_name":"Rohnert, H."}],"doi":"10.1007/3-540-19487-8_24","user_id":"15415","_id":"16768","language":[{"iso":"eng"}],"publication":"SWAT 88","citation":{"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>.","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} }","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>","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.","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>","short":"M. Dietzfelbinger, K. Mehlhorn, F. Meyer auf der Heide, H. Rohnert, in: SWAT 88, Berlin, Heidelberg, 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>."},"type":"book_chapter","department":[{"_id":"63"}],"place":"Berlin, Heidelberg","date_created":"2020-04-21T09:01:36Z"},{"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} }","chicago":"Domik, Gitta. “Enhancement Techniques in Digital Image Processing.” In <i>Proceedings of the Computer Science Symposium</i>, 211–17. Graz, Austria, 1988.","short":"G. Domik, in: Proceedings of the Computer Science Symposium, Graz, Austria, 1988, pp. 211–217.","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.","mla":"Domik, Gitta. “Enhancement Techniques in Digital Image Processing.” <i>Proceedings of the Computer Science Symposium</i>, 1988, pp. 211–17.","apa":"Domik, G. (1988). Enhancement Techniques in Digital Image Processing. In <i>Proceedings of the Computer Science Symposium</i> (pp. 211–217). Graz, Austria."},"publication":"Proceedings of the Computer Science Symposium","place":"Graz, Austria","date_created":"2020-04-29T08:55:56Z","department":[{"_id":"65"}],"type":"conference","author":[{"id":"90","first_name":"Gitta","last_name":"Domik","full_name":"Domik, Gitta"}],"year":"1988","title":"Enhancement Techniques in Digital Image Processing","status":"public","date_updated":"2022-01-06T06:52:58Z","_id":"16915","language":[{"iso":"eng"}],"page":"pp. 211-217","user_id":"14955"},{"date_created":"2019-12-13T09:42:19Z","type":"conference","department":[{"_id":"65"}],"publication":"European Southern Observatory Conference and Workshop Proceedings","citation":{"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.","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} }","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.","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.","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).","short":"E.W. Brugel, G. Domik, S.A. Voels, in: European Southern Observatory Conference and Workshop Proceedings, 1988, pp. 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."},"page":"3-8","language":[{"iso":"eng"}],"_id":"15320","user_id":"15458","volume":28,"status":"public","year":"1988","title":"A multi-spectral analysis system using large databases.","author":[{"first_name":"Edward W","last_name":"Brugel","full_name":"Brugel, Edward W"},{"id":"90","last_name":"Domik","first_name":"Gitta","full_name":"Domik, Gitta"},{"full_name":"Voels, Stephen A","last_name":"Voels","first_name":"Stephen A"}],"date_updated":"2022-01-06T06:52:20Z","intvolume":"        28"},{"intvolume":"         9","date_updated":"2022-01-06T06:52:20Z","author":[{"id":"90","full_name":"Domik, Gitta","first_name":"Gitta","last_name":"Domik"},{"full_name":"Leberl, Franz","last_name":"Leberl","first_name":"Franz"},{"full_name":"Cimino, J","first_name":"J","last_name":"Cimino"}],"title":"Dependence of image grey values on topography in SIR-B images","year":"1988","status":"public","volume":9,"user_id":"15458","_id":"15321","publisher":"Taylor \\& Francis","language":[{"iso":"eng"}],"page":"1013-1022","citation":{"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.","short":"G. Domik, F. Leberl, J. Cimino, International Journal of Remote Sensing 9 (1988) 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.","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.","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} }","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."},"issue":"5","publication":"International Journal of Remote Sensing","department":[{"_id":"65"}],"type":"journal_article","date_created":"2019-12-13T09:44:19Z"},{"status":"public","year":"1988","title":"SIR-B stereo-radargrammetry of Australia","author":[{"last_name":"Leberl","first_name":"Franz","full_name":"Leberl, Franz"},{"full_name":"Mayr, W","last_name":"Mayr","first_name":"W"},{"id":"90","full_name":"Domik, Gitta","first_name":"Gitta","last_name":"Domik"},{"full_name":"Kobrick, M","first_name":"M","last_name":"Kobrick"}],"date_updated":"2022-01-06T06:52:20Z","intvolume":"         9","page":"997-1011","_id":"15322","language":[{"iso":"eng"}],"publisher":"Taylor \\& Francis","user_id":"15458","volume":9,"publication":"International journal of remote sensing","issue":"5","citation":{"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} }","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.","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.","short":"F. Leberl, W. Mayr, G. Domik, M. Kobrick, International Journal of Remote Sensing 9 (1988) 997–1011.","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."},"date_created":"2019-12-13T09:46:33Z","type":"journal_article","department":[{"_id":"65"}]},{"date_updated":"2022-01-06T06:54:13Z","publication_status":"published","title":"Representation independent query and update operations on propositional definite Horn formulas","status":"public","year":"1987","publication_identifier":{"isbn":["9783540181705","9783540477952"],"issn":["0302-9743","1611-3349"]},"author":[{"full_name":"Büning, Hans Kleine","last_name":"Büning","first_name":"Hans Kleine"},{"id":"315","orcid":"0000-0001-5859-2457","last_name":"Lettmann","first_name":"Theodor","full_name":"Lettmann, Theodor"}],"doi":"10.1007/3-540-18170-9_167","user_id":"315","editor":[{"first_name":"Egon","last_name":"Börger","full_name":"Börger, Egon"}],"page":"208-223","language":[{"iso":"eng"}],"_id":"19821","publication":"Computation Theory and Logic","citation":{"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>.","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>","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} }","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>","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.","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>."},"type":"book_chapter","department":[{"_id":"34"},{"_id":"355"},{"_id":"7"}],"place":"Berlin, Heidelberg","date_created":"2020-10-01T09:08:05Z"},{"publication":"ASPRS-ACSM","citation":{"ama":"Domik G, Leberl F. Image based SAR product simulation for analysis. In: <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} }","mla":"Domik, Gitta, and Franz Leberl. “Image Based SAR Product Simulation for Analysis.” <i>ASPRS-ACSM</i>, 1987.","chicago":"Domik, Gitta, and Franz Leberl. “Image Based SAR Product Simulation for Analysis.” In <i>ASPRS-ACSM</i>, 1987.","short":"G. Domik, F. Leberl, in: ASPRS-ACSM, 1987.","apa":"Domik, G., &#38; Leberl, F. (1987). Image based SAR product simulation for analysis. In <i>ASPRS-ACSM</i>.","ieee":"G. Domik and F. Leberl, “Image based SAR product simulation for analysis,” in <i>ASPRS-ACSM</i>, 1987."},"type":"conference","department":[{"_id":"65"}],"date_created":"2021-04-25T17:55:46Z","date_updated":"2022-01-06T06:55:13Z","status":"public","title":"Image based SAR product simulation for analysis","year":"1987","author":[{"id":"90","last_name":"Domik","first_name":"Gitta","full_name":"Domik, Gitta"},{"first_name":"Franz","last_name":"Leberl","full_name":"Leberl, Franz"}],"user_id":"14955","_id":"21791","language":[{"iso":"eng"}]},{"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."}],"publication":"Proceedings of the 1st European Software Engineering Conference (ESEC '87), Strasbourg (France)","citation":{"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.","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.","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.","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.","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.","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} }","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."},"type":"conference","department":[{"_id":"66"}],"date_created":"2019-02-20T13:43:35Z","place":"Berlin/Heidelberg","date_updated":"2022-01-06T07:03:46Z","intvolume":"       289","year":"1987","title":"A Hybrid Interpreter in a Software Development Environment","status":"public","author":[{"id":"107","full_name":"Engels, Gregor","first_name":"Gregor","last_name":"Engels"},{"full_name":"Schürr, Andy","first_name":"Andy","last_name":"Schürr"}],"user_id":"52534","volume":289,"page":"80-88","_id":"7816","language":[{"iso":"eng"}],"publisher":"Springer"},{"publication":"Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Palo Alto, USA","issue":"1","citation":{"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.","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.","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.","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.","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.","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.","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} }"},"date_created":"2019-02-20T13:44:23Z","type":"conference","department":[{"_id":"66"}],"title":"On the Structure of Structure-Oriented Editors for Different Applications","status":"public","year":"1987","author":[{"last_name":"Engels","first_name":"Gregor","full_name":"Engels, Gregor","id":"107"},{"full_name":"Nagl, Manfred","last_name":"Nagl","first_name":"Manfred"},{"first_name":"Wilhelm","last_name":"Schäfer","full_name":"Schäfer, Wilhelm"}],"date_updated":"2022-01-06T07:03:46Z","intvolume":"        22","page":"190-198","_id":"7817","language":[{"iso":"eng"}],"publisher":"ACM SIGPLAN Notices","user_id":"52534","volume":22},{"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"}],"publication":"Proceedings of the 3rd International Workshop on Graph-Grammars and Their Application to Computer Science, Warrenton, VA (USA)","citation":{"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>","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>.","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.","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>.","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>","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} }"},"type":"conference","department":[{"_id":"66"}],"date_created":"2019-03-04T11:52:06Z","place":"Berlin/Heidelberg","date_updated":"2022-01-06T07:03:52Z","intvolume":"       291","title":"Graph Grammar Engineering: A Software Specification Method","status":"public","year":"1987","author":[{"last_name":"Engels","first_name":"Gregor","full_name":"Engels, Gregor","id":"107"},{"last_name":"Lewerentz","first_name":"Claus","full_name":"Lewerentz, Claus"},{"full_name":"Schäfer, Wilhelm","last_name":"Schäfer","first_name":"Wilhelm"}],"user_id":"52534","doi":"dx.doi.org/10.1007/3-540-18771-5","volume":291,"page":"186-201","_id":"8257","publisher":"Springer","language":[{"iso":"eng"}]},{"year":"1987","status":"public","title":"A Time-Space Tradeoff for Element Distinctness","publication_identifier":{"issn":["0097-5397","1095-7111"]},"author":[{"first_name":"A.","last_name":"Borodin","full_name":"Borodin, A."},{"full_name":"Fich, F.","last_name":"Fich","first_name":"F."},{"id":"15523","full_name":"Meyer auf der Heide, Friedhelm","first_name":"Friedhelm","last_name":"Meyer auf der Heide"},{"first_name":"E.","last_name":"Upfal","full_name":"Upfal, E."},{"last_name":"Wigderson","first_name":"A.","full_name":"Wigderson, A."}],"date_updated":"2022-01-06T06:52:55Z","publication_status":"published","page":"97-99","language":[{"iso":"eng"}],"_id":"16772","doi":"10.1137/0216007","user_id":"15415","publication":"SIAM Journal on Computing","citation":{"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>","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>.","short":"A. Borodin, F. Fich, F. Meyer auf der Heide, E. Upfal, A. Wigderson, SIAM Journal on Computing (1987) 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>.","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>","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} }"},"date_created":"2020-04-21T10:00:29Z","type":"journal_article","department":[{"_id":"63"}]},{"type":"journal_article","department":[{"_id":"63"}],"date_created":"2020-04-21T10:01:37Z","publication":"SIAM Journal on Computing","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>","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} }","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>.","short":"F. Meyer auf der Heide, A. Wigderson, SIAM Journal on Computing (1987) 100–107.","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>","ieee":"F. Meyer auf der Heide and A. Wigderson, “The Complexity of Parallel Sorting,” <i>SIAM Journal on Computing</i>, pp. 100–107, 1987."},"user_id":"15415","doi":"10.1137/0216008","page":"100-107","language":[{"iso":"eng"}],"_id":"16773","publication_status":"published","date_updated":"2022-01-06T06:52:55Z","year":"1987","title":"The Complexity of Parallel Sorting","status":"public","publication_identifier":{"issn":["0097-5397","1095-7111"]},"author":[{"id":"15523","last_name":"Meyer auf der Heide","first_name":"Friedhelm","full_name":"Meyer auf der Heide, Friedhelm"},{"first_name":"Avi","last_name":"Wigderson","full_name":"Wigderson, Avi"}]},{"date_updated":"2022-01-06T06:52:58Z","status":"public","year":"1987","title":"Digital Rectification Method for Radar Images Applied on Huge Arrays","author":[{"id":"90","full_name":"Domik, Gitta","last_name":"Domik","first_name":"Gitta"}],"user_id":"14955","page":"pp. 67-68","_id":"16916","language":[{"iso":"eng"}],"issue":"Rep. 29","publication":"Proceedings of the First Int'l. Workshop on Image Rectification Tech. for Spaceborne Synthetic Aperture Radar","citation":{"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.","short":"G. Domik, in: Proceedings of the First Int’l. Workshop on Image Rectification Tech. for Spaceborne Synthetic Aperture Radar, 1987, pp. 67–68.","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.","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).","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."},"type":"conference","department":[{"_id":"65"}],"date_created":"2020-04-29T09:05:24Z"},{"type":"conference","department":[{"_id":"65"}],"date_created":"2019-11-19T08:57:06Z","publication":"IGARSS'87-International Geoscience and Remote Sensing Symposium","citation":{"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} }","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.","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.","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).","short":"G. Domik, in: IGARSS’87-International Geoscience and Remote Sensing Symposium, 1987, pp. 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."},"user_id":"15458","page":"1551-1555","_id":"15038","language":[{"iso":"eng"}],"date_updated":"2022-01-06T06:52:15Z","year":"1987","status":"public","title":"Methods and application of surface shape reconstruction from multiple SAR images","author":[{"first_name":"Gitta","last_name":"Domik","full_name":"Domik, Gitta","id":"90"}]},{"status":"public","title":"Methods and accuracy of operational digital image mapping with aircraft SAR","year":"1987","author":[{"last_name":"Leberl","first_name":"Franz","full_name":"Leberl, Franz"},{"first_name":"Gitta","last_name":"Domik","full_name":"Domik, Gitta","id":"90"},{"last_name":"Mercer","first_name":"Bryan J","full_name":"Mercer, Bryan J"}],"date_updated":"2022-01-06T06:52:15Z","page":"148-158","_id":"15050","language":[{"iso":"eng"}],"user_id":"15458","publication":"1987 ASPRS ACSM Annual Convention","citation":{"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).","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.","short":"F. Leberl, G. Domik, B.J. Mercer, 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.” <i>1987 ASPRS ACSM Annual Convention</i>, 1987, pp. 148–58.","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.","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} }"},"date_created":"2019-11-20T08:23:44Z","type":"conference","department":[{"_id":"65"}]},{"date_created":"2020-10-01T08:56:14Z","place":"Berlin, Heidelberg","department":[{"_id":"34"},{"_id":"355"},{"_id":"7"}],"type":"book_chapter","citation":{"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>.","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} }","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>","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.","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>","short":"H. Kleine Büning, T. Lettmann, in: 8th International Conference on Automated Deduction, Berlin, Heidelberg, 1986.","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>."},"publication":"8th International Conference on Automated Deduction","_id":"19819","language":[{"iso":"eng"}],"user_id":"315","doi":"10.1007/3-540-16780-3_119","publication_identifier":{"issn":["0302-9743","1611-3349"],"isbn":["9783540167808","9783540398615"]},"author":[{"first_name":"H.","last_name":"Kleine Büning","full_name":"Kleine Büning, H."},{"first_name":"Theodor","orcid":"0000-0001-5859-2457","last_name":"Lettmann","full_name":"Lettmann, Theodor","id":"315"}],"year":"1986","title":"Classes of first order formulas under various satisfiability definitions","status":"public","publication_status":"published","date_updated":"2022-01-06T06:54:13Z"},{"page":"492–497","publisher":"IEEE","_id":"21792","language":[{"iso":"eng"}],"user_id":"14955","doi":"10.1109/TGRS.1986.289663","volume":"GE-24","title":"Multiple incidence angle SIR-B experiment over Argentina: generation of secondary image products","status":"public","year":"1986","author":[{"id":"90","first_name":"Gitta","last_name":"Domik","full_name":"Domik, Gitta"},{"first_name":"Franz","last_name":"Leberl","full_name":"Leberl, Franz"},{"full_name":"Cimino, Jobea","first_name":"Jobea","last_name":"Cimino"}],"date_updated":"2022-01-06T06:55:13Z","date_created":"2021-04-25T17:57:58Z","type":"journal_article","department":[{"_id":"65"}],"publication":"IEEE Transactions on Geoscience and Remote Sensing","issue":"4","citation":{"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>","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>","short":"G. Domik, F. Leberl, J. Cimino, IEEE Transactions on Geoscience and Remote Sensing GE-24 (1986) 492–497.","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>.","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} }"}}]