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.
9154 Publications
1992 | Book Chapter | LibreCat-ID: 16733
Dietzfelbinger M, Meyer auf der Heide F. High performance universal hashing, with applications to shared memory simulations. In: Data Structures and Efficient Algorithms. Berlin, Heidelberg; 1992. doi:10.1007/3-540-55488-2_31
LibreCat
| DOI
1992 | Book Chapter | LibreCat-ID: 16734
Meyer auf der Heide F. Hashing strategies for simulating shared memory on distributed memory machines. In: Lecture Notes in Computer Science. Berlin, Heidelberg; 1992. doi:10.1007/3-540-56731-3_3
LibreCat
| DOI
1992 | Book Chapter | LibreCat-ID: 16735
Meyer auf der Heide F, Pham HT. On the performance of networks with multiple busses. In: STACS 92. Berlin, Heidelberg; 1992. doi:10.1007/3-540-55210-3_176
LibreCat
| DOI
1992 | Conference Paper | LibreCat-ID: 16736
Karp RM, Luby M, Meyer auf der Heide F. Efficient PRAM simulation on a distributed memory machine. In: Proceedings of the Twenty-Fourth Annual ACM Symposium on Theory of Computing - STOC ’92. ; 1992. doi:10.1145/129712.129743
LibreCat
| DOI
1992 | Book Chapter | LibreCat-ID: 16737
Dietzfelbinger M, Meyer auf der Heide F. Dynamic Hashing in Real Time. In: TEUBNER-TEXTE Zur Informatik. Wiesbaden; 1992. doi:10.1007/978-3-322-95233-2_7
LibreCat
| DOI
1992 | Journal Article | LibreCat-ID: 11782
Haeb-Umbach R. A modified trellis coding technique for partial response channels. IEEE Transactions on Communications. 1992.
LibreCat
1992 | Conference Paper | LibreCat-ID: 14997
Domik GO, Mickus-Miceli KD. Software design and development in a scientific environment: lessons learned during the development of STAR, an astrophysical analysis and visualization package. In: Worrall DM, Biemesderfer C, eds. Astronomical Data Analysis Software and Systems I. Vol 25. Astronomical Society of the Pacific Conference Series. ; 1992:95.
LibreCat
1992 | Conference Paper | LibreCat-ID: 15042
Domik G. Visualization of Multi-dimensional Arrays in Astronomy. In: European Southern Observatory Conference and Workshop Proceedings. Vol 43. ; 1992:249.
LibreCat
1992 | Conference Paper | LibreCat-ID: 15252
Mickus-Miceli K, Domik G. An Enriched Framework for Multidisciplinary Data Analysis. In: Symposium on Intelligent Scientific Computation, American Association for Artificial Intelligence (AAAI), Fall 1992 Symposium Series, Cambridge MA, October. ; 1992.
LibreCat
1992 | Conference Paper | LibreCat-ID: 13465
Ginthör R, Platzner M, Weiss R. Experimental Results to Interprocessor Communication in Distributed Transputer-Systems. In: Proceedings of the 1st Austrian-Hungarian Workshop on Transputer Applications. ; 1992:45-54.
LibreCat
1992 | Conference Paper | LibreCat-ID: 39582
Müller W, Kleinjohann B. The EXPRESS Information Modeling Workbench - A New Approach to Graphical Design Environments. In: Proceedings of the 2nd EXPRESS User’s Group Conference. ; 1992.
LibreCat
1992 | Journal Article | LibreCat-ID: 40328
Molsen H, Kitzerow H-S, Heppke G. Antiferroelectric Switching in Polymer-Dispersed Liquid Crystals. Japanese Journal of Applied Physics. 1992;31(8A). doi:10.1143/jjap.31.l1083
LibreCat
| DOI
1992 | Conference Paper | LibreCat-ID: 44291
Meier T, Thomas P, Koch SW. THz-emission from photoexcited semiconductor superlattices with applied ac and dc electric fields. In: Technical Digest. Summaries of Papers Presented at the Quantum Electronics and Laser Science Conference. IEEE; 1992:218-219. doi:10.1109/QELS.1999.807564
LibreCat
| DOI
| Download (ext.)
1992 | Conference Paper | LibreCat-ID: 44292
Meier T, Euteneuer A, Finger E, et al. Distribution of exciton binding-energies in disordered semiconductor quantum-wells. In: Technical Digest. Summaries of Papers Presented at the Quantum Electronics and Laser Science Conference. IEEE; 1992:204. doi:10.1109/QELS.1999.807538
LibreCat
| DOI
| Download (ext.)
1992 | Conference Paper | LibreCat-ID: 44290
Meier T, Sieh C, Koch SW, et al. Influence of carrier-correlations on the optical Stark effect of semiconductors. In: Technical Digest. Summaries of Papers Presented at the Quantum Electronics and Laser Science Conference. IEEE; 1992:14-15. doi:10.1109/QELS.1999.807099
LibreCat
| DOI
| Download (ext.)
1992 | Conference Paper | LibreCat-ID: 44289
Meier T, Schulze A, Scmittrink S, Thomas P, Chuang SL. Terahertz Electromagnetic Pulse Generation and Four-Wave Mixing in Coupled Quantum Wells. In: International Quantum Electronics Conference. ; 1992.
LibreCat
| Download (ext.)
1992 | Book Chapter | LibreCat-ID: 19432
Eke NO. „Wie wird künftig Meusel die hungrige Nachwelt hetzen und peinigen“. Deutsche Romane 1815-1830 in der Fürstlichen Bibliothek Corvey. Vorläufiges zum Forschungsprojekt „Der deutsche Roman 1815-1830". In: Schöwerling R, Steinecke H, Eke NO, Tiggesbäumker G, eds. Die Fürstliche Bibliothek Corvey. Ihre Bedeutung für eine neue Sicht der Literatur des frühen 19. Jahrhunderts. Beiträge des 1. Internationalen Corvey-Symposions. 25.-27. Oktober 1990 in Paderborn. Fink; 1992:87-103.
LibreCat
1992 | Book Chapter | LibreCat-ID: 19488
Eke NO. Diskussionsberichte zu den Sektionen 2 („Roman“) und 3 („Dramen“) sowie der Abschlußdiskussion des 1. Internationalen Corvey-Symposions. In: Schöwerling R, Steinecke H, Eke NO, Tiggesbäumker G, eds. Die Fürstliche Bibliothek Corvey. Ihre Bedeutung für eine neue Sicht der Literatur des frühen 19. Jahrhunderts. Beiträge des 1. Internationalen Corvey-Symposions. 25.-27. Oktober 1990 in Paderborn. ; 1992:174-181, 319-321, 398-404.
LibreCat
1992 | Book (Editor) | LibreCat-ID: 19091
Schöwerling R, Steinecke H, Eke NO, Tiggesbäumker G, eds. Die Fürstliche Bibliothek Corvey. Ihre Bedeutung für eine neue Sicht der Literatur des frühen 19. Jahrhunderts. Beiträge des 1. Internationalen Corvey-Symposions. 25.-27. Oktober 1990 in Paderborn. Fink; 1992.
LibreCat
1991 | Report | LibreCat-ID: 19822
Dahn BI, Lettmann T, Schönfeld W. ILFA Interface Concept. Vol 193. ´Heidelberg: Wissenschaftliche Zentrum der IBM Deutschland ; 1991.
LibreCat
1991 | Conference Paper | LibreCat-ID: 3048
Alt H, Behrends B, Blömer J. Approximate matching of polygonal shapes (extended abstract). In: Proceedings of the Seventh Annual Symposium on Computational Geometry - SCG ’91. ACM Press; 1991. doi:10.1145/109648.109669
LibreCat
| DOI
1991 | Conference Paper | LibreCat-ID: 3049
Blömer J. Computing sums of radicals in polynomial time. In: Proceedings 32nd Annual Symposium of Foundations of Computer Science. IEEE Comput. Soc. Press; 1991. doi:10.1109/sfcs.1991.185434
LibreCat
| DOI
1991 | Book (Editor) | LibreCat-ID: 17451
Peckhaus V, ed. Modern Logic 1 (1990/91), H. 2/3 (Winter 1990/91), Special Issue Commemorating the Centenary of the Publication of the First Volume of Ernst Schröder’s Vorlesungen Über Die Algebra Der Logik. Vol H. 2/3.; 1991.
LibreCat
1991 | Journal Article | LibreCat-ID: 17472
Peckhaus V. Introduction. Modern Logic. 1991;1(2/3):113-116.
LibreCat
1991 | Journal Article | LibreCat-ID: 19438
Eke NO. Die deutschsprachige Literatur Osteuropas und ihre Rezeption in der Bundesrepublik. Probleme und Chancen einer “kleinen Literatur.” Deutsche Studien 29. 1991;29(H. 113):30-50.
LibreCat
1991 | Conference Paper | LibreCat-ID: 21790
Domik G. The role of visualization in understanding data. In: Maurer H, ed. New Results and New Trends in Computer Science. Berlin, Heidelberg: Springer Berlin Heidelberg; 1991:91-107.
LibreCat
1991 | Conference Paper | LibreCat-ID: 8082
Krauter S, Hanitsch R, Strauss P. Simulation-Program for Selecting Efficiency Improving Strategies of PV-Module-Encapsulations under Operating Conditions. In: Proceedings of “Renewable Energy Sources '91”, Prag (CFSR), 1.–4. Juli 1991, Band 3, S. 48–53. ; 1991.
LibreCat
1991 | Report | LibreCat-ID: 8188
Löhr-Richter P, Engels G. Incremental Design of Conceptual Database Schemata with CADDY. Leiden University, P.O. Box 9500, 2300 RA Leiden, The Netherlands: Leiden University; 1991.
LibreCat
1991 | Book Chapter | LibreCat-ID: 8894
Stelter P, Sextro W. Bifurcations in Dynamic Systems with Dry Friction. In: Seydel R, Schneider FW, Küpper T, Troger H, eds. Bifurcation and Chaos: Analysis, Algorithms, Applications. Vol 97. International Series of Numerical Mathematics / Internationale Schriftenreihe zur Numerischen Mathematik / S{\’e}rie Internationale d’Analyse Num{\’e}rique. Birkhäuser Basel; 1991:343-347. doi:10.1007/978-3-0348-7004-7_44
LibreCat
| DOI
1991 | Conference Paper | LibreCat-ID: 16912
Domik G, Mickus K. Visualization in the Analysis Cycle of Observational Data, in Analyzing and Modeling Data and Knowledge. In: Schader M, ed. Proceedings of the 15th Annual Conference of the “Gesellschaft Für Klassifikation e.V.” University of Salzburg. ; 1991:267-276.
LibreCat
1991 | Journal Article | LibreCat-ID: 17473
Peckhaus V. Ernst Schröder und die ,pasigraphischen Systeme‘ von Peano und Peirce. Modern Logic. 1991;1(2/3):174-205.
LibreCat
1991 | Conference Abstract | LibreCat-ID: 17822
Peckhaus V. Logic in Transition: The Logical Calculi of Hilbert (1905) and Zermelo (1908) [Abstract]. In: Abstracts of the 9th International Congress of Logic, Methodology and Philosophy of Science, Uppsala, August 7–14, 1991, Bd. 2: General Philosophy of Science. Sections 6–9. ; 1991:158.
LibreCat
1991 | Conference Paper | LibreCat-ID: 39584
Müller W. Contract-Oriented System Design and Specification. In: Proceedings of the Workshop on Practical Computer Based Systems Engineering - Its Scope and Methods. ; 1991.
LibreCat
1991 | Conference Paper | LibreCat-ID: 39583
Lehrenfeld G, Müller W. Validation of EXPRESS Models Using Prolog. In: Proceedings of the 1st EXPRESS User’s Group Conference. ; 1991.
LibreCat
1991 | Book Chapter | LibreCat-ID: 43478
Schroeter-Wittke H. Letzter Sonntag nach Epiphanias; Predigttext: 2. Korinther 4,6-10. In: Nitschke H, ed. Gottesdienstpraxis. Serie A. II. Perikopenreihe Band 1. Vol 132-139. Gütersloher Verlagshaus; 1991.
LibreCat
1991 | Conference Paper | LibreCat-ID: 39922
Goser K, Hilleringmann U, Rückert U. Application and implementation of neural networks in microelectronics. In: Prieto A, ed. Artificial Neural Networks. Springer Berlin Heidelberg; 1991:243–259.
LibreCat
1990 | Encyclopedia Article | LibreCat-ID: 19490
Eke NO. Maximilian von Löwenthal. In: Killy W, ed. Literatur Lexikon. Autoren und Werke deutscher Sprache. Bd. 7. Vol 7. Gütersloh, München; 1990:332.
LibreCat
1990 | Book Chapter | LibreCat-ID: 3050
Alt H, Blömer J, Wagener H. Approximation of convex polygons. In: Automata, Languages and Programming. Berlin/Heidelberg: Springer-Verlag; 1990:703-716. doi:10.1007/bfb0032068
LibreCat
| DOI
1990 | Book | LibreCat-ID: 17445
Peckhaus V. Hilbertprogramm und Kritische Philosophie. Das Göttinger Modell interdisziplinärer Zusammenarbeit zwischen Mathematik und Philosophie. Vol 7. Göttingen: Vandenhoeck & Ruprecht; 1990.
LibreCat
1990 | Book | LibreCat-ID: 19151
Eke NO, Oellers N, Skrodzki KJ, Steinecke H. Nikolaus Lenau. Werke und Briefe. Historisch-kritische Gesamtausgabe. Bd. 6,1: Briefe 1838-1847. Teil 1: Text (Edition). Wien: Österreichischer Bundesverlag, Klett-Cotta; 1990.
LibreCat
1990 | Conference Paper | LibreCat-ID: 7824
Hohenstein U, Engels G. Formal Semantics of an Entity-Relationship Query Language. In: Proceedings of the 9th International Conference on Entity-Relationship Approach (ER 90), Lausanne, Switzerland. ER Institute; 1990:177-188.
LibreCat
1990 | Conference Paper | LibreCat-ID: 8081
Krauter S, Hanitsch R. The Influence of the Capsulation on the Efficiency of PV-Modules. In: Proceedings of the 1st World Renewable Energy Congress, Reading (UK), 23.–28. September 1990, Band 1, S. 141–144. ; 1990. doi:10.1016/B978-0-08-037539-7.50062-4
LibreCat
| DOI
1990 | Conference Paper | LibreCat-ID: 8259
Engels G. Elementary Actions on an Extended Entity-Relationship Database. In: Proceedings of the Workshop on Graph Grammars and Their Application to Computer Science (1990), Bremen (Germany). Vol 532. Berlin/Heidelberg: Springer; 1990:344-362. doi:http://dx.doi.org/10.1007/BFb0017372
LibreCat
| DOI
1990 | Book Chapter | LibreCat-ID: 16738
Dietzfelbinger M, Meyer auf der Heide F. A new universal class of hash functions and dynamic hashing in real time. In: Automata, Languages and Programming. Berlin/Heidelberg; 1990. doi:10.1007/bfb0032018
LibreCat
| DOI
1990 | Book Chapter | LibreCat-ID: 16739
Meyer auf der Heide F. Dynamic hashing strategies. In: Lecture Notes in Computer Science. Berlin/Heidelberg; 1990. doi:10.1007/bfb0029597
LibreCat
| DOI
1990 | Book Chapter | LibreCat-ID: 16740
Karpinski M, Meyer auf der Heide F. On the complexity of genuinely polynomial computation. In: Lecture Notes in Computer Science. Berlin/Heidelberg; 1990. doi:10.1007/bfb0029630
LibreCat
| DOI
1990 | Conference Paper | LibreCat-ID: 16741
Dietzfelbinger M, Meyer auf der Heide F. How to distribute a dictionary in a complete network. In: Proceedings of the Twenty-Second Annual ACM Symposium on Theory of Computing - STOC ’90. ; 1990. doi:10.1145/100216.100229
LibreCat
| DOI
1990 | Conference Paper | LibreCat-ID: 16742
Gil J, Meyer auf der Heide F, Wigderson A. Not all keys can be hashed in constant time. In: Proceedings of the Twenty-Second Annual ACM Symposium on Theory of Computing - STOC ’90. ; 1990. doi:10.1145/100216.100247
LibreCat
| DOI
1990 | Journal Article | LibreCat-ID: 16824
Meyer auf der Heide F. Das Heinz Nixdorf-Institut der Universität-GH Paderborn. Informatik Spektrum. 1990;13(4):231-232.
LibreCat
1990 | Conference Paper | LibreCat-ID: 16913
Domik G, Brugel EW, Stencel RE. IRAS On-Line Catalogs at CASA. In: Proceedings of the 176th Meeting of the American Astronomical Society. Vol Vol. 22. BAAS. ; 1990.
LibreCat
1990 | Conference Paper | LibreCat-ID: 11800 | 
Haeb-Umbach R, Rugar D, Howell T, Coleman GP. Coding and Signal Processing for a Magneto-optic Resonant Bias Coil Overwrite Experiment. In: International Conference on Communication, Atlanta. ; 1990.
LibreCat
| Download (ext.)
1990 | Conference Paper | LibreCat-ID: 15393
Domik G, Brugel E, Stencel R, Vasudevan S, Pang J. Applications of IRAS Preprocessing at the Workstation. In: Bulletin of the American Astronomical Society. Vol 22. ; 1990:828.
LibreCat
1990 | Journal Article | LibreCat-ID: 15394
Domik G, Brugel EW, Stencel RE, Pang J, Vasudevan S. Workstation-based preprocessing of IRAS sky-flux images. Publications of the Astronomical Society of the Pacific. 1990;102(656):1167.
LibreCat
1990 | Conference Paper | LibreCat-ID: 15395
Mickus K, Brugel E, Domik G, Ayres T. A case study: Multi-sensor data analysis of hh objects via star: A scientific toolkit for astrophysical research. In: Bulletin of the American Astronomical Society. Vol 22. ; 1990:1259.
LibreCat
1990 | Conference Paper | LibreCat-ID: 15051
Mickus K, Domik G, Brugel E, Ayres T. Star-a scientific toolkit for astrophysical research. In: Bulletin of the American Astronomical Society. Vol 22. ; 1990:828.
LibreCat
1989 | Journal Article | LibreCat-ID: 19818
Kleine Büning H, Lettmann T, Mayr EW. Projections of vector addition system reachability sets are semilinear. Theoretical Computer Science. 1989:343-350. doi:10.1016/0304-3975(89)90055-8
LibreCat
| DOI
1989 | Book | LibreCat-ID: 19152
Eke NO, Vizkelety A, Skrodzki KJ, Steinecke H. Nikolaus Lenau. Werke und Briefe. Historisch-kritische Gesamtausgabe. Bd. 5,1: Briefe 1812-1837. Teil 1: Text (Edition). Wien: Österreichischer Bundesverlag, Klett-Cotta; 1989.
LibreCat
1989 | Dissertation | LibreCat-ID: 22313
Zimmer D. Flankenspielorientierte Einstellung Der Hypoid- Und Kegelradgetriebe. Universität Stuttgart; 1989.
LibreCat
1989 | Conference Paper | LibreCat-ID: 7821
Ebert J, Engels G. Konzepte einer Software-Architektur-Beschreibungssprache. In: Software-Entwicklung: Konzepte, Erfahrungen, Perspektiven, Fachtagung, 1989, Marburg (Germany). Vol 212. Informatik-Fachberichte. Berlin/Heidelberg: Springer; 1989:238-250.
LibreCat
1989 | Conference Paper | LibreCat-ID: 7822
Engels G. CADDY-O: Syntaxgestütztes, graphisches Entwerfen konzeptioneller Datenbankschemata. In: Tagungsband GI-Fachtagung “Interaktive Schnittstellen Für Informationssysteme”, TU Clausthal, Notizen Zu Interaktive Systeme. Vol 18. ; 1989:1-16.
LibreCat
1989 | Conference Paper | LibreCat-ID: 7823
Engels G, Hohenstein U, Hülsmann K, Löhr-Richter P, Ehrich H-D. CADDY: Computer-Aided Design of Non-Standard Databases. In: Proceedings of the International Conference on System Development Environments & Factories, Berlin, Germany. Berlin: Pitman Publishing; 1989.
LibreCat
1989 | Report | LibreCat-ID: 8187
Engels G. Benutzerschnittstelle Und Architektur Der Integrierten Datenbankentwurfsumgebung CADDY (Kurzfassung). TU Braunschweig; 1989.
LibreCat
1989 | Book | LibreCat-ID: 7511
Engels G, Schäfer W. Programmentwicklungsumgebungen: Konzepte Und Realisierung. Stuttgart: Teubner; 1989.
LibreCat
1989 | Journal Article | LibreCat-ID: 16682
Dellnitz M, Werner B. Computational methods for bifurcation problems with symmetries—with special attention to steady state and Hopf bifurcation points. Journal of Computational and Applied Mathematics. 1989:97-123. doi:10.1016/0377-0427(89)90150-7
LibreCat
| DOI
1989 | Journal Article | LibreCat-ID: 16743
Just B, Meyer auf der Heide F, Wigderson A. On computations with integer division. RAIRO - Theoretical Informatics and Applications. 1989:101-111. doi:10.1051/ita/1989230101011
LibreCat
| DOI
1989 | Conference Paper | LibreCat-ID: 16744
Dietzfelbinger M, Meyer auf der Heide F. An optimal parallel dictionary. In: Proceedings of the First Annual ACM Symposium on Parallel Algorithms and Architectures - SPAA ’89. ; 1989. doi:10.1145/72935.72974
LibreCat
| DOI
1989 | Book Chapter | LibreCat-ID: 16745
Meyer auf der Heide F. On genuinely time bounded computations. In: STACS 89. Berlin/Heidelberg; 1989. doi:10.1007/bfb0028969
LibreCat
| DOI
1989 | Book Chapter | LibreCat-ID: 16746
Meyer auf der Heide F, Wanka R. Time-optimal simulations of networks by universal parallel computers. In: STACS 89. Berlin/Heidelberg; 1989. doi:10.1007/bfb0028978
LibreCat
| DOI
1989 | Book Chapter | LibreCat-ID: 16789
Meyer auf der Heide F. Computing minimum spanning forests on 1- and 2-dimensional processor arrays. In: STACS 89. Berlin, Heidelberg; 1989. doi:10.1007/bfb0028983
LibreCat
| DOI
1989 | Conference Paper | LibreCat-ID: 39585
Rammig FJ, Müller W. ODICE: Object-Oriented Hardware Description in CAD Environment. In: Proc. of the Ninth IFIP Symposium on CHDLs and Their Application. ; 1989.
LibreCat
1988 | Conference Paper | LibreCat-ID: 19820
Kleine Büning H, Lettmann T. Perspektiven für die Logikprogrammierung. In: Rahmstorf G, ed. Workshop Wissensrepräsentation in Expertensystemen. Berlin, Heidelberg; 1988:56-78.
LibreCat
1988 | Conference Paper | LibreCat-ID: 7818
Engels G, Janning T, Schäfer W. A Highly Integrated Tool Set for Program Development Support. In: Proceedings of the Conference on ACM SIGSMALL/PC Symposium on ACTES (SIGSMALL 1988), Cannes (France). New York, NY, USA: ACM Press; 1988:1-10. doi:http://dx.doi.org/10.1145/62453.62454
LibreCat
| DOI
1988 | Conference Paper | LibreCat-ID: 7819
Engels G, Hohenstein U, Neugebauer L, Saake G, Ehrich H-D. Konzeption einer integrierten Datenbank-Entwurfsumgebung. In: Proceedings of DBTA/SI Data Dictionaries Und Entwicklungswerkzeuge Für Datenbank-Anwendungen, Zürich, Switzerland. Verlag der Fachvereine an den Schweiz. Hochschulen und Techniken; 1988:151-157.
LibreCat
1988 | Conference Paper | LibreCat-ID: 7820
Engels G, Hohenstein U, Saake G, Ehrich H-D. Auf dem Weg zu einer integrierten Datenbank-Entwurfsumgebung. In: Engels G, Hohenstein U, Saake G, Ehrich H-D, eds. Proceedings of the GI-Workshop on “Sprachspezifische Programmierumgebungen.” Darmstadt (Germany): G. Snelting; 1988:38-51.
LibreCat
1988 | Report | LibreCat-ID: 8186
Ebert J, Engels G. Ein Konzept Zur Beschreibung von Software-Architekturen. EWH Koblenz; 1988.
LibreCat
1988 | Conference Paper | LibreCat-ID: 8258
Engels G, Janning T, Schäfer W. Die Benutzerschnittstelle einer integrierten Modula-2 Programmentwicklungsumgebung. In: Proceedings of GI-Workshop Sprachspezifische Programmierumgebungen, Darmstadt, Germany. ; 1988.
LibreCat
1988 | Journal Article | LibreCat-ID: 16763
Babai L, Just B, Meyer auf der Heide F. On the limits of computations with the floor function. Information and Computation. 1988:99-107. doi:10.1016/0890-5401(88)90031-4
LibreCat
| DOI
1988 | Journal Article | LibreCat-ID: 16764
Meyer auf der Heide F. Fast algorithms for N-dimensional restrictions of hard problems. Journal of the ACM (JACM). 1988:740-747. doi:10.1145/44483.44490
LibreCat
| DOI
1988 | Journal Article | LibreCat-ID: 16765
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. Theoretical Computer Science. 1988:57-68. doi:10.1016/0304-3975(88)90018-7
LibreCat
| DOI
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