Müller, Wolfgang. “Contract-Oriented System Design and Specification.” In Proceedings of the Workshop on Practical Computer Based Systems Engineering - Its Scope and Methods. Grassau Germany, 1991.
LibreCat: /record/39584

Lehrenfeld, Georg, and Wolfgang Müller. “Validation of EXPRESS Models Using Prolog.” In Proceedings of the 1st EXPRESS User’s Group Conference. Houston TX, USA, 1991.
LibreCat: /record/39583

Alt, Helmut, Johannes Blömer, and Hubert Wagener. “Approximation of Convex Polygons.”https://doi.org/10.1007/bfb0032068__In Automata, Languages and Programming, 703–16. Berlin/Heidelberg: Springer-Verlag, 1990.https://doi.org/10.1007/bfb0032068 .
LibreCat: /record/3050
DOI: 10.1007/bfb0032068

Hohenstein, Uwe, and Gregor Engels. “Formal Semantics of an Entity-Relationship Query Language.” In Proceedings of the 9th International Conference on Entity-Relationship Approach (ER 90), Lausanne, Switzerland, 177–88. ER Institute, 1990.
LibreCat: /record/7824

Engels, Gregor. “Elementary Actions on an Extended Entity-Relationship Database.”http://dx.doi.org/10.1007/BFb0017372__In Proceedings of the Workshop on Graph Grammars and Their Application to Computer Science (1990), Bremen (Germany), 532:344–62. Berlin/Heidelberg: Springer, 1990.http://dx.doi.org/10.1007/BFb0017372 .
LibreCat: /record/8259
DOI: http://dx.doi.org/10.1007/BFb0017372

Dietzfelbinger, Martin, and Friedhelm Meyer auf der Heide. “A New Universal Class of Hash Functions and Dynamic Hashing in Real Time.”https://doi.org/10.1007/bfb0032018__In Automata, Languages and Programming. Berlin/Heidelberg, 1990.https://doi.org/10.1007/bfb0032018 .
LibreCat: /record/16738
DOI: 10.1007/bfb0032018

Meyer auf der Heide, Friedhelm. “Dynamic Hashing Strategies.”https://doi.org/10.1007/bfb0029597__In Lecture Notes in Computer Science. Berlin/Heidelberg, 1990.https://doi.org/10.1007/bfb0029597 .
LibreCat: /record/16739
DOI: 10.1007/bfb0029597

Karpinski, Marek, and Friedhelm Meyer auf der Heide. “On the Complexity of Genuinely Polynomial Computation.”https://doi.org/10.1007/bfb0029630__In Lecture Notes in Computer Science. Berlin/Heidelberg, 1990.https://doi.org/10.1007/bfb0029630 .
LibreCat: /record/16740
DOI: 10.1007/bfb0029630

Dietzfelbinger, M., and Friedhelm Meyer auf der Heide. “How to Distribute a Dictionary in a Complete Network.”https://doi.org/10.1145/100216.100229__In Proceedings of the Twenty-Second Annual ACM Symposium on Theory of Computing  - STOC ’90, 1990.https://doi.org/10.1145/100216.100229 .
LibreCat: /record/16741
DOI: 10.1145/100216.100229

Gil, J., Friedhelm Meyer auf der Heide, and A. Wigderson. “Not All Keys Can Be Hashed in Constant Time.”https://doi.org/10.1145/100216.100247__In Proceedings of the Twenty-Second Annual ACM Symposium on Theory of Computing  - STOC ’90, 1990.https://doi.org/10.1145/100216.100247 .
LibreCat: /record/16742
DOI: 10.1145/100216.100247

Meyer auf der Heide, Friedhelm. “Das Heinz Nixdorf-Institut Der Universität-GH Paderborn.” Informatik Spektrum 13, no. 4 (1990): 231–32.
LibreCat: /record/16824

Domik, Gitta, E.W. Brugel, and R.E. Stencel. “IRAS On-Line Catalogs at CASA.” In Proceedings of the 176th Meeting of the American Astronomical Society, Vol. Vol. 22. BAAS, 1990.
LibreCat: /record/16913

