Scientific Publications

Albers, S.; Brucker, P.: The Complexity of One-Machine Batching Problems. Discrete Applied Mathematics 47, pp. 87 - 107 (1993)

Barnett, R.; Basin, D.; Hesketh, J.: A Recursion Planning Analysis of Inductive Completion. Annals of Mathematics and Artificial Intelligence 8 (3-4), pp. 363 - 381 (1993)

Bockmayr, A.: Conditional Narrowing Modulo a Set of Equations. Applicable Algebra in Engineering, Communication and Computing 4 (3), pp. 147 - 168 (1993)

Chadha, R.; Plaisted, D.: On the Mechanical Derivation of Loop Invariants. Journal of Symbolic Computation 15 (5/6), pp. 705 - 744 (1993)

Clarkson, K. L.; Mehlhorn, K.; Seidel, R.: Four Results on Randomized Incremental Constructions. Computational Geometry: Theory and Applications 3 (4), pp. 185 - 212 (1993)

Dubhashi, D. P.: Quantifier Elimination in p-adic Fields. The Computer Journal 36 (5), pp. 419 - 426 (1993)

Fleischer, R.; Sinha, B. P.; Uhrig, C.: A Lower Bound for the Worst Case of Bottom-Up-Heapsort. Information and Computation 102 (2), pp. 263 - 279 (1993)

Fong, P.; Seidel, H.-P.: An Implementation of Triangular B-spline Surfaces over Arbitrary Triangulations. Computer Aided Geometric Design 10 (3-4), pp. 267 - 275 (1993)

Formann, M.; Hagerup, T.; Haralambides, J.; Kaufmann, M.; Leighton, F. T.; Symvonis, A.; Welzl, E.; Woeginger, G.: Drawing Graphs in the Plane with High Resolution. SIAM Journal on Computing 22 (5), pp. 1035 - 1052 (1993)

Jaeger, M.: Circumscription: Completeness Reviewed. Artificial Intelligence 60, pp. 293 - 301 (1993)

Klein, R.; Mehlhorn, K.; Meiser, S.: Randomized incremental construction of abstract Voronoi diagrams. Computational Geometry: Theory and Applications 3, pp. 157 - 184 (1993)

Lenhof, H.-P.; Smid, M.: An Optimal Construction Method for Generalized Convex Layers. International Journal of Computational Geometry and Applications 3 (3), pp. 245 - 267 (1993)

Mehlhorn, K.; Sharir, M.; Welzl, E.: Tail Estimates for the Efficiency of Randomized Incremental Algorithms for Line Segment Intersection. Computational Geometry: Theory and Applications 3 (4), pp. 235 - 246 (1993)

Mehlhorn, K.; Tsakalidis, A. K.: Dynamic Interpolation Search. Journal of the ACM 40, pp. 621 - 634 (1993)

Ohlbach, H. J.: Translation Methods for Non-Classical Logics: An Overview. Bulletin of the Interest Group in Propositional and Predicate Logics (IGPL) 1 (1), pp. 69 - 90 (1993)

Rülling, W.; Schilz, T.: A New Method for Hierarchical Compaction. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 12 (2), pp. 353 - 360 (1993)

Seidel, H.-P.: An Introduction to Polar Forms. IEEE Computer Graphics and Applications 13 (1), pp. 38 - 46 (1993)

Seidel, H.-P.: Polar Forms for Geometrically Continuous Spline Curves of Arbitrary Degree. ACM Transactions on Graphics 12 (1), pp. 1 - 34 (1993)

Bertling, H.; Ganzinger, H.; Schäfers, R.; Nieuwenhuis, R.; Orejas, F.: Completion Subsystem. In: Program Development by Specification and Transformation, pp. 460 - 494 (Eds. Hoffmann, B.; Krieg‐Brückner, B.). Springer, Berlin (1993)

Bockmayr, A.: Logic Programming with Pseudo-Boolean Constraints. In: Constraint Logic Programming: Selected Research, pp. 327 - 350 (Eds. Benhamou, F.; Colmerauer, A.). MIT Press, Cambridge, MA (1993)