W. Müller, “Contract-Oriented System Design and Specification,” 1991.
LibreCat: /record/39584

G. Lehrenfeld and W. Müller, “Validation of EXPRESS Models Using Prolog,” 1991.
LibreCat: /record/39583

H. Alt, J. Blömer, and H. Wagener, “Approximation of convex polygons,” in Automata, Languages and Programming, Berlin/Heidelberg: Springer-Verlag, 1990, pp. 703–716.
LibreCat: /record/3050
DOI: 10.1007/bfb0032068

U. Hohenstein and G. Engels, “Formal Semantics of an Entity-Relationship Query Language,” in Proceedings of the 9th International Conference on Entity-Relationship Approach (ER 90), Lausanne, Switzerland, 1990, pp. 177–188.
LibreCat: /record/7824

G. Engels, “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), 1990, vol. 532, pp. 344–362.
LibreCat: /record/8259
DOI: http://dx.doi.org/10.1007/BFb0017372

M. Dietzfelbinger and F. Meyer auf der Heide, “A new universal class of hash functions and dynamic hashing in real time,” in Automata, Languages and Programming, Berlin/Heidelberg, 1990.
LibreCat: /record/16738
DOI: 10.1007/bfb0032018

F. Meyer auf der Heide, “Dynamic hashing strategies,” in Lecture Notes in Computer Science, Berlin/Heidelberg, 1990.
LibreCat: /record/16739
DOI: 10.1007/bfb0029597

M. Karpinski and F. Meyer auf der Heide, “On the complexity of genuinely polynomial computation,” in Lecture Notes in Computer Science, Berlin/Heidelberg, 1990.
LibreCat: /record/16740
DOI: 10.1007/bfb0029630

M. Dietzfelbinger and F. Meyer auf der Heide, “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.
LibreCat: /record/16741
DOI: 10.1145/100216.100229

J. Gil, F. Meyer auf der Heide, and A. Wigderson, “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.
LibreCat: /record/16742
DOI: 10.1145/100216.100247

F. Meyer auf der Heide, “Das Heinz Nixdorf-Institut der Universität-GH Paderborn,” Informatik Spektrum, vol. 13, no. 4, pp. 231–232, 1990.
LibreCat: /record/16824

G. Domik, E. W. Brugel, and R. E. Stencel, “IRAS On-Line Catalogs at CASA,” in Proceedings of the 176th meeting of the American Astronomical Society, 1990, vol. Vol. 22, no. No. 2.
LibreCat: /record/16913

G. Domik, E. Brugel, R. Stencel, S. Vasudevan, and J. Pang, “Applications of IRAS Preprocessing at the Workstation,” in Bulletin of the American Astronomical Society, 1990, vol. 22, p. 828.
LibreCat: /record/15393

G. Domik, E. W. Brugel, R. E. Stencel, J. Pang, and S. Vasudevan, “Workstation-based preprocessing of IRAS sky-flux images,” Publications of the Astronomical Society of the Pacific, vol. 102, no. 656, p. 1167, 1990.
LibreCat: /record/15394

K. Mickus, E. Brugel, G. Domik, and T. 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, 1990, vol. 22, p. 1259.
LibreCat: /record/15395

K. Mickus, G. Domik, E. Brugel, and T. Ayres, “Star-a scientific toolkit for astrophysical research,” in Bulletin of the American Astronomical Society, 1990, vol. 22, p. 828.
LibreCat: /record/15051

H. Kleine Büning, T. Lettmann, and E. W. Mayr, “Projections of vector addition system reachability sets are semilinear,” Theoretical Computer Science, pp. 343–350, 1989.
LibreCat: /record/19818
DOI: 10.1016/0304-3975(89)90055-8

J. Ebert and G. Engels, “Konzepte einer Software-Architektur-Beschreibungssprache,” in Software-Entwicklung: Konzepte, Erfahrungen, Perspektiven, Fachtagung, 1989, Marburg (Germany), 1989, vol. 212, pp. 238–250.
LibreCat: /record/7821

G. Engels, “CADDY-O: Syntaxgestütztes, graphisches Entwerfen konzeptioneller Datenbankschemata,” in Tagungsband GI-Fachtagung “Interaktive Schnittstellen für Informationssysteme”, TU Clausthal, Notizen zu Interaktive Systeme, 1989, vol. 18, pp. 1–16.
LibreCat: /record/7822

G. Engels, U. Hohenstein, K. Hülsmann, P. Löhr-Richter, and H.-D. Ehrich, “CADDY: Computer-Aided Design of Non-Standard Databases,” in Proceedings of the International Conference on System Development Environments &; Factories, Berlin, Germany, 1989.
LibreCat: /record/7823

G. Engels, Benutzerschnittstelle und Architektur der integrierten Datenbankentwurfsumgebung CADDY (Kurzfassung). TU Braunschweig, 1989.
LibreCat: /record/8187

G. Engels and W. Schäfer, Programmentwicklungsumgebungen: Konzepte und Realisierung. Stuttgart: Teubner, 1989.
LibreCat: /record/7511

B. Just, F. Meyer auf der Heide, and A. Wigderson, “On computations with integer division,” RAIRO - Theoretical Informatics and Applications, pp. 101–111, 1989.
LibreCat: /record/16743
DOI: 10.1051/ita/1989230101011

M. Dietzfelbinger and F. Meyer auf der Heide, “An optimal parallel dictionary,” in Proceedings of the first annual ACM symposium on Parallel algorithms and architectures  - SPAA ’89, 1989.
LibreCat: /record/16744
DOI: 10.1145/72935.72974

F. Meyer auf der Heide, “On genuinely time bounded computations,” in STACS 89, Berlin/Heidelberg, 1989.
LibreCat: /record/16745
DOI: 10.1007/bfb0028969

F. Meyer auf der Heide and R. Wanka, “Time-optimal simulations of networks by universal parallel computers,” in STACS 89, Berlin/Heidelberg, 1989.
LibreCat: /record/16746
DOI: 10.1007/bfb0028978

F. Meyer auf der Heide, “Computing minimum spanning forests on 1- and 2-dimensional processor arrays,” in STACS 89, Berlin, Heidelberg, 1989.
LibreCat: /record/16789
DOI: 10.1007/bfb0028983

F. J. Rammig and W. Müller, “ODICE: Object-Oriented Hardware Description in CAD Environment,” 1989.
LibreCat: /record/39585

H. Kleine Büning and T. Lettmann, “Perspektiven für die Logikprogrammierung,” in Workshop Wissensrepräsentation in Expertensystemen, 1988, pp. 56–78.
LibreCat: /record/19820

G. Engels, T. Janning, and W. Schäfer, “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), 1988, pp. 1–10.
LibreCat: /record/7818
DOI: http://dx.doi.org/10.1145/62453.62454

G. Engels, U. Hohenstein, L. Neugebauer, G. Saake, and H.-D. Ehrich, “Konzeption einer integrierten Datenbank-Entwurfsumgebung,” in Proceedings of DBTA/SI Data Dictionaries und Entwicklungswerkzeuge für Datenbank-Anwendungen, Zürich, Switzerland, 1988, pp. 151–157.
LibreCat: /record/7819

G. Engels, U. Hohenstein, G. Saake, and H.-D. Ehrich, “Auf dem Weg zu einer integrierten Datenbank-Entwurfsumgebung,” in Proceedings of the GI-Workshop on “Sprachspezifische Programmierumgebungen,” 1988, pp. 38–51.
LibreCat: /record/7820

J. Ebert and G. Engels, Ein Konzept zur Beschreibung von Software-Architekturen. EWH Koblenz, 1988.
LibreCat: /record/8186

G. Engels, T. Janning, and W. Schäfer, “Die Benutzerschnittstelle einer integrierten Modula-2 Programmentwicklungsumgebung,” in Proceedings of GI-Workshop Sprachspezifische Programmierumgebungen, Darmstadt, Germany, 1988.
LibreCat: /record/8258

L. Babai, B. Just, and F. Meyer auf der Heide, “On the limits of computations with the floor function,” Information and Computation, pp. 99–107, 1988.
LibreCat: /record/16763
DOI: 10.1016/0890-5401(88)90031-4

F. Meyer auf der Heide, “Fast algorithms for N-dimensional restrictions of hard problems,” Journal of the ACM (JACM), pp. 740–747, 1988.
LibreCat: /record/16764
DOI: 10.1145/44483.44490

A. Borodin, F. E. Fich, F. Meyer auf der Heide, E. Upfal, and A. Wigderson, “A tradeoff between search and update time for the implicit dictionary problem,” Theoretical Computer Science, pp. 57–68, 1988.
LibreCat: /record/16765
DOI: 10.1016/0304-3975(88)90018-7

M. Dietzfelbinger, A. Karlin, K. Mehlhorn, F. Meyer auf der Heide, H. Rohnert, and R. E. Tarjan, “Dynamic perfect hashing: upper and lower bounds,” in [Proceedings 1988] 29th Annual Symposium on Foundations of Computer Science, 1988.
LibreCat: /record/16766
DOI: 10.1109/sfcs.1988.21968

B. Just, F. Mathematik, F. Meyer auf der Heide, F. Informatik, and A. Wigderson, “On computations with integer division,” in STACS 88, Berlin, Heidelberg, 1988.
LibreCat: /record/16767
DOI: 10.1007/bfb0035829

M. Dietzfelbinger, K. Mehlhorn, F. Meyer auf der Heide, and H. Rohnert, “Upper and lower bounds for the dictionary problem,” in SWAT 88, Berlin, Heidelberg, 1988.
LibreCat: /record/16768
DOI: 10.1007/3-540-19487-8_24

G. Domik, “Enhancement Techniques in Digital Image Processing,” in Proceedings of the Computer Science Symposium, 1988, pp. 211–217.
LibreCat: /record/16915

E. W. Brugel, G. Domik, and S. A. Voels, “A multi-spectral analysis system using large databases.,” in European Southern Observatory Conference and Workshop Proceedings, 1988, vol. 28, pp. 3–8.
LibreCat: /record/15320

G. Domik, F. Leberl, and J. Cimino, “Dependence of image grey values on topography in SIR-B images,” International Journal of Remote Sensing, vol. 9, no. 5, pp. 1013–1022, 1988.
LibreCat: /record/15321

F. Leberl, W. Mayr, G. Domik, and M. Kobrick, “SIR-B stereo-radargrammetry of Australia,” International journal of remote sensing, vol. 9, no. 5, pp. 997–1011, 1988.
LibreCat: /record/15322

H. K. Büning and T. Lettmann, “Representation independent query and update operations on propositional definite Horn formulas,” in Computation Theory and Logic, E. Börger, Ed. Berlin, Heidelberg, 1987, pp. 208–223.
LibreCat: /record/19821
DOI: 10.1007/3-540-18170-9_167

G. Domik and F. Leberl, “Image based SAR product simulation for analysis,” in ASPRS-ACSM, 1987.
LibreCat: /record/21791

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

G. Engels, M. Nagl, and W. 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, 1987, vol. 22, no. 1, pp. 190–198.
LibreCat: /record/7817

G. Engels, C. Lewerentz, and W. Schäfer, “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), 1987, vol. 291, pp. 186–201.
LibreCat: /record/8257
DOI: dx.doi.org/10.1007/3-540-18771-5

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