---
_id: '16767'
author:
- first_name: Bettina
  full_name: Just, Bettina
  last_name: Just
- first_name: Fb
  full_name: Mathematik, Fb
  last_name: Mathematik
- first_name: Friedhelm
  full_name: Meyer auf der Heide, Friedhelm
  id: '15523'
  last_name: Meyer auf der Heide
- first_name: Fb
  full_name: Informatik, Fb
  last_name: Informatik
- first_name: Avi
  full_name: Wigderson, Avi
  last_name: Wigderson
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>'
  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>
  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} }'
  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>.
  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.
  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>.
  short: 'B. Just, F. Mathematik, F. Meyer auf der Heide, F. Informatik, A. Wigderson,
    in: STACS 88, Berlin, Heidelberg, 1988.'
date_created: 2020-04-21T09:00:37Z
date_updated: 2022-01-06T06:52:55Z
department:
- _id: '63'
doi: 10.1007/bfb0035829
language:
- iso: eng
place: Berlin, Heidelberg
publication: STACS 88
publication_identifier:
  isbn:
  - '9783540188346'
  - '9783540481904'
  issn:
  - 0302-9743
  - 1611-3349
publication_status: published
status: public
title: On computations with integer division
type: book_chapter
user_id: '15415'
year: '1988'
...
---
_id: '16768'
author:
- first_name: M.
  full_name: Dietzfelbinger, M.
  last_name: Dietzfelbinger
- first_name: K.
  full_name: Mehlhorn, K.
  last_name: Mehlhorn
- first_name: Friedhelm
  full_name: Meyer auf der Heide, Friedhelm
  id: '15523'
  last_name: Meyer auf der Heide
- first_name: H.
  full_name: Rohnert, H.
  last_name: Rohnert
citation:
  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>'
  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>
  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.
  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.'
date_created: 2020-04-21T09:01:36Z
date_updated: 2022-01-06T06:52:55Z
department:
- _id: '63'
doi: 10.1007/3-540-19487-8_24
language:
- iso: eng
place: Berlin, Heidelberg
publication: SWAT 88
publication_identifier:
  isbn:
  - '9783540194873'
  - '9783540392880'
  issn:
  - 0302-9743
  - 1611-3349
publication_status: published
status: public
title: Upper and lower bounds for the dictionary problem
type: book_chapter
user_id: '15415'
year: '1988'
...
---
_id: '16915'
author:
- first_name: Gitta
  full_name: Domik, Gitta
  id: '90'
  last_name: Domik
citation:
  ama: 'Domik G. Enhancement Techniques in Digital Image Processing. In: <i>Proceedings
    of the Computer Science Symposium</i>. Graz, Austria; 1988: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.
  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.
  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.
  short: 'G. Domik, in: Proceedings of the Computer Science Symposium, Graz, Austria,
    1988, pp. 211–217.'
date_created: 2020-04-29T08:55:56Z
date_updated: 2022-01-06T06:52:58Z
department:
- _id: '65'
language:
- iso: eng
page: pp. 211-217
place: Graz, Austria
publication: Proceedings of the Computer Science Symposium
status: public
title: Enhancement Techniques in Digital Image Processing
type: conference
user_id: '14955'
year: '1988'
...
---
_id: '15320'
author:
- first_name: Edward W
  full_name: Brugel, Edward W
  last_name: Brugel
- first_name: Gitta
  full_name: Domik, Gitta
  id: '90'
  last_name: Domik
- first_name: Stephen A
  full_name: Voels, Stephen A
  last_name: Voels
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.'
  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).
  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} }'
  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.
  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.
  short: 'E.W. Brugel, G. Domik, S.A. Voels, in: European Southern Observatory Conference
    and Workshop Proceedings, 1988, pp. 3–8.'
date_created: 2019-12-13T09:42:19Z
date_updated: 2022-01-06T06:52:20Z
department:
- _id: '65'
intvolume: '        28'
language:
- iso: eng
page: 3-8
publication: European Southern Observatory Conference and Workshop Proceedings
status: public
title: A multi-spectral analysis system using large databases.
type: conference
user_id: '15458'
volume: 28
year: '1988'
...
---
_id: '15321'
author:
- first_name: Gitta
  full_name: Domik, Gitta
  id: '90'
  last_name: Domik
