Zeilfelder, F.; Davydov, O.; Nürnberger, G.: Bivariate Spline interpolation with optimal approximation order. Constructive Approximation 17 (2), S. 181 - 208 (2001)

Zien, A.; Aigner, T.; Zimmer, R.; Lengauer, T.: Centralization: A biologically sensible method for the normalization of gene expression data. Bioinformatics 17, S. 323S - 331S (2001)

Bäsken, M.; Brönnimann, H.; Frank, D.; Devillers, O.; Ester, E.; Fabri, A.; Flato, E.; Gärtner, B.; Giezeman, G.-J.; Halperin, D. et al.; Hanniel, I.; Har-Peled, S.; Herrmann, T.; Hert, S.; Hirsch, S.; Hoffmann, M.; Kettner, L.; Nechushtan, O.; Neyer, G.; Pasechnik, D.; Pion, S.; Schirra, S.; Schönherr, S.; Seel, M.; Teillaud, M.; Veltkamp, R.; Wein, R.; Wesselink, W.; Yvinec, M.: CGAL Reference and User Manuals. CGAL Consortium, - (2001)

Lengauer, T. (Hg.): From Genomes to Drugs. Wiley-VCH, Weinheim (2001), 647 S.

Lengauer, T.; Sankoff, D.; Istrail, P.; Pevzner, P.; Waterman, M.S. (Hg.): Proceedings of the 5th Annual Conference on Research in Computational Molecular Biology (RECOMB2001). ACM, New York (2001), 315 S.

Bachmair, L.; Ganzinger, H.: Resolution Theorem Proving. In: Handbook of Automated Reasoning, Bd. 1, S. 19 - 99 (Hg. Robinson, J. A.; Voronkov, A.). Elsevier, Amsterdam, the Netherlands (2001)

Bockmayr, A.; Weispfenning, V.: Solving numerical constraints. In: Handbook of Automated Reasoning, Bd. 1, S. 751 - 842 (Hg. Robinson, A.; Voronkov, A.). Elsevier, Amsterdam, the Netherlands (2001)

Eiglsperger, M.; Fekete, S. P.; Klau, G. W.: Orthogonal Graph Drawing. In: Drawing Graphs: Methods and Models, S. 121 - 171 (Hg. Kaufmann, M.; Wagner, D.). Springer, Berlin, Germany (2001)

Fermüller, C. G.; Leitsch, A.; Hustadt, U.; Tammet, T.: Resolution Decision Procedures. In: Handbook of Automated Reasoning, Bd. 1, S. 1793 - 1849 (Hg. Robinson, A.; Voronkov, A.). Elsevier, Amsterdam, the Netherlands (2001)

Ganzinger, H.; Hustadt, U.; Meyer, C.; Schmidt, R. A.: A Resolution-Based Decision Procedure for Extensions of K4. In: Advances in Modal Logic, Volume 2, S. 225 - 246 (Hg. Zakharyaschev, M.; Segerberg, K.; de Rijke, M.; Wansing, H.). CSLI, Stanford, USA (2001)

Ghali, S.: Object Space Visibility. In: (2001)

Lengauer, T.: Bioinformatik an der Schwelle zur postgenomischen Ära. In: Was wissen wir, wenn wir das menschliche Genom kennen, S. 56 - 62 (Hg. Honnefelder, L.; Propping, P.). Dumont, Köln (2001)

Mehlhorn, K.: From Algorithm to Program to Software Library. In: Informatics: 10 years back, 10 years ahead, S. 268 - 273 (Hg. Wilhelm, R.). Springer, Berlin, Germany (2001)

Mehlhorn, K.; Schirra, S.: Exact Computation with leda_real - Theory and Geometric Applications. In: Symbolic Algebraic Methods and Verification Methods, S. 163 - 172 (Hg. Alefeld, G.; Rohn, J.; Rump, S. M.; Yamamoto, T.). Springer, Berlin (2001)

Myszkowski, K.: Chapter 6: Applications in Rendering and Animation. In: ACM Siggraph 2001, Course Notes: Seeing is Believing: Reality Perception in Modeling, Rendering and Animation, S. 1 - 52 (Hg. McNamara, A.; Chalmers, A.). ACM Siggraph, New York, USA (2001)

Nonnengart, A.; Ohlbach, H. J.; Gabbay, D. M.: Encoding two-valued non-classical logics in classic logic. In: Handbook of Automated Reasoning, Bd. 2, S. 1403 - 1486 (Hg. Robinson, A.; Voronkov, A.). Elsevier, Amsterdam, the Netherlands (2001)

Nonnengart, A.; Weidenbach, C.: Computing small clause normal forms. In: Handbook of Automated Reasoning, Bd. 1, S. 335 - 367 (Hg. Robinson, A.; Voronkov, A.). Elsevier, Amsterdam (2001)

Schiele, B.; Starner, T.; Pentland, A.; Rhodes, B. J.; Clarkson, B.: Situation Aware Computing with Wearable Computers. In: Fundamentals of Wearable Computers and Augmented Reality, S. 511 - 538 (Hg. Barfield, W.; Caudell, T.). Erlbaum, Mahwah, NJ (2001)

Weidenbach, C.: Combining Superposition, Sorts and Splitting. In: Handbook of Automated Reasoning, Bd. 1, S. 1965 - 2013 (Hg. Robinson, A.; Voronkov, A.). Elsevier, Amsterdam (2001)

de Nivelle, H.; Schulz, S. (Hg.): Proceedings of the 2nd International Workshop on the Implementation of Logics. Untitled Event, Havanna, Cuba, 08. Dezember 2001. Max-Planck-Institut für Informatik, Saarbrücken, Germany (2001)