Domik, Gitta, EW Brugel, RE Stencel, S Vasudevan, and J Pang. “Applications of IRAS Preprocessing at the Workstation.” In Bulletin of the American Astronomical Society, 22:828, 1990.
LibreCat: /record/15393

Domik, Gitta, Edward W Brugel, Robert E Stencel, Jinzhong Pang, and Subramanian Vasudevan. “Workstation-Based Preprocessing of IRAS Sky-Flux Images.” Publications of the Astronomical Society of the Pacific 102, no. 656 (1990): 1167.
LibreCat: /record/15394

Mickus, KD, EW Brugel, Gitta Domik, and TR Ayres. “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, 22:1259, 1990.
LibreCat: /record/15395

Mickus, KD, Gitta Domik, EW Brugel, and TR Ayres. “Star-a Scientific Toolkit for Astrophysical Research.” In Bulletin of the American Astronomical Society, 22:828, 1990.
LibreCat: /record/15051

Kleine Büning, Hans, Theodor Lettmann, and Ernst W. Mayr. “Projections of Vector Addition System Reachability Sets Are Semilinear.”https://doi.org/10.1016/0304-3975(89)90055-8__Theoretical Computer Science, 1989, 343–50.https://doi.org/10.1016/0304-3975(89)90055-8 .
LibreCat: /record/19818
DOI: 10.1016/0304-3975(89)90055-8

Ebert, Jürgen, and Gregor Engels. “Konzepte Einer Software-Architektur-Beschreibungssprache.” In Software-Entwicklung: Konzepte, Erfahrungen, Perspektiven, Fachtagung, 1989, Marburg (Germany), 212:238–50. Informatik-Fachberichte. Berlin/Heidelberg: Springer, 1989.
LibreCat: /record/7821

Engels, Gregor. “CADDY-O: Syntaxgestütztes, Graphisches Entwerfen Konzeptioneller Datenbankschemata.” In Tagungsband GI-Fachtagung “Interaktive Schnittstellen Für Informationssysteme”, TU Clausthal, Notizen Zu Interaktive Systeme, 18:1–16, 1989.
LibreCat: /record/7822

Engels, Gregor, Uwe Hohenstein, Klaus Hülsmann, Perdita Löhr-Richter, and Hans-Dietrich Ehrich. “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: /record/7823

Engels, Gregor. Benutzerschnittstelle Und Architektur Der Integrierten Datenbankentwurfsumgebung CADDY (Kurzfassung). TU Braunschweig, 1989.
LibreCat: /record/8187

Engels, Gregor, and Wilhelm Schäfer. Programmentwicklungsumgebungen: Konzepte Und Realisierung. Stuttgart: Teubner, 1989.
LibreCat: /record/7511

Just, Bettina, Friedhelm Meyer auf der Heide, and Avi Wigderson. “On Computations with Integer Division.”https://doi.org/10.1051/ita/1989230101011__RAIRO - Theoretical Informatics and Applications, 1989, 101–11.https://doi.org/10.1051/ita/1989230101011 .
LibreCat: /record/16743
DOI: 10.1051/ita/1989230101011

Dietzfelbinger, M., and Friedhelm Meyer auf der Heide. “An Optimal Parallel Dictionary.”https://doi.org/10.1145/72935.72974__In Proceedings of the First Annual ACM Symposium on Parallel Algorithms and Architectures  - SPAA ’89, 1989.https://doi.org/10.1145/72935.72974 .
LibreCat: /record/16744
DOI: 10.1145/72935.72974

Meyer auf der Heide, Friedhelm. “On Genuinely Time Bounded Computations.”https://doi.org/10.1007/bfb0028969__In STACS 89. Berlin/Heidelberg, 1989.https://doi.org/10.1007/bfb0028969 .
LibreCat: /record/16745
DOI: 10.1007/bfb0028969

Meyer auf der Heide, Friedhelm, and Rolf Wanka. “Time-Optimal Simulations of Networks by Universal Parallel Computers.”https://doi.org/10.1007/bfb0028978__In STACS 89. Berlin/Heidelberg, 1989.https://doi.org/10.1007/bfb0028978 .
LibreCat: /record/16746
DOI: 10.1007/bfb0028978

