@inbook{16767, author = {{Just, Bettina and Mathematik, Fb and Meyer auf der Heide, Friedhelm and Informatik, Fb and Wigderson, Avi}}, booktitle = {{STACS 88}}, isbn = {{9783540188346}}, issn = {{0302-9743}}, title = {{{On computations with integer division}}}, doi = {{10.1007/bfb0035829}}, year = {{1988}}, } @inbook{16768, author = {{Dietzfelbinger, M. and Mehlhorn, K. and Meyer auf der Heide, Friedhelm and Rohnert, H.}}, booktitle = {{SWAT 88}}, isbn = {{9783540194873}}, issn = {{0302-9743}}, title = {{{Upper and lower bounds for the dictionary problem}}}, doi = {{10.1007/3-540-19487-8_24}}, year = {{1988}}, } @inproceedings{16915, author = {{Domik, Gitta}}, booktitle = {{Proceedings of the Computer Science Symposium}}, pages = {{pp. 211--217}}, title = {{{Enhancement Techniques in Digital Image Processing}}}, year = {{1988}}, } @inproceedings{15320, author = {{Brugel, Edward W and Domik, Gitta and Voels, Stephen A}}, booktitle = {{European Southern Observatory Conference and Workshop Proceedings}}, pages = {{3--8}}, title = {{{A multi-spectral analysis system using large databases.}}}, volume = {{28}}, year = {{1988}}, } @article{15321, author = {{Domik, Gitta and Leberl, Franz and Cimino, J}}, journal = {{International Journal of Remote Sensing}}, number = {{5}}, pages = {{1013--1022}}, publisher = {{Taylor \& Francis}}, title = {{{Dependence of image grey values on topography in SIR-B images}}}, volume = {{9}}, year = {{1988}}, } @article{15322, author = {{Leberl, Franz and Mayr, W and Domik, Gitta and Kobrick, M}}, journal = {{International journal of remote sensing}}, number = {{5}}, pages = {{997--1011}}, publisher = {{Taylor \& Francis}}, title = {{{SIR-B stereo-radargrammetry of Australia}}}, volume = {{9}}, year = {{1988}}, } @inbook{19821, author = {{Büning, Hans Kleine and Lettmann, Theodor}}, booktitle = {{Computation Theory and Logic}}, editor = {{Börger, Egon}}, isbn = {{9783540181705}}, issn = {{0302-9743}}, pages = {{208--223}}, title = {{{Representation independent query and update operations on propositional definite Horn formulas}}}, doi = {{10.1007/3-540-18170-9_167}}, year = {{1987}}, } @inproceedings{21791, author = {{Domik, Gitta and Leberl, Franz}}, booktitle = {{ASPRS-ACSM}}, title = {{{Image based SAR product simulation for analysis}}}, year = {{1987}}, } @inproceedings{7816, abstract = {{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 = {{Engels, Gregor and Schürr, Andy}}, booktitle = {{Proceedings of the 1st European Software Engineering Conference (ESEC '87), Strasbourg (France)}}, pages = {{80--88}}, publisher = {{Springer}}, title = {{{A Hybrid Interpreter in a Software Development Environment}}}, volume = {{289}}, year = {{1987}}, } @inproceedings{7817, author = {{Engels, Gregor and Nagl, Manfred and Schäfer, Wilhelm}}, booktitle = {{Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Palo Alto, USA}}, number = {{1}}, pages = {{190--198}}, publisher = {{ACM SIGPLAN Notices}}, title = {{{On the Structure of Structure-Oriented Editors for Different Applications}}}, volume = {{22}}, year = {{1987}}, } @inproceedings{8257, abstract = {{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 = {{Engels, Gregor and Lewerentz, Claus and Schäfer, Wilhelm}}, booktitle = {{Proceedings of the 3rd International Workshop on Graph-Grammars and Their Application to Computer Science, Warrenton, VA (USA)}}, pages = {{186--201}}, publisher = {{Springer}}, title = {{{Graph Grammar Engineering: A Software Specification Method}}}, doi = {{dx.doi.org/10.1007/3-540-18771-5}}, volume = {{291}}, year = {{1987}}, } @article{16772, author = {{Borodin, A. and Fich, F. and Meyer auf der Heide, Friedhelm and Upfal, E. and Wigderson, A.}}, issn = {{0097-5397}}, journal = {{SIAM Journal on Computing}}, pages = {{97--99}}, title = {{{A Time-Space Tradeoff for Element Distinctness}}}, doi = {{10.1137/0216007}}, year = {{1987}}, } @article{16773, author = {{Meyer auf der Heide, Friedhelm and Wigderson, Avi}}, issn = {{0097-5397}}, journal = {{SIAM Journal on Computing}}, pages = {{100--107}}, title = {{{The Complexity of Parallel Sorting}}}, doi = {{10.1137/0216008}}, year = {{1987}}, } @inproceedings{16916, author = {{Domik, Gitta}}, booktitle = {{Proceedings of the First Int'l. Workshop on Image Rectification Tech. for Spaceborne Synthetic Aperture Radar}}, number = {{Rep. 29}}, pages = {{pp. 67--68}}, title = {{{Digital Rectification Method for Radar Images Applied on Huge Arrays}}}, year = {{1987}}, } @inproceedings{15038, author = {{Domik, Gitta}}, booktitle = {{IGARSS'87-International Geoscience and Remote Sensing Symposium}}, pages = {{1551--1555}}, title = {{{Methods and application of surface shape reconstruction from multiple SAR images}}}, year = {{1987}}, } @inproceedings{15050, author = {{Leberl, Franz and Domik, Gitta and Mercer, Bryan J}}, booktitle = {{1987 ASPRS ACSM Annual Convention}}, pages = {{148--158}}, title = {{{Methods and accuracy of operational digital image mapping with aircraft SAR}}}, year = {{1987}}, } @inbook{19819, author = {{Kleine Büning, H. and Lettmann, Theodor}}, booktitle = {{8th International Conference on Automated Deduction}}, isbn = {{9783540167808}}, issn = {{0302-9743}}, title = {{{Classes of first order formulas under various satisfiability definitions}}}, doi = {{10.1007/3-540-16780-3_119}}, year = {{1986}}, } @article{21792, author = {{Domik, Gitta and Leberl, Franz and Cimino, Jobea}}, journal = {{IEEE Transactions on Geoscience and Remote Sensing}}, number = {{4}}, pages = {{492–497}}, publisher = {{IEEE}}, title = {{{Multiple incidence angle SIR-B experiment over Argentina: generation of secondary image products}}}, doi = {{10.1109/TGRS.1986.289663}}, volume = {{GE-24}}, year = {{1986}}, } @inproceedings{21793, author = {{Mercer, JB and Lowry, RT and Leberl, Franz and Domik, Gitta}}, booktitle = {{International Geoscience and Remote Sensing Symposium}}, pages = {{645–650}}, publisher = {{IGARSS}}, title = {{{Digital terrain mapping with STAR-1 SAR data}}}, year = {{1986}}, } @inproceedings{21794, author = {{Domik, Gitta and Leberl, Franz and Raggam, J}}, booktitle = {{Remote sensing for resources development and environmental management; Proceedings of the Seventh International Symposium}}, pages = {{117–119}}, title = {{{Developing tools for digital radar image data evaluation}}}, volume = {{1}}, year = {{1986}}, }