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.

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.

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 .

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.

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 .

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 .

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 .

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 .

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 .

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 .

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

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.

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.

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.

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.

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.

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 .

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.

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.

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.

Engels, Gregor. Benutzerschnittstelle Und Architektur Der Integrierten Datenbankentwurfsumgebung CADDY (Kurzfassung). TU Braunschweig, 1989.

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

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 .

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 .

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 .

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 .

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 .

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.

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.

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 .

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.

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.

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

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.

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 .

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 .

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 .

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 .

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 .

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 .

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

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.

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.

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.

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 .

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

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.

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.

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 .

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 .