Schirra, S.; Heffernan, P. J.: Approximate Decision Algorithms for Point Set Congruence. Computational Geometry 4 (3), pp. 137 - 156 (1994)

Schmidt, R. A.: Peirce Algebras and Their Applications in Artificial Intelligence and Computational Linguistics: Abstract. Sigala Newsletter 2 (1), p. 27 - 27 (1994)

Schwarz, C.; Smid, M.; Snoeyink, J.: An Optimal Algorithm for the On-line Closest-pair Problem. Algorithmica 12 (1), pp. 18 - 29 (1994)

Slusallek, P.; Pflaum, T.; Seidel, H.-P.: Implementing RenderMan - Practice, Problems and Enhancements. Computer Graphics Forum 13 (3), pp. 443 - 454 (1994)

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)