Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
5674 Publications
1988 | Conference Paper | LibreCat-ID: 16766
Dietzfelbinger M, Karlin A, Mehlhorn K, Meyer auf der Heide F, Rohnert H, Tarjan RE. Dynamic perfect hashing: upper and lower bounds. In: [Proceedings 1988] 29th Annual Symposium on Foundations of Computer Science. ; 1988. doi:10.1109/sfcs.1988.21968
LibreCat
| DOI
1988 | Book Chapter | LibreCat-ID: 16767
Just B, Mathematik F, Meyer auf der Heide F, Informatik F, Wigderson A. On computations with integer division. In: STACS 88. Berlin, Heidelberg; 1988. doi:10.1007/bfb0035829
LibreCat
| DOI
1988 | Book Chapter | LibreCat-ID: 16768
Dietzfelbinger M, Mehlhorn K, Meyer auf der Heide F, Rohnert H. Upper and lower bounds for the dictionary problem. In: SWAT 88. Berlin, Heidelberg; 1988. doi:10.1007/3-540-19487-8_24
LibreCat
| DOI
1988 | Conference Paper | LibreCat-ID: 16915
Domik G. Enhancement Techniques in Digital Image Processing. In: Proceedings of the Computer Science Symposium. Graz, Austria; 1988:211-217.
LibreCat
1988 | Conference Paper | LibreCat-ID: 15320
Brugel EW, Domik G, Voels SA. A multi-spectral analysis system using large databases. In: European Southern Observatory Conference and Workshop Proceedings. Vol 28. ; 1988:3-8.
LibreCat
1988 | Journal Article | LibreCat-ID: 15321
Domik G, Leberl F, Cimino J. Dependence of image grey values on topography in SIR-B images. International Journal of Remote Sensing. 1988;9(5):1013-1022.
LibreCat
1988 | Journal Article | LibreCat-ID: 15322
Leberl F, Mayr W, Domik G, Kobrick M. SIR-B stereo-radargrammetry of Australia. International journal of remote sensing. 1988;9(5):997-1011.
LibreCat
1987 | Book Chapter | LibreCat-ID: 19821
Büning HK, Lettmann T. Representation independent query and update operations on propositional definite Horn formulas. In: Börger E, ed. Computation Theory and Logic. Berlin, Heidelberg; 1987:208-223. doi:10.1007/3-540-18170-9_167
LibreCat
| DOI
1987 | Conference Paper | LibreCat-ID: 21791
Domik G, Leberl F. Image based SAR product simulation for analysis. In: ASPRS-ACSM. ; 1987.
LibreCat
1987 | Conference Paper | LibreCat-ID: 7816
Engels G, Schürr A. A Hybrid Interpreter in a Software Development Environment. In: Proceedings of the 1st European Software Engineering Conference (ESEC ’87), Strasbourg (France). Vol 289. Berlin/Heidelberg: Springer; 1987:80-88.
LibreCat
1987 | Conference Paper | LibreCat-ID: 7817
Engels G, Nagl M, Schäfer W. On the Structure of Structure-Oriented Editors for Different Applications. In: Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Palo Alto, USA. Vol 22. ACM SIGPLAN Notices; 1987:190-198.
LibreCat
1987 | Conference Paper | LibreCat-ID: 8257
Engels G, Lewerentz C, Schäfer W. Graph Grammar Engineering: A Software Specification Method. In: Proceedings of the 3rd International Workshop on Graph-Grammars and Their Application to Computer Science, Warrenton, VA (USA). Vol 291. Berlin/Heidelberg: Springer; 1987:186-201. doi:dx.doi.org/10.1007/3-540-18771-5
LibreCat
| DOI
1987 | Journal Article | LibreCat-ID: 16772
Borodin A, Fich F, Meyer auf der Heide F, Upfal E, Wigderson A. A Time-Space Tradeoff for Element Distinctness. SIAM Journal on Computing. 1987:97-99. doi:10.1137/0216007
LibreCat
| DOI
1987 | Journal Article | LibreCat-ID: 16773
Meyer auf der Heide F, Wigderson A. The Complexity of Parallel Sorting. SIAM Journal on Computing. 1987:100-107. doi:10.1137/0216008
LibreCat
| DOI
1987 | Conference Paper | LibreCat-ID: 16916
Domik G. Digital Rectification Method for Radar Images Applied on Huge Arrays. In: Proceedings of the First Int’l. Workshop on Image Rectification Tech. for Spaceborne Synthetic Aperture Radar. ; 1987:67-68.
LibreCat
1987 | Conference Paper | LibreCat-ID: 15038
Domik G. Methods and application of surface shape reconstruction from multiple SAR images. In: IGARSS’87-International Geoscience and Remote Sensing Symposium. ; 1987:1551-1555.
LibreCat
1987 | Conference Paper | LibreCat-ID: 15050
Leberl F, Domik G, Mercer BJ. Methods and accuracy of operational digital image mapping with aircraft SAR. In: 1987 ASPRS ACSM Annual Convention. ; 1987:148-158.
LibreCat
1986 | Book Chapter | LibreCat-ID: 19819
Kleine Büning H, Lettmann T. Classes of first order formulas under various satisfiability definitions. In: 8th International Conference on Automated Deduction. Berlin, Heidelberg; 1986. doi:10.1007/3-540-16780-3_119
LibreCat
| DOI
1986 | Journal Article | LibreCat-ID: 21792
Domik G, Leberl F, Cimino J. Multiple incidence angle SIR-B experiment over Argentina: generation of secondary image products. IEEE Transactions on Geoscience and Remote Sensing. 1986;GE-24(4):492–497. doi:10.1109/TGRS.1986.289663
LibreCat
| DOI
1986 | Conference Paper | LibreCat-ID: 21793
Mercer J, Lowry R, Leberl F, Domik G. Digital terrain mapping with STAR-1 SAR data. In: International Geoscience and Remote Sensing Symposium. IGARSS; 1986:645–650.
LibreCat
1986 | Conference Paper | LibreCat-ID: 21794
Domik G, Leberl F, Raggam J. Developing tools for digital radar image data evaluation. In: Remote Sensing for Resources Development and Environmental Management; Proceedings of the Seventh International Symposium. Vol 1. ; 1986:117–119.
LibreCat
1986 | Conference Paper | LibreCat-ID: 7815
Engels G, Lewerentz C, Nagl M, Schäfer W. On the Structure of an Incremental and Integrated Software Development Environment. In: Proceedings of the 19th Hawaii International Conference on System Sciences, Hawaii, USA. Vol 2a. ; 1986:585-597.
LibreCat
1986 | Conference Paper | LibreCat-ID: 8256
Engels G, Sandbrink A. Experiences with a Hybrid-Interpreter Based on Incremental Compilation Techniques. In: Proceedings of the Workshop on Compiler Compilers and Incremental Compilation Techniques, Bautzen. Vol 12. Bautzen: Berlin(Ost): Akademie der Wissenschaften der DDR; 1986:172-184.
LibreCat
1986 | Dissertation | LibreCat-ID: 7588
Engels G. Graphen Als Zentrale Datenstrukturen in Einer Software-Entwicklungsumgebung.; 1986.
LibreCat
1986 | Journal Article | LibreCat-ID: 16771
Meyer auf der Heide F. Efficient Simulations among Several Models of Parallel Computers. SIAM Journal on Computing. 1986:106-119. doi:10.1137/0215008
LibreCat
| DOI
1986 | Book Chapter | LibreCat-ID: 16774
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. In: Automata, Languages and Programming. Berlin, Heidelberg; 1986. doi:10.1007/3-540-16761-7_54
LibreCat
| DOI
1986 | Book Chapter | LibreCat-ID: 16775
Meyer auf der Heide F. Speeding up random access machines by few processors. In: STACS 86. Berlin, Heidelberg; 1986. doi:10.1007/3-540-16078-7_72
LibreCat
| DOI
1986 | Book Chapter | LibreCat-ID: 16776
Borodin A, Fich F, Meyer auf der Heide F, Upfal E, Wigderson A. A time-space tradeoff for element distinctness. In: STACS 86. Berlin, Heidelberg; 1986. doi:10.1007/3-540-16078-7_89
LibreCat
| DOI
1986 | Journal Article | LibreCat-ID: 16917
Leberl F, Domik G, Raggam J, Kobrick M. Radar Stereomapping Techniques and Application to SIR-B Images of Mt. Shasta. IEEE Transactions on Geoscience and Remote Sensing. 1986;GE-24(4):473-481. doi:10.1109/TGRS.1986.289661
LibreCat
| DOI
1986 | Journal Article | LibreCat-ID: 16918
Leberl F, Domik G, Raggam J, Cimino J, Kobrick M. Multiple Incidence Angle SIR-B Expenment Over Argentina: Stereo-Radargrammetrc Analysis. IEEE Transactions on Geoscience and Remote Sensing. 1986;GE-24(4):482-491.
LibreCat
1986 | Conference Paper | LibreCat-ID: 15318
Domik G, Leberl F. Using secondary image products to aid in understanding and interpretation of radar imagery. In: IGARSS’86: Remote Sensing: Today’s Solutions for Tomorrow’s Information Needs. Vol 254. European Space Agency, ESA SP; 1986:467-468.
LibreCat
1986 | Journal Article | LibreCat-ID: 15254
Leberl F, Domik G, Raggam J, Cimino J, Kobrick M. Radargrammetric Experiments with Space Shuttle SIR-B Imagery. International archives of photogrammetry and remote sensing= Archives internationales de photogramm{\’e}trie et de t{\’e}l{\’e}d{\’e}tection= Internationales Archiv der Photogrammetrie und Fernerkundung. 1986:333-344.
LibreCat
1985 | Conference Paper | LibreCat-ID: 21606
Domik G. Radar image simulation as a tool to analyze topographic effects on geometry and radiometry of radar imagery. In: Machine Processing of Remotely Sensed Data- Quantifying Global Process: Models, Sensor Systems, and Analytical Methods. ; 1985:248–253.
LibreCat
1985 | Journal Article | LibreCat-ID: 21607
Raggam J, Triebnig G, Buchroithner M, Domik G, Leberl F. Radargrammetric aspects of SAR data evaluation. Thematic Applications of SAR data. 1985:57.
LibreCat
1985 | Conference Paper | LibreCat-ID: 7813
Engels G, Schäfer W. Graph Grammar Engineering: A Method Used for the Development of an Integrated Programming Support Environment. In: Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT 1985), Berlin (Germany). Vol 186. LNCS. Berlin/Heidelberg: Springer; 1985:179-193.
LibreCat
1985 | Conference Paper | LibreCat-ID: 7814
Engels G, Schäfer W. The Design of an Adaptive and Portable Programming Support Environment. In: Proceedings of the International Computing Symposium, Amsterdam (The Netherlands). Florenz; 1985.
LibreCat
1985 | Journal Article | LibreCat-ID: 16779
Lautemann C, Meyer auf der Heide F. Lower time bounds for integer programming with two variables. Information Processing Letters. 1985:101-105. doi:10.1016/0020-0190(85)90042-0
LibreCat
| DOI
1985 | Journal Article | LibreCat-ID: 16780
Meyer auf der Heide F. Lower bounds for solving linear diophantine equations on random access machines. Journal of the ACM (JACM). 1985:929-937. doi:10.1145/4221.4250
LibreCat
| DOI
1985 | Journal Article | LibreCat-ID: 16781
Meyer auf der Heide F. Simulating probabilistic by deterministic algebraic computation trees. Theoretical Computer Science. 1985:325-330. doi:10.1016/0304-3975(85)90079-9
LibreCat
| DOI
1985 | Conference Paper | LibreCat-ID: 16782
Meyer auf der Heide F, Wigderson A. The complexity of parallel sorting. In: 26th Annual Symposium on Foundations of Computer Science (Sfcs 1985). ; 1985. doi:10.1109/sfcs.1985.58
LibreCat
| DOI
1985 | Conference Paper | LibreCat-ID: 16783
Fich FE, Meyer auf der Heide F, Ragde P, Wigderson A. One, two, three . . . infinity: lower bounds for parallel computation. In: Proceedings of the Seventeenth Annual ACM Symposium on Theory of Computing - STOC ’85. ; 1985. doi:10.1145/22145.22151
LibreCat
| DOI
1985 | Conference Paper | LibreCat-ID: 16784
Meyer auf der Heide F. Fast algorithms for n-dimensional restrictions of hard problems. In: Proceedings of the Seventeenth Annual ACM Symposium on Theory of Computing - STOC ’85. ; 1985. doi:10.1145/22145.22191
LibreCat
| DOI
1985 | Conference Paper | LibreCat-ID: 16788
Meyer auf der Heide F. Nondeterministic versus probabilistic linear search algorithms. In: 26th Annual Symposium on Foundations of Computer Science (Sfcs 1985). ; 1985. doi:10.1109/sfcs.1985.38
LibreCat
| DOI
1985 | Journal Article | LibreCat-ID: 16823
Meyer auf der Heide F. Lower time bounds for solving linear diophantine equations on several parallel computational models. Information and Control. 1985;67(1-3):195-211. doi:10.1016/S0019-9958(85)80035-8
LibreCat
| DOI
1985 | Journal Article | LibreCat-ID: 15314
Leberl F, Kobrick M, Domik G. Mapping with aircraft and satellite radar images. The Photogrammetric Record. 1985;11(66):647-665. doi:10.1111/j.1477-9730.1985.tb01315.x
LibreCat
| DOI
1985 | Journal Article | LibreCat-ID: 15316
Rott H, Domik G, Mätzler C, Miller H. Towards a SAR system for snow and land ice applications. ESA Proceedings of a Workshop on Thematic Applications of SAR DATA p 29-39(SEE N 86-28488 19-42). 1985:29-39.
LibreCat
1984 | Conference Paper | LibreCat-ID: 21603
Domik G, Leberl F, Kobrick M. Radar Image Simulation and its Application in Image Analysis. In: International Archives of Photogrammetry and Remote Sensing. Vol 25A. ISPRS 1984, XVth congress, Rio de Janeiro, 1984. Rio de Janeiro, Brazil; 1984:99–108.
LibreCat
1984 | Conference Paper | LibreCat-ID: 21604
Domik G, Leberl F, Raggam J. Rectification of Radar Images Using Stereo- Derived Height Models and Simulations. In: XVth Congress of the International Society for Photogrammetry and Remote Sensing. Vol 25A. Rio de Janeiro; 1984:109–116.
LibreCat
1984 | Conference Paper | LibreCat-ID: 21605
Domik G. Evaluation of radar stereo viewability by means of a simulation technique. In: ESA IGARSS 84: Remote Sensing: From Res. towards Operational Use,. Vol 2. ; 1984.
LibreCat
1984 | Journal Article | LibreCat-ID: 16785
Meyer auf der Heide F. A Polynomial Linear Search Algorithm forr the n-Dimensional Knapsack Problem. Journal of the ACM (JACM). 1984:668-676. doi:10.1145/828.322450
LibreCat
| DOI