- first_name: Franz
  full_name: Leberl, Franz
  last_name: Leberl
- first_name: J
  full_name: Cimino, J
  last_name: Cimino
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.
  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} }'
  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.
  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.
  short: G. Domik, F. Leberl, J. Cimino, International Journal of Remote Sensing 9
    (1988) 1013–1022.
date_created: 2019-12-13T09:44:19Z
date_updated: 2022-01-06T06:52:20Z
department:
- _id: '65'
intvolume: '         9'
issue: '5'
language:
- iso: eng
page: 1013-1022
publication: International Journal of Remote Sensing
publisher: Taylor \& Francis
status: public
title: Dependence of image grey values on topography in SIR-B images
type: journal_article
user_id: '15458'
volume: 9
year: '1988'
...
---
_id: '15322'
author:
- first_name: Franz
  full_name: Leberl, Franz
  last_name: Leberl
- first_name: W
  full_name: Mayr, W
  last_name: Mayr
- first_name: Gitta
  full_name: Domik, Gitta
  id: '90'
  last_name: Domik
- first_name: M
  full_name: Kobrick, M
  last_name: Kobrick
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.
  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.
  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} }'
  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.'
  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.
  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.
  short: F. Leberl, W. Mayr, G. Domik, M. Kobrick, International Journal of Remote
    Sensing 9 (1988) 997–1011.
date_created: 2019-12-13T09:46:33Z
date_updated: 2022-01-06T06:52:20Z
department:
- _id: '65'
intvolume: '         9'
issue: '5'
language:
- iso: eng
page: 997-1011
publication: International journal of remote sensing
publisher: Taylor \& Francis
status: public
title: SIR-B stereo-radargrammetry of Australia
type: journal_article
user_id: '15458'
volume: 9
year: '1988'
...
---
_id: '19821'
author:
- first_name: Hans Kleine
  full_name: Büning, Hans Kleine
  last_name: Büning
- first_name: Theodor
  full_name: Lettmann, Theodor
  id: '315'
  last_name: Lettmann
  orcid: 0000-0001-5859-2457
citation:
  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>'
  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>
  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} }'
  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.
  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>.
  short: 'H.K. Büning, T. Lettmann, in: E. Börger (Ed.), Computation Theory and Logic,
    Berlin, Heidelberg, 1987, pp. 208–223.'
date_created: 2020-10-01T09:08:05Z
date_updated: 2022-01-06T06:54:13Z
department:
- _id: '34'
- _id: '355'
- _id: '7'
doi: 10.1007/3-540-18170-9_167
editor:
- first_name: Egon
  full_name: Börger, Egon
  last_name: Börger
language:
- iso: eng
page: 208-223
place: Berlin, Heidelberg
publication: Computation Theory and Logic
publication_identifier:
  isbn:
  - '9783540181705'
  - '9783540477952'
  issn:
  - 0302-9743
  - 1611-3349
publication_status: published
status: public
title: Representation independent query and update operations on propositional definite
  Horn formulas
type: book_chapter
user_id: '315'
year: '1987'
...
---
_id: '21791'
author:
- first_name: Gitta
  full_name: Domik, Gitta
  id: '90'
  last_name: Domik
- first_name: Franz
  full_name: Leberl, Franz
  last_name: Leberl
citation:
  ama: 'Domik G, Leberl F. Image based SAR product simulation for analysis. In: <i>ASPRS-ACSM</i>.
    ; 1987.'
  apa: Domik, G., &#38; Leberl, F. (1987). Image based SAR product simulation for
    analysis. In <i>ASPRS-ACSM</i>.
  bibtex: '@inproceedings{Domik_Leberl_1987, title={Image based SAR product simulation
    for analysis}, booktitle={ASPRS-ACSM}, author={Domik, Gitta and Leberl, Franz},
    year={1987} }'
  chicago: Domik, Gitta, and Franz Leberl. “Image Based SAR Product Simulation for
    Analysis.” In <i>ASPRS-ACSM</i>, 1987.
  ieee: G. Domik and F. Leberl, “Image based SAR product simulation for analysis,”
    in <i>ASPRS-ACSM</i>, 1987.
  mla: Domik, Gitta, and Franz Leberl. “Image Based SAR Product Simulation for Analysis.”
    <i>ASPRS-ACSM</i>, 1987.
  short: 'G. Domik, F. Leberl, in: ASPRS-ACSM, 1987.'