Meyer auf der Heide, Friedhelm. “Computing Minimum Spanning Forests on 1- and 2-Dimensional Processor Arrays.”https://doi.org/10.1007/bfb0028983__In STACS 89. Berlin, Heidelberg, 1989.https://doi.org/10.1007/bfb0028983 .
LibreCat: /record/16789
DOI: 10.1007/bfb0028983

Rammig, Franz Josef, and Wolfgang Müller. “ODICE: Object-Oriented Hardware Description in CAD Environment.” In Proc. of the Ninth IFIP Symposium on CHDLs and Their Application. Washington DC, 1989.
LibreCat: /record/39585

Kleine Büning, Hans, and Theodor Lettmann. “Perspektiven Für Die Logikprogrammierung.” In Workshop Wissensrepräsentation in Expertensystemen, edited by G. Rahmstorf, 56–78. Berlin, Heidelberg, 1988.
LibreCat: /record/19820

Engels, Gregor, Thorsten Janning, and Wilhelm Schäfer. “A Highly Integrated Tool Set for Program Development Support.”http://dx.doi.org/10.1145/62453.62454__In Proceedings of the Conference on ACM SIGSMALL/PC Symposium on ACTES (SIGSMALL 1988), Cannes (France), 1–10. New York, NY, USA: ACM Press, 1988.http://dx.doi.org/10.1145/62453.62454 .
LibreCat: /record/7818
DOI: http://dx.doi.org/10.1145/62453.62454

Engels, Gregor, Uwe Hohenstein, Leonore Neugebauer, Gunter Saake, and Hans-Dietrich Ehrich. “Konzeption Einer Integrierten Datenbank-Entwurfsumgebung.” In Proceedings of DBTA/SI Data Dictionaries Und Entwicklungswerkzeuge Für Datenbank-Anwendungen, Zürich, Switzerland, 151–57. Verlag der Fachvereine an den Schweiz. Hochschulen und Techniken, 1988.
LibreCat: /record/7819

Engels, Gregor, Uwe Hohenstein, Gunter Saake, and Hans-Dietrich Ehrich. “Auf Dem Weg Zu Einer Integrierten Datenbank-Entwurfsumgebung.” In Proceedings of the GI-Workshop on “Sprachspezifische Programmierumgebungen,” edited by Gregor Engels, Uwe Hohenstein, Gunter Saake, and Hans-D. Ehrich, 38–51. Darmstadt (Germany): G. Snelting, 1988.
LibreCat: /record/7820

Ebert, Jürgen, and Gregor Engels. Ein Konzept Zur Beschreibung von Software-Architekturen. EWH Koblenz, 1988.
LibreCat: /record/8186

Engels, Gregor, Thorsten Janning, and Wilhelm Schäfer. “Die Benutzerschnittstelle Einer Integrierten Modula-2 Programmentwicklungsumgebung.” In Proceedings of GI-Workshop Sprachspezifische Programmierumgebungen, Darmstadt, Germany, 1988.
LibreCat: /record/8258

Babai, László, Bettina Just, and Friedhelm Meyer auf der Heide. “On the Limits of Computations with the Floor Function.”https://doi.org/10.1016/0890-5401(88)90031-4__Information and Computation, 1988, 99–107.https://doi.org/10.1016/0890-5401(88)90031-4 .
LibreCat: /record/16763
DOI: 10.1016/0890-5401(88)90031-4

Meyer auf der Heide, Friedhelm. “Fast Algorithms for N-Dimensional Restrictions of Hard Problems.”https://doi.org/10.1145/44483.44490__Journal of the ACM (JACM), 1988, 740–47.https://doi.org/10.1145/44483.44490 .
LibreCat: /record/16764
DOI: 10.1145/44483.44490

Borodin, Allan, Faith E. Fich, Friedhelm Meyer auf der Heide, Eli Upfal, and Avi Wigderson. “A Tradeoff between Search and Update Time for the Implicit Dictionary Problem.”https://doi.org/10.1016/0304-3975(88)90018-7__Theoretical Computer Science, 1988, 57–68.https://doi.org/10.1016/0304-3975(88)90018-7 .
LibreCat: /record/16765
DOI: 10.1016/0304-3975(88)90018-7

