Müller, W. (1991). Contract-Oriented System Design and Specification. Proceedings of the Workshop on Practical Computer Based Systems Engineering - Its Scope and Methods.

Lehrenfeld, G., &; Müller, W. (1991). Validation of EXPRESS Models Using Prolog. Proceedings of the 1st EXPRESS User’s Group Conference.

Alt, H., Blömer, J., &; Wagener, H. (1990). Approximation of convex polygons. In Automata, Languages and Programming (pp. 703–716). Berlin/Heidelberg: Springer-Verlag.https://doi.org/10.1007/bfb0032068 

Hohenstein, U., &; Engels, G. (1990). Formal Semantics of an Entity-Relationship Query Language. In Proceedings of the 9th International Conference on Entity-Relationship Approach (ER 90), Lausanne, Switzerland (pp. 177–188). ER Institute.

Engels, G. (1990). 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, pp. 344–362). Berlin/Heidelberg: Springer.http://dx.doi.org/10.1007/BFb0017372 

Dietzfelbinger, M., &; Meyer auf der Heide, F. (1990). A new universal class of hash functions and dynamic hashing in real time. In Automata, Languages and Programming. Berlin/Heidelberg.https://doi.org/10.1007/bfb0032018 

Meyer auf der Heide, F. (1990). Dynamic hashing strategies. In Lecture Notes in Computer Science. Berlin/Heidelberg.https://doi.org/10.1007/bfb0029597 

Karpinski, M., &; Meyer auf der Heide, F. (1990). On the complexity of genuinely polynomial computation. In Lecture Notes in Computer Science. Berlin/Heidelberg.https://doi.org/10.1007/bfb0029630 

Dietzfelbinger, M., &; Meyer auf der Heide, F. (1990). How to distribute a dictionary in a complete network. In Proceedings of the twenty-second annual ACM symposium on Theory of computing  - STOC ’90.https://doi.org/10.1145/100216.100229 

Gil, J., Meyer auf der Heide, F., &; Wigderson, A. (1990). Not all keys can be hashed in constant time. In Proceedings of the twenty-second annual ACM symposium on Theory of computing  - STOC ’90.https://doi.org/10.1145/100216.100247 

Meyer auf der Heide, F. (1990). Das Heinz Nixdorf-Institut der Universität-GH Paderborn. Informatik Spektrum, 13(4), 231–232.

Domik, G., Brugel, E. W., &; Stencel, R. E. (1990). IRAS On-Line Catalogs at CASA. In Proceedings of the 176th meeting of the American Astronomical Society (Vol. Vol. 22).

Domik, G., Brugel, E., Stencel, R., Vasudevan, S., &; Pang, J. (1990). Applications of IRAS Preprocessing at the Workstation. In Bulletin of the American Astronomical Society (Vol. 22, p. 828).

Domik, G., Brugel, E. W., Stencel, R. E., Pang, J., &; Vasudevan, S. (1990). Workstation-based preprocessing of IRAS sky-flux images. Publications of the Astronomical Society of the Pacific, 102(656), 1167.

Mickus, K., Brugel, E., Domik, G., &; Ayres, T. (1990). 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, p. 1259).

Mickus, K., Domik, G., Brugel, E., &; Ayres, T. (1990). Star-a scientific toolkit for astrophysical research. In Bulletin of the American Astronomical Society (Vol. 22, p. 828).

Kleine Büning, H., Lettmann, T., &; Mayr, E. W. (1989). Projections of vector addition system reachability sets are semilinear. Theoretical Computer Science, 343–350.https://doi.org/10.1016/0304-3975(89)90055-8 

Ebert, J., &; Engels, G. (1989). Konzepte einer Software-Architektur-Beschreibungssprache. In Software-Entwicklung: Konzepte, Erfahrungen, Perspektiven, Fachtagung, 1989, Marburg (Germany) (Vol. 212, pp. 238–250). Berlin/Heidelberg: Springer.

Engels, G. (1989). 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, pp. 1–16).

Engels, G., Hohenstein, U., Hülsmann, K., Löhr-Richter, P., &; Ehrich, H.-D. (1989). CADDY: Computer-Aided Design of Non-Standard Databases. In Proceedings of the International Conference on System Development Environments &; Factories, Berlin, Germany. Berlin: Pitman Publishing.

Engels, G. (1989). Benutzerschnittstelle und Architektur der integrierten Datenbankentwurfsumgebung CADDY (Kurzfassung). TU Braunschweig.

Engels, G., &; Schäfer, W. (1989). Programmentwicklungsumgebungen: Konzepte und Realisierung. Stuttgart: Teubner.

Just, B., Meyer auf der Heide, F., &; Wigderson, A. (1989). On computations with integer division. RAIRO - Theoretical Informatics and Applications, 101–111.https://doi.org/10.1051/ita/1989230101011 

Dietzfelbinger, M., &; Meyer auf der Heide, F. (1989). An optimal parallel dictionary. In Proceedings of the first annual ACM symposium on Parallel algorithms and architectures  - SPAA ’89.https://doi.org/10.1145/72935.72974 

Meyer auf der Heide, F. (1989). On genuinely time bounded computations. In STACS 89. Berlin/Heidelberg.https://doi.org/10.1007/bfb0028969 

Meyer auf der Heide, F., &; Wanka, R. (1989). Time-optimal simulations of networks by universal parallel computers. In STACS 89. Berlin/Heidelberg.https://doi.org/10.1007/bfb0028978 

Meyer auf der Heide, F. (1989). Computing minimum spanning forests on 1- and 2-dimensional processor arrays. In STACS 89. Berlin, Heidelberg.https://doi.org/10.1007/bfb0028983 