date_created: 2021-04-25T17:55:46Z
date_updated: 2022-01-06T06:55:13Z
department:
- _id: '65'
language:
- iso: eng
publication: ASPRS-ACSM
status: public
title: Image based SAR product simulation for analysis
type: conference
user_id: '14955'
year: '1987'
...
---
_id: '7816'
abstract:
- lang: eng
  text: This paper describes the realization of an execution tool for Modula-2 modules
    which is part of an integrated tool set in a software development environment
    termed IPSEN (Incremental Programming Support Environment). In this environment,
    all software documents, e.g. Modula-2 modules, are manipulated by syntax-directed
    editors and are represented internally by attributed graphs. The execution of
    Modula-2 modules is done by two cooperating interpreters. The first one is a graph
    interpreter which traverses the internal graph from statement to statement. These
    statements are translated into a low-level, more efficiently executable object
    code and interpreted by a second interpreter. This concept of a hybrid interpreter
    allows the realization of an execution tool which offers a lot of runtime support
    features to the user.
author:
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
- first_name: Andy
  full_name: Schürr, Andy
  last_name: Schürr
citation:
  ama: 'Engels G, Schürr A. A Hybrid Interpreter in a Software Development Environment.
    In: <i>Proceedings of the 1st European Software Engineering Conference (ESEC ’87),
    Strasbourg (France)</i>. Vol 289. Berlin/Heidelberg: Springer; 1987: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.'
  bibtex: '@inproceedings{Engels_Schürr_1987, place={Berlin/Heidelberg}, title={A
    Hybrid Interpreter in a Software Development Environment}, volume={289}, booktitle={Proceedings
    of the 1st European Software Engineering Conference (ESEC ’87), Strasbourg (France)},
    publisher={Springer}, author={Engels, Gregor and Schürr, Andy}, year={1987}, pages={80–88}
    }'
  chicago: 'Engels, Gregor, and Andy Schürr. “A Hybrid Interpreter in a Software Development
    Environment.” In <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.
  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.
  short: 'G. Engels, A. Schürr, in: Proceedings of the 1st European Software Engineering
    Conference (ESEC ’87), Strasbourg (France), Springer, Berlin/Heidelberg, 1987,
    pp. 80–88.'
date_created: 2019-02-20T13:43:35Z
date_updated: 2022-01-06T07:03:46Z
department:
- _id: '66'
intvolume: '       289'
language:
- iso: eng
page: 80-88
place: Berlin/Heidelberg
publication: Proceedings of the 1st European Software Engineering Conference (ESEC
  '87), Strasbourg (France)
publisher: Springer
status: public
title: A Hybrid Interpreter in a Software Development Environment
type: conference
user_id: '52534'
volume: 289
year: '1987'
...
---
_id: '7817'
author:
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
- first_name: Manfred
  full_name: Nagl, Manfred
  last_name: Nagl
- first_name: Wilhelm
  full_name: Schäfer, Wilhelm
  last_name: Schäfer
citation:
  ama: 'Engels G, Nagl M, Schäfer W. On the Structure of Structure-Oriented Editors
    for Different Applications. In: <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.'
  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.
  bibtex: '@inproceedings{Engels_Nagl_Schäfer_1987, title={On the Structure of Structure-Oriented
    Editors for Different Applications}, volume={22}, number={1}, booktitle={Proceedings
    of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software
    Development Environments, Palo Alto, USA}, publisher={ACM SIGPLAN Notices}, author={Engels,
    Gregor and Nagl, Manfred and Schäfer, Wilhelm}, year={1987}, pages={190–198} }'
  chicago: Engels, Gregor, Manfred Nagl, and Wilhelm Schäfer. “On the Structure of
    Structure-Oriented Editors for Different Applications.” In <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.
  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.'
date_created: 2019-02-20T13:44:23Z
date_updated: 2022-01-06T07:03:46Z
department:
- _id: '66'
intvolume: '        22'
issue: '1'
language:
- iso: eng
page: 190-198
publication: Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium
  on Practical Software Development Environments, Palo Alto, USA