Dietzfelbinger, M., A. Karlin, K. Mehlhorn, Friedhelm Meyer auf der Heide, H. Rohnert, and R.E. Tarjan. “Dynamic Perfect Hashing: Upper and Lower Bounds.”https://doi.org/10.1109/sfcs.1988.21968__In [Proceedings 1988] 29th Annual Symposium on Foundations of Computer Science, 1988.https://doi.org/10.1109/sfcs.1988.21968 .
LibreCat: /record/16766
DOI: 10.1109/sfcs.1988.21968

Just, Bettina, Fb Mathematik, Friedhelm Meyer auf der Heide, Fb Informatik, and Avi Wigderson. “On Computations with Integer Division.”https://doi.org/10.1007/bfb0035829__In STACS 88. Berlin, Heidelberg, 1988.https://doi.org/10.1007/bfb0035829 .
LibreCat: /record/16767
DOI: 10.1007/bfb0035829

Dietzfelbinger, M., K. Mehlhorn, Friedhelm Meyer auf der Heide, and H. Rohnert. “Upper and Lower Bounds for the Dictionary Problem.”https://doi.org/10.1007/3-540-19487-8_24__In SWAT 88. Berlin, Heidelberg, 1988.https://doi.org/10.1007/3-540-19487-8_24 .
LibreCat: /record/16768
DOI: 10.1007/3-540-19487-8_24

Domik, Gitta. “Enhancement Techniques in Digital Image Processing.” In Proceedings of the Computer Science Symposium, 211–17. Graz, Austria, 1988.
LibreCat: /record/16915

Brugel, Edward W, Gitta Domik, and Stephen A Voels. “A Multi-Spectral Analysis System Using Large Databases.” In European Southern Observatory Conference and Workshop Proceedings, 28:3–8, 1988.
LibreCat: /record/15320

Domik, Gitta, Franz Leberl, and J Cimino. “Dependence of Image Grey Values on Topography in SIR-B Images.” International Journal of Remote Sensing 9, no. 5 (1988): 1013–22.
LibreCat: /record/15321

Leberl, Franz, W Mayr, Gitta Domik, and M Kobrick. “SIR-B Stereo-Radargrammetry of Australia.” International Journal of Remote Sensing 9, no. 5 (1988): 997–1011.
LibreCat: /record/15322

Büning, Hans Kleine, and Theodor Lettmann. “Representation Independent Query and Update Operations on Propositional Definite Horn Formulas.”https://doi.org/10.1007/3-540-18170-9_167__In Computation Theory and Logic, edited by Egon Börger, 208–23. Berlin, Heidelberg, 1987.https://doi.org/10.1007/3-540-18170-9_167 .
LibreCat: /record/19821
DOI: 10.1007/3-540-18170-9_167

Domik, Gitta, and Franz Leberl. “Image Based SAR Product Simulation for Analysis.” In ASPRS-ACSM, 1987.
LibreCat: /record/21791

Engels, Gregor, and Andy Schürr. “A Hybrid Interpreter in a Software Development Environment.” In Proceedings of the 1st European Software Engineering Conference (ESEC ’87), Strasbourg (France), 289:80–88. Berlin/Heidelberg: Springer, 1987.
LibreCat: /record/7816

Engels, Gregor, Manfred Nagl, and Wilhelm Schäfer. “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, 22:190–98. ACM SIGPLAN Notices, 1987.
LibreCat: /record/7817

Engels, Gregor, Claus Lewerentz, and Wilhelm Schäfer. “Graph Grammar Engineering: A Software Specification Method.”https://doi.org/dx.doi.org/10.1007/3-540-18771-5__In Proceedings of the 3rd International Workshop on Graph-Grammars and Their Application to Computer Science, Warrenton, VA (USA), 291:186–201. Berlin/Heidelberg: Springer, 1987.https://doi.org/dx.doi.org/10.1007/3-540-18771-5 .
LibreCat: /record/8257
DOI: dx.doi.org/10.1007/3-540-18771-5

Borodin, A., F. Fich, Friedhelm Meyer auf der Heide, E. Upfal, and A. Wigderson. “A Time-Space Tradeoff for Element Distinctness.”https://doi.org/10.1137/0216007__SIAM Journal on Computing, 1987, 97–99.https://doi.org/10.1137/0216007 .
LibreCat: /record/16772
DOI: 10.1137/0216007