Fleischer, R.; Mehlhorn, K.; Rote, G.; Welzl, E.; Yap, C.-K.: On Simultaneous Inner and Outer Approximation of Shapes. In: Computational geometry (SCG-90): 6th annual symposium, pp. 216 - 224. Untitled Event, Berkeley, USA, June 06, 1990. ACM, New York, USA (1990)

Hanus, M.: Logic Programs with Equational Type Specifications. In: Algebraic and Logic Programming, pp. 70 - 85 (Eds. Kirchner, H.; Wechler, W.). Second International Conference on Algebraic and Logic Programming, Nancy, France, October 01, 1990 - October 03, 1990. Springer, Berlin (1990)

Hanus, M.: A Functional and Logic Language with Polymorphic Types. In: Design and Implementation of Symbolic Computation Systems, pp. 215 - 224 (Ed. Miola, A.). International Symposium on Design and Implementation of Symbolic Computation Systems, Capri, Italy, April 10, 1990 - April 12, 1990. Springer, Berlin (1990)

Hanus, M.: Compiling Logic Programs with Equality. In: Programming Language Implementation and Logic Programming, pp. 387 - 401 (Eds. Deransart, P.; Maluszyński, J.). Second International Workshop on Programming Language Implementation and Logic Programming, Linköping, Sweden, August 20, 1990 - August 22, 1990. Springer, Berlin (1990)

Klein, R.; Mehlhorn, K.; Meiser, S.: On the Construction of Abstract Voronoi Diagrams, II. In: Algorithms (ISA-90): 1st international symposium (SIGAL-90), pp. 138 - 154. Untitled Event, Tokyo, Japan, August 16, 1990. Springer, Berlin, Germany (1990)

Mehlhorn, K.; Meiser, S.; Ó'Dúnlaing, C.: On the Construction of Abstract Voronoi Diagrams. In: Theoretical aspects of computer science (STACS-90): 7th annual symposium, pp. 227 - 239. Untitled Event, Rouen, France, February 22, 1990. Springer, Berlin, Germany (1990)

Näher, S.; Mehlhorn, K.: LEDA: A Library of Efficient Data Types and Algorithms. In: Automata, languages and programming (ICALP-90): 17th international colloquium, pp. 1 - 5. Untitled Event, Warwick University, England, July 16, 1990. Springer, Berlin, Germany (1990)

Näher, S.; Mehlhorn, K.: LEDA - A Library of Efficient Data Types and Algorithms. In: GI - 20. Jahrestagung I, Informatik auf dem Weg zum Anwender, pp. 35 - 39. Untitled Event, Stuttgart, Germany, October 08, 1990. Springer, Berlin, Germany (1990)

Slusallek, P.; Seidel, H.-P.: TRIMO A Workstation-Based Interactive System for the Generation, Manipulation, and Display of Surfaces over Arbitrary Topological Meshes. In: Proceedings of the 11th European Computer Graphics Conference and Exhibition, pp. 147 - 158 (Eds. Vandoni, C. E.; Duce, D. A.). 11th European Computer Graphics Conference and Exhibition, Montreux, Switzerland, September 04, 1990 - September 07, 1990. North-Holland / Eurographics Association, Amsterdam (1990)

Weidenbach, C.; Ohlbach, H. J.: A Resolution Calculus with Dynamic Sort Structures and Partial Functions. In: Proceedings of the 9th European Conference on Artificial Intelligence, pp. 688 - 693 (Ed. Carlucci Aiello, L.). 9th European Conference on Artificial Intelligence, Stockholm Sweden, 1990-01. Pitman Publishing, Inc., St. Marshfield, MA (1990)

Mehlhorn, K.; Näher, S.: LEDA: A library of efficient data types and algorithms. In: Mathematical foundations of computer science (MFCS-89): 14th international symposium, pp. 88 - 106. Untitled Event, Porabka-Kozubnik, Poland, August 28, 1989. Springer, Berlin, Germany (1989)

Mehlhorn, K.; Näher, S.: A library of efficient data types and algorithms. In: Mathematical foundations of computer science (MFCS-89): 14th international symposium, pp. 88 - 106. Untitled Event, Porabka-Kozubnik, Poland, August 28, 1989. Springer, Berlin, Germany (1989)

Mehlhorn, K.; Näher, S.; Rauch, M.: On the Complexity of a Game Related to the Dictionary Problem. In: 30th Annual Symposium on Foundations of Computer Science (FOCS 1989), pp. 546 - 548. Untitled Event, Research Triangle Park, NC, USA, October 30, 1989. IEEE, Los Alamitos, USA (1989)

Mehlhorn, K.; Paul, W. J.: Two Versus One Index Register and Modifiable Versus Non-modifiable Programs. In: Automata, languages and programming (ICALP-89): 16th international colloquium, pp. 603 - 609. Untitled Event, Stresa, Italy, July 11, 1989. Springer, Berlin, Germany (1989)

Dietzfelbinger, M.; Karlin, A.; Mehlhorn, K.; Meyer auf der Heide, F.; Rohnert, H.; Tarjan, R. E.: Dynamic Perfect Hashing: Upper and Lower Bounds. In: 29th Annual Symposium on Foundations of Computer Science (FOCS 1988), pp. 524 - 531. Untitled Event, White Plains, New York, USA, October 24, 1988. IEEE, Washington, USA (1988)

Dietzfelbinger, M.; Mehlhorn, K.; Meyer auf der Heide, F.; Rohnert, H.: Upper and Lower Bounds for the Dictionary Problem. In: Algorithm theory (SWAT-88): 1st Scandinavian workshop, pp. 214 - 215. Untitled Event, Halmstad, Sweden, July 05, 1988. Springer, Berlin, Germany (1988)

Gao, S.; Jerrum, M.; Kaufmann, M.; Mehlhorn, K.; Rülling, W.: On Continuous Homotopic One Layer Routing. In: Computational geometry (SCG-88): 4th symposium, pp. 392 - 402. Untitled Event, Urbana-Champaign, IL, USA, June 06, 1988. ACM, New York, USA (1988)

Gao, S.; Kaufmann, M.; Mehlhorn, K.; Rülling, W.; Storb, C.; Jerrum, M.: On Continuous Homotopic One Layer Routing (Extended Abstract). In: Computational geometry and its applications (CG-88): international workshop, pp. 55 - 70. Untitled Event, Würzburg, FRG, March 24, 1988. Springer, Berlin, Germany (1988)

Mehlhorn, K.: SFB 124: VLSI-Entwurfsmethoden und Parallelität. In: GI - 18. Jahrestagung II, Vernetzte and komplexe Informatik-Systems, pp. 3 - 29. Untitled Event, Hamburg, Germany, October 17, 1988. Springer, Berlin, Germany (1988)

Mehlhorn, K.; Rülling, W.: Compaction on the Torus. In: {VLSI} algorithms and architectures: 3rd {A}egean Workshop on Computing, AWOC 88, pp. 212 - 225. Untitled Event, Corfu, Greece, June 28, 1988. Springer, Berlin, Germany (1988)