publisher: ACM SIGPLAN Notices
status: public
title: On the Structure of Structure-Oriented Editors for Different Applications
type: conference
user_id: '52534'
volume: 22
year: '1987'
...
---
_id: '8257'
abstract:
- lang: eng
  text: Graphs as conceptual data models are accepted and used in a wide range of
    different problem areas. Giving some examples we outline common aspects for modeling
    complex structures by graphs. We present a formal frame-work based on graph grammars
    to specify graph classes and the corresponding graph manipulations. We show that
    such a specification can be written in a systematic, engineering-like manner.
    This is achieved by an extension of the known programmed, attributed graph grammars.
    Node-set operators are introduced to facilitate graph queries. Concepts like abstraction,
    decomposition, refinement, parameterization, and integration have been adopted
    from software engineering to yield a comprehensive specification method. This
    method has successfully been applied to specify the central data structures in
    a software development environment project
author:
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
- first_name: Claus
  full_name: Lewerentz, Claus
  last_name: Lewerentz
- first_name: Wilhelm
  full_name: Schäfer, Wilhelm
  last_name: Schäfer
citation:
  ama: 'Engels G, Lewerentz C, Schäfer W. Graph Grammar Engineering: A Software Specification
    Method. In: <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>'
  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>'
  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} }'
  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>.'
  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.'
  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.'
date_created: 2019-03-04T11:52:06Z
date_updated: 2022-01-06T07:03:52Z
department:
- _id: '66'
doi: dx.doi.org/10.1007/3-540-18771-5
intvolume: '       291'
language:
- iso: eng
page: 186-201
place: Berlin/Heidelberg
publication: Proceedings of the 3rd International Workshop on Graph-Grammars and Their
  Application to Computer Science, Warrenton, VA (USA)
publisher: Springer
status: public
title: 'Graph Grammar Engineering: A Software Specification Method'
type: conference
user_id: '52534'
volume: 291
year: '1987'
...
---
_id: '16772'
author:
- first_name: A.
  full_name: Borodin, A.
  last_name: Borodin
- first_name: F.
  full_name: Fich, F.
  last_name: Fich
- first_name: Friedhelm
  full_name: Meyer auf der Heide, Friedhelm
  id: '15523'
  last_name: Meyer auf der Heide
- first_name: E.
  full_name: Upfal, E.
  last_name: Upfal
- first_name: A.
  full_name: Wigderson, A.
  last_name: Wigderson
citation:
  ama: Borodin A, Fich F, Meyer auf der Heide F, Upfal E, Wigderson A. A Time-Space
    Tradeoff for Element Distinctness. <i>SIAM Journal on Computing</i>. 1987: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>
  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}
    }'
  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>.
  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.
  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>.
  short: A. Borodin, F. Fich, F. Meyer auf der Heide, E. Upfal, A. Wigderson, SIAM
    Journal on Computing (1987) 97–99.
date_created: 2020-04-21T10:00:29Z
date_updated: 2022-01-06T06:52:55Z
department:
- _id: '63'
doi: 10.1137/0216007
language:
- iso: eng
page: 97-99
publication: SIAM Journal on Computing
publication_identifier:
  issn:
  - 0097-5397
  - 1095-7111
publication_status: published
status: public
title: A Time-Space Tradeoff for Element Distinctness
type: journal_article
user_id: '15415'
year: '1987'
...
---
_id: '16773'
author:
- first_name: Friedhelm
  full_name: Meyer auf der Heide, Friedhelm
  id: '15523'
  last_name: Meyer auf der Heide
- first_name: Avi
  full_name: Wigderson, Avi
  last_name: Wigderson
citation:
  ama: Meyer auf der Heide F, Wigderson A. The Complexity of Parallel Sorting. <i>SIAM
    Journal on Computing</i>. 1987:100-107. doi:<a href="https://doi.org/10.1137/0216008">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} }'
  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>.
  ieee: F. Meyer auf der Heide and A. Wigderson, “The Complexity of Parallel Sorting,”
    <i>SIAM Journal on Computing</i>, pp. 100–107, 1987.
  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.
date_created: 2020-04-21T10:01:37Z
date_updated: 2022-01-06T06:52:55Z
department:
- _id: '63'
doi: 10.1137/0216008
language:
- iso: eng
page: 100-107
publication: SIAM Journal on Computing
publication_identifier:
  issn:
  - 0097-5397
  - 1095-7111
publication_status: published
status: public
title: The Complexity of Parallel Sorting
type: journal_article
user_id: '15415'
year: '1987'
...
---
_id: '16916'
author:
- first_name: Gitta
  full_name: Domik, Gitta
  id: '90'
  last_name: Domik
citation:
  ama: 'Domik G. Digital Rectification Method for Radar Images Applied on Huge Arrays.
    In: <i>Proceedings of the First Int’l. Workshop on Image Rectification Tech. for
    Spaceborne Synthetic Aperture Radar</i>. ; 1987: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).
  bibtex: '@inproceedings{Domik_1987, title={Digital Rectification Method for Radar
    Images Applied on Huge Arrays}, number={Rep. 29}, booktitle={Proceedings of the
    First Int’l. Workshop on Image Rectification Tech. for Spaceborne Synthetic Aperture
    Radar}, author={Domik, Gitta}, year={1987}, pages={67–68} }'
  chicago: Domik, Gitta. “Digital Rectification Method for Radar Images Applied on
    Huge Arrays.” In <i>Proceedings of the First Int’l. Workshop on Image Rectification
    Tech. for Spaceborne Synthetic Aperture Radar</i>, 67–68, 1987.
  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.
  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.'
date_created: 2020-04-29T09:05:24Z
date_updated: 2022-01-06T06:52:58Z
department:
- _id: '65'
issue: Rep. 29
language:
- iso: eng
page: pp. 67-68
publication: Proceedings of the First Int'l. Workshop on Image Rectification Tech.
  for Spaceborne Synthetic Aperture Radar
status: public
title: Digital Rectification Method for Radar Images Applied on Huge Arrays
type: conference
user_id: '14955'
year: '1987'
...
---
_id: '15038'
author:
- first_name: Gitta
  full_name: Domik, Gitta
  id: '90'
  last_name: Domik
citation:
  ama: 'Domik G. Methods and application of surface shape reconstruction from multiple
    SAR images. In: <i>IGARSS’87-International Geoscience and Remote Sensing Symposium</i>.
    ; 1987: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).
  bibtex: '@inproceedings{Domik_1987, title={Methods and application of surface shape
    reconstruction from multiple SAR images}, booktitle={IGARSS’87-International Geoscience
    and Remote Sensing Symposium}, author={Domik, Gitta}, year={1987}, pages={1551–1555}
    }'
  chicago: Domik, Gitta. “Methods and Application of Surface Shape Reconstruction
    from Multiple SAR Images.” In <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.
  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.
  short: 'G. Domik, in: IGARSS’87-International Geoscience and Remote Sensing Symposium,
    1987, pp. 1551–1555.'
date_created: 2019-11-19T08:57:06Z
date_updated: 2022-01-06T06:52:15Z
department:
- _id: '65'
language:
- iso: eng
page: 1551-1555
publication: IGARSS'87-International Geoscience and Remote Sensing Symposium
status: public
title: Methods and application of surface shape reconstruction from multiple SAR images
type: conference
user_id: '15458'
year: '1987'
...
---
_id: '15050'
author:
- first_name: Franz
  full_name: Leberl, Franz
  last_name: Leberl
- first_name: Gitta
  full_name: Domik, Gitta
  id: '90'
  last_name: Domik
- first_name: Bryan J
  full_name: Mercer, Bryan J
  last_name: Mercer
citation:
  ama: 'Leberl F, Domik G, Mercer BJ. Methods and accuracy of operational digital
    image mapping with aircraft SAR. In: <i>1987 ASPRS ACSM Annual Convention</i>.
    ; 1987:148-158.'
  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).
  bibtex: '@inproceedings{Leberl_Domik_Mercer_1987, title={Methods and accuracy of
    operational digital image mapping with aircraft SAR}, booktitle={1987 ASPRS ACSM
    Annual Convention}, author={Leberl, Franz and Domik, Gitta and Mercer, Bryan J},
    year={1987}, pages={148–158} }'
  chicago: Leberl, Franz, Gitta Domik, and Bryan J Mercer. “Methods and Accuracy of
    Operational Digital Image Mapping with Aircraft SAR.” In <i>1987 ASPRS ACSM Annual
    Convention</i>, 148–58, 1987.
  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.
  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.
  short: 'F. Leberl, G. Domik, B.J. Mercer, in: 1987 ASPRS ACSM Annual Convention,
    1987, pp. 148–158.'
date_created: 2019-11-20T08:23:44Z
date_updated: 2022-01-06T06:52:15Z
department:
- _id: '65'
language:
- iso: eng
page: 148-158
publication: 1987 ASPRS ACSM Annual Convention
status: public
title: Methods and accuracy of operational digital image mapping with aircraft SAR
type: conference
user_id: '15458'
year: '1987'
...
---
_id: '19819'
author:
- first_name: H.
  full_name: Kleine Büning, H.
  last_name: Kleine Büning
- first_name: Theodor
  full_name: Lettmann, Theodor
  id: '315'
  last_name: Lettmann
  orcid: 0000-0001-5859-2457
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>'
  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>
  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} }'
  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.
  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>.
  short: 'H. Kleine Büning, T. Lettmann, in: 8th International Conference on Automated
    Deduction, Berlin, Heidelberg, 1986.'
date_created: 2020-10-01T08:56:14Z
date_updated: 2022-01-06T06:54:13Z
department:
- _id: '34'
- _id: '355'
- _id: '7'
doi: 10.1007/3-540-16780-3_119
language:
- iso: eng
place: Berlin, Heidelberg
publication: 8th International Conference on Automated Deduction
publication_identifier:
  isbn:
  - '9783540167808'
  - '9783540398615'
  issn:
  - 0302-9743
  - 1611-3349
publication_status: published
status: public
title: Classes of first order formulas under various satisfiability definitions
type: book_chapter
user_id: '315'
year: '1986'
...
---
_id: '21792'
author:
- first_name: Gitta
  full_name: Domik, Gitta
  id: '90'
  last_name: Domik
- first_name: Franz
  full_name: Leberl, Franz
  last_name: Leberl
- first_name: Jobea
  full_name: Cimino, Jobea
  last_name: Cimino
citation:
  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>'
  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>'
  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}
    }'
  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.'
  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>.'
  short: G. Domik, F. Leberl, J. Cimino, IEEE Transactions on Geoscience and Remote
    Sensing GE-24 (1986) 492–497.
date_created: 2021-04-25T17:57:58Z
date_updated: 2022-01-06T06:55:13Z
department:
- _id: '65'
doi: 10.1109/TGRS.1986.289663
issue: '4'
language:
- iso: eng
page: 492–497
publication: IEEE Transactions on Geoscience and Remote Sensing
publisher: IEEE
status: public
title: 'Multiple incidence angle SIR-B experiment over Argentina: generation of secondary
  image products'
type: journal_article
user_id: '14955'
volume: GE-24
year: '1986'
...
---
_id: '21793'
author:
- first_name: JB
  full_name: Mercer, JB
  last_name: Mercer
- first_name: RT
  full_name: Lowry, RT
  last_name: Lowry
- first_name: Franz
  full_name: Leberl, Franz
  last_name: Leberl
- first_name: Gitta
  full_name: Domik, Gitta
  id: '90'
  last_name: Domik
citation:
  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.'
  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} }'
  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.
  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.'
date_created: 2021-04-25T17:57:59Z
date_updated: 2022-01-06T06:55:13Z
department:
- _id: '65'
language:
- iso: eng
page: 645–650
publication: International Geoscience and Remote Sensing Symposium
publisher: IGARSS
status: public
title: Digital terrain mapping with STAR-1 SAR data
type: conference
user_id: '14955'
year: '1986'
...
---
_id: '21794'
author:
- first_name: Gitta
  full_name: Domik, Gitta
  id: '90'
  last_name: Domik
- first_name: Franz
  full_name: Leberl, Franz
  last_name: Leberl
- first_name: J
  full_name: Raggam, J
  last_name: Raggam
citation:
  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.'
  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).
  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} }'
  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.
  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.
  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.'
date_created: 2021-04-25T17:58:00Z
date_updated: 2022-01-06T06:55:13Z
department:
- _id: '65'
intvolume: '         1'
language:
- iso: eng
page: 117–119
publication: Remote sensing for resources development and environmental management;
  Proceedings of the Seventh International Symposium
status: public
title: Developing tools for digital radar image data evaluation
type: conference
user_id: '14955'
volume: 1
year: '1986'
...