Rammig, F. J., &; Müller, W. (1989). ODICE: Object-Oriented Hardware Description in CAD Environment. Proc. of the Ninth IFIP Symposium on CHDLs and Their Application.

Kleine Büning, H., &; Lettmann, T. (1988). Perspektiven für die Logikprogrammierung. In G. Rahmstorf (Ed.), Workshop Wissensrepräsentation in Expertensystemen (pp. 56–78). Berlin, Heidelberg.

Engels, G., Janning, T., &; Schäfer, W. (1988). 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) (pp. 1–10). New York, NY, USA: ACM Press.http://dx.doi.org/10.1145/62453.62454 

Engels, G., Hohenstein, U., Neugebauer, L., Saake, G., &; Ehrich, H.-D. (1988). Konzeption einer integrierten Datenbank-Entwurfsumgebung. In Proceedings of DBTA/SI Data Dictionaries und Entwicklungswerkzeuge für Datenbank-Anwendungen, Zürich, Switzerland (pp. 151–157). Verlag der Fachvereine an den Schweiz. Hochschulen und Techniken.

Engels, G., Hohenstein, U., Saake, G., &; Ehrich, H.-D. (1988). Auf dem Weg zu einer integrierten Datenbank-Entwurfsumgebung. In G. Engels, U. Hohenstein, G. Saake, &; H.-D. Ehrich (Eds.), Proceedings of the GI-Workshop on “Sprachspezifische Programmierumgebungen” (pp. 38–51). Darmstadt (Germany): G. Snelting.

Ebert, J., &; Engels, G. (1988). Ein Konzept zur Beschreibung von Software-Architekturen. EWH Koblenz.

Engels, G., Janning, T., &; Schäfer, W. (1988). Die Benutzerschnittstelle einer integrierten Modula-2 Programmentwicklungsumgebung. In Proceedings of GI-Workshop Sprachspezifische Programmierumgebungen, Darmstadt, Germany.

Babai, L., Just, B., &; Meyer auf der Heide, F. (1988). On the limits of computations with the floor function. Information and Computation, 99–107.https://doi.org/10.1016/0890-5401(88)90031-4 

Meyer auf der Heide, F. (1988). Fast algorithms for N-dimensional restrictions of hard problems. Journal of the ACM (JACM), 740–747.https://doi.org/10.1145/44483.44490 

Borodin, A., Fich, F. E., Meyer auf der Heide, F., Upfal, E., &; Wigderson, A. (1988). A tradeoff between search and update time for the implicit dictionary problem. Theoretical Computer Science, 57–68.https://doi.org/10.1016/0304-3975(88)90018-7 

Dietzfelbinger, M., Karlin, A., Mehlhorn, K., Meyer auf der Heide, F., Rohnert, H., &; Tarjan, R. E. (1988). Dynamic perfect hashing: upper and lower bounds. In [Proceedings 1988] 29th Annual Symposium on Foundations of Computer Science.https://doi.org/10.1109/sfcs.1988.21968 

Just, B., Mathematik, F., Meyer auf der Heide, F., Informatik, F., &; Wigderson, A. (1988). On computations with integer division. In STACS 88. Berlin, Heidelberg.https://doi.org/10.1007/bfb0035829 

Dietzfelbinger, M., Mehlhorn, K., Meyer auf der Heide, F., &; Rohnert, H. (1988). Upper and lower bounds for the dictionary problem. In SWAT 88. Berlin, Heidelberg.https://doi.org/10.1007/3-540-19487-8_24 

Domik, G. (1988). Enhancement Techniques in Digital Image Processing. In Proceedings of the Computer Science Symposium (pp. 211–217). Graz, Austria.

Brugel, E. W., Domik, G., &; Voels, S. A. (1988). A multi-spectral analysis system using large databases. In European Southern Observatory Conference and Workshop Proceedings (Vol. 28, pp. 3–8).

Domik, G., Leberl, F., &; Cimino, J. (1988). Dependence of image grey values on topography in SIR-B images. International Journal of Remote Sensing, 9(5), 1013–1022.

Leberl, F., Mayr, W., Domik, G., &; Kobrick, M. (1988). SIR-B stereo-radargrammetry of Australia. International Journal of Remote Sensing, 9(5), 997–1011.

Büning, H. K., &; Lettmann, T. (1987). Representation independent query and update operations on propositional definite Horn formulas. In E. Börger (Ed.), Computation Theory and Logic (pp. 208–223). Berlin, Heidelberg.https://doi.org/10.1007/3-540-18170-9_167 

Domik, G., &; Leberl, F. (1987). Image based SAR product simulation for analysis. In ASPRS-ACSM.

Engels, G., &; Schürr, A. (1987). A Hybrid Interpreter in a Software Development Environment. In Proceedings of the 1st European Software Engineering Conference (ESEC ’87), Strasbourg (France) (Vol. 289, pp. 80–88). Berlin/Heidelberg: Springer.

Engels, G., Nagl, M., &; Schäfer, W. (1987). 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, pp. 190–198). ACM SIGPLAN Notices.

Engels, G., Lewerentz, C., &; Schäfer, W. (1987). 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, pp. 186–201). Berlin/Heidelberg: Springer.https://doi.org/dx.doi.org/10.1007/3-540-18771-5 

Borodin, A., Fich, F., Meyer auf der Heide, F., Upfal, E., &; Wigderson, A. (1987). A Time-Space Tradeoff for Element Distinctness. SIAM Journal on Computing, 97–99.https://doi.org/10.1137/0216007