MPI-INF Logo

MPI-INF D1 Publications

Search the publication database
.
Return

Your search returned the following 16 documents:

  1. Kurt Mehlhorn, Stefan Näher, Michael Seel, Raimund Seidel, Thomas Schilz, Stefan Schirra, and Christian Uhrig
    Checking geometric programs or verification of geometric structures
    Computational Geometry: Theory and Applications 12 (1-2): 85-104, 1999

  2. Kurt Mehlhorn, Michael Müller, Stefan Näher, Stefan Schirra, Michael Seel, Christian Uhrig, and Joachim Ziegler
    A computational basis for higher-dimensional computational geometry and applications
    Computational Geometry: Theory and Applications 10 (4): 289-304, 1998
  3. Kurt Mehlhorn, Michael Müller, Stefan Näher, Stefan Schirra, Michael Seel, Christian Uhrig, and Joachim Ziegler
    A Computational Basis for Higher-dimensional Computational Geometry and Applications
    In: Proceedings of the 13th International Annual Symposium on Computational Geometry (SCG-97), Nice, France, June, 4 - June, 6, 1997, 254-263
  4. Kurt Mehlhorn, R. Sundar, and Christian Uhrig
    Maintaining Dynamic Sequences under Equality Tests in Polylogarithmic Time
    Algorithmica 17 (2): 183-198, 1997
  5. Kurt Mehlhorn, Stefan Näher, and Christian Uhrig
    The LEDA platform for combinatorial and geometric computing
    In: Proceedings of the 24th International Colloquium on Automata, Languages, and Programming (ICALP-97), Bologna, Italy, July 7-11, 1997, 7-16
  6. Kurt Mehlhorn, Stefan Näher, Thomas Schilz, Stefan Schirra, Michael Seel, Raimund Seidel, and Christian Uhrig
    Checking Geometric Programs or Verification of Geometric Structures
    In: 12th Annual ACM Symposium on Computational Geometry (SCG 96), Philadelphia, PA, USA, May, 24-26, 1996, 159-165
  7. Kurt Mehlhorn, Stefan Näher, and Christian Uhrig
    The LEDA Platform for Combinatorial and Geometric Computing
    In: Beherrschung von Informationssystemen : Tagungsband der Informatik '96 ; GI - 26. Jahrestagung, Klagenfurt; Österreich, 1996, 43-50
  8. Christoph Burnikel, Jochen Könemann, Kurt Mehlhorn, Stefan Näher, Stefan Schirra, and Christian Uhrig
    Exact Geometric Computation in LEDA
    In: 11th ACM Symposium on Computational Geometry (SCG95), Vancouver, British Columbia, Canada, June, 5th - 7th, 1995, C18-C19

  9. Paul Dietz, Kurt Mehlhorn, Rajeev Raman, and Christian Uhrig
    Lower bounds for set intersection queries
    Algorithmica 14 (2): 154-168, 1995

  10. Kurt Mehlhorn, R. Sundar, and Christian Uhrig
    Maintaining dynamic sequences under equality-tests in polylogarithmic time
    In: Discrete algorithms (SODA-94) : 5th annual ACM-SIAM symposium, Arlington, USA, 1994, 213-222
  11. Paul Dietz, Kurt Mehlhorn, Rajeev Raman, and Christian Uhrig
    Lower Bounds for Set Intersection queries
    In: Discrete algorithms (SODA-93) : 4th annual ACM-SIAM symposium, Austin, USA, 1993, 194-201
  12. Helmut Alt, Rudolf Fleischer, Michael Kaufmann, Kurt Mehlhorn, Stefan Näher, Stefan Schirra, and Christian Uhrig
    Approximate motion planning and the complexity of the boundary of the union of simple geometric figures
    Algorithmica 8 (5/6): 391-408, 1992. Note: Conference version in Proceedings of 6th ACM Symposium on Computational Geometry, 1990
  13. Rudolf Fleischer, Otfried Fries, Kurt Mehlhorn, Stefan Meiser, Stefan Näher, Hans Rohnert, Stefan Schirra, Klaus Simon, Athanasios Tsakalidis, and Christian Uhrig
    Selected Topics from Computational Geometry, Data Structures and Motion Planning
    In: Data Structures and Efficient Algorithms, Final Report on the DFG Special Joint Initiative, 1992, 25-43
  14. Helmut Alt, Rudolf Fleischer, Michael Kaufmann, Kurt Mehlhorn, Stefan Näher, Stefan Schirra, and Christian Uhrig
    Approximate Motion Planning and the Complexity of the Boundary of the Union of Simple Geometric Figures
    In: Computational geometry (SCG-90) : 6th annual symposium, Berkeley, USA, 1990, 281-289
  15. Kurt Mehlhorn, Stefan Näher, and Christian Uhrig
    Hidden line elimination for isooriented rectangles
    Information Processing Letters 35 (3): 137-143, 1990
    [PDF: Download: HiddenLineRectangles.pdf]
  16. Kurt Mehlhorn, Stefan Näher, and Christian Uhrig
    Hidden line elimination for isooriented rectangles
    Universität des Saarlandes, Saarbrücken, A 90/02
    [PDF: Download: Mehlhorn_SFB_A_02_90-1.pdf]