Kolb, A.; Pottmann, H.; Seidel, H.-P.: Fair Surface Reconstruction Using Quadratic Functionals. Computer Graphics Forum 14 (3), pp. 469 - 479 (1995)

Kolb, A.; Seidel, H.-P.: Interpolating Scattered Data with C2 Surfaces. Computer Aided Design 27 (4), pp. 277 - 282 (1995)

Krishna Rao, M. R. K.: Modular Proofs for Completeness of Hierarchical Term Rewriting Systems. Theoretical computer science 151 (2), pp. 487 - 512 (1995)

Lenhof, H.-P.; Smid, M.: Maintaining the Visibility Map of Spheres while Moving the Viewpoint on a Circle at Infinity. Algorithmica 13 (3), pp. 301 - 312 (1995)

Lenhof, H.-P.; Smid, M.: Sequential and Parallel Algorithms for the k Closest Pairs Problem. International Journal of Computational Geometry and Applications 5 (3), pp. 273 - 288 (1995)

Mehlhorn, K.: Guest Editor's Foreword. Discrete and Computational Geometry 14, p. 363 - 363 (1995)

Mehlhorn, K.; Näher, S.: LEDA: A Platform for Combinatorial and Geometric Computing. Communications of the ACM 38 (1), pp. 96 - 102 (1995)

Ohlbach, H. J.; Weidenbach, C.: A Note on Assumptions about Skolem Functions. Journal of Automated Reasoning 15 (2), pp. 267 - 275 (1995)

Pfeifle, R.; Seidel, H.-P.: Spherical Triangular B-Splines with Application to Data Fitting. Computer Graphics Forum 14 (3), pp. 89 - 96 (1995)

Rieger, J.: Generic Evolutions of Edges on Families of Diffused Greyvalue Surfaces. Journal of Mathematical Imaging and Vision 5 (3), pp. 207 - 217 (1995)

Slusallek, P.; Pflaum, T.; Seidel, H.-P.: Using Procedural RenderMan Shaders for Global Illumination. Computer Graphics Forum 14 (3), pp. 311 - 324 (1995)

Slusallek, P.; Seidel, H.-P.: Vision - An Architecture for Global Illumination Calculations. IEEE Transactions on Visualization and Computer Graphics 1 (1), pp. 77 - 96 (1995)

Smid, M.: Dynamic Rectangular Point Location, with an Application to the Closest Pair Problem. Information and Computation 116 (1), pp. 1 - 9 (1995)

Stohr, H.; Roomp, K.; Felbor, U.; Weber, B. H.: Genomic organization of the human tissue inhibitor of metalloproteinases-3 (TIMP3). Genome Research 5 (5), pp. 483 - 7 (1995)

Träff, J. L.: An Experimental Comparison of two Distributed Singel-Source Shortest Path Algorithm. Parallel Computing 21 (9), pp. 1505 - 1532 (1995)

Weidenbach, C.: First-Order Tableaux with Sorts. Logic Journal of the IGPL 3 (6), pp. 887 - 906 (1995)

Bachmair, L.; Ganzinger, H.; Waldmann, U.: Refutational Theorem Proving for Hierarchic First-Order Theories. Applicable Algebra in Engineering, Communication and Computing (AAECC) 5 (3/4), pp. 193 - 212 (1994)

Basin, D. A.: A Term Equality Problem Equivalent to Graph Isomorphism. Information Processing Letters 51 (2), pp. 61 - 66 (1994)

Baumgarten, H.; Jung, H.; Mehlhorn, K.: Dynamic Point Location in General Subdivisions. Journal of Algorithms 17 (3), pp. 342 - 380 (1994)

Bilardi, G.; Chaudhuri, S.; Dubhashi, D.; Mehlhorn, K.: A lower bound for area-universal graphs. Information Processing Letters 51, pp. 101 - 105 (1994)