Waldmann, U.: Cancellative Abelian Monoids and Related Structures in Refutational Theorem Proving (Part I). Journal of Symbolic Computation 33, pp. 777 - 829 (2002)

Waldmann, U.: Cancellative Abelian Monoids and Related Structures in Refutational Theorem Proving (Part II). Journal of Symbolic Computation 33, pp. 831 - 861 (2002)

Wellington, C. L.; Yang, Y.-Z.; Zhou, S.; Clee, S. M.; Tan, B.; Hirano, K.; Zwarts, K. Y.; Kwok, A.; Gelfer, A.; Marcil, M. et al.; Newman, S.; Roomp, K.; Singaraja, R.; Collins, J. A.; Zhang, L.-H.; Groen, A. K.; Hovingh, K.; Brownlie, A.; Tafuri, S.; Genest, J. J.; Kastelein, J. J. P.; Hayden, M. R.: Truncation Mutations in ABCA1 Suppress Normal Upregulation of Full-length ABCA1 by 9-cis-retinoic acid and 22-R-hydroxycholesterol. Journal of Lipid Research 43 (11), pp. 1939 - 1949 (2002)

Wendt, U.; Lange, K.; Smid, M.; Ray, R.; Tönnies, K.-D.: Surface Topography Quantification by Integral and Feature-related Parameters. Materialwissenschaft und Werkstofftechnik 33, pp. 621 - 627 (2002)

Xia, B.; Yang, L.: An Algorithm for Isolating the Real Solutions of Semi-algebraic Systems. Journal of Symbolic Computation 34, pp. 461 - 477 (2002)

Yagou, H.; Belyaev, A.; Wei, D.: Shape Deblurring with Unsharp Masking Applied to Mesh Normals. The Journal of three Dimensional Images 16, pp. 79 - 84 (2002)

Zwarts, K.Y.; Clee, S. M.; Zwinderman, A.H.; Engert, J.C.; Singaraja, R.; Loubser, O.; James, E.; Roomp, K.; Hudson, T.J.; Jukema, J.W. et al.; Kastelein, J.J.P.; Hayden, M. R.: ABCA1 Regulatory Variants Influence Coronary Artery Disease Independent of Effects on Plasma Lipid Levels. Clinical Genetics 61 (2), pp. 115 - 125 (2002)

Bader, D.; Moret, B.; Sanders, P.: Algorithm Engineering for Parallel Computation. In: Experimental Algorithmics, Vol. 2547, pp. 1 - 23 (Eds. Fleischer, R.; Moret, B.; Meineche Schmidt, E.). Springer, Berlin, Germany (2002)

Basin, D. A.; Matthews, S.: Logical Frameworks. In: Handbook of Philosophical Logic, Vol. 9, pp. 89 - 164 (Eds. Gabbay, D.; Guenthner, F.). Reidel, Dordrecht, The Netherlands (2002)

Blanchet, B.; Cousot, P.; Cousot, R.; Feret, J.; Mauborgne, L.; Miné, A.; Monniaux, D.; Rival, X.: Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software, invited chapter. In: The Essence of Computation: Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones, pp. 85 - 108 (Eds. Mogensen, T.; Schmidt, D. A.; Sudborough, I. H.). Springer, Berlin, Germany (2002)

Lensch, H. P. A.: Measuring spatial variation with complex BRDFs. In: Acquiring Material Models Unsing Inverse Rendering (Course 39), Vol. 39, pp. 80 - 113 (Eds. Marschner, S.; Ramamoorthi, R.). ACM SIGGRAPH, New York, USA (2002)

McGeoch, C.; Sanders, P.; Fleischer, R.; Cohen, P. R.; Precup, D.: Using Finite Experiments to Study Asymptotic Performance. In: Experimental Algorithmics, Vol. 2547, pp. 93 - 126 (Eds. Fleischer, R.; Moret, B.; Meineche Schmidt, E.). Springer, Berlin, Germany (2002)

Sanders, P.: Presenting Data from Experiments in Algorithmics. In: Experimental Algorithmics, Vol. 2547, pp. 181 - 196 (Eds. Fleischer, R.; Moret, B.; Meineche Schmidt, E.). Springer, Berlin, Germany (2002)

Zeilfelder, F.; Seidel, H.-P.: Splines over Triangulations. In: The Handbook of Computer Aided Geometric Design, pp. 701 - 722 (Eds. Farin, G.; Hoschek, J.; Kim, M.-S.; Abma, D.). Elsevier, Amsterdam, the Netherlands (2002)

Drettakis, G.; Seidel, H.-P. (Eds.): EUROGRAPHICS 2002. Untitled Event, Saarbrücken, Germany, September 02, 2002 - September 06, 2002. Blackwell, Oxford, UK (2002), 656 pp.

Schömer, E.; Reichel, J.; Warken, T.; Lennerz, C. (Eds.): 7th ACM Symposium on Solid Modeling and Applications; Tutorial T1: Geometric Algorithms for Planning and Simulation Tasks in Virtual Prototyping. 7th ACM Symposium on Solid Modeling and Applications, Saarbrücken, Germany, June 17, 2002 - June 21, 2002. Max-Planck-Institut für Informatik, Saarbrücken (2002), 175 pp.

Goesele, M.; Kautz, J.; Lang, J.; Lensch, H. P. A.; Seidel, H.-P. (Eds.): 7th ACM Symposium on Solid Modeling and Applications; Tutorial T2: A Framework for the Acquisition, Processing and Interactive Display of High Quality 3D Models. Untitled Event, Saarbrücken, Germany, June 17, 2002 - June 21, 2002. Max-Planck-Institut für Informatik, Saarbrücken, Germany (2002), 51 pp.

Greiner, G.; Niemann, H.; Ertl, T.; Girod, B.; Seidel, H.-P. (Eds.): Proceedings of Vision, Modeling, and Visualization VMV 2002. Untitled Event, Erlangen, Germany, November 20, 2002 - November 22, 2002. Akademische Verlagsgesellschaft Aka GmbH, Berlin, Germany (2002), 533 pp.

Haber, J.; Magnenat-Thalmann, N.; Terzopoulos, D.; Vetter, T.; Blanz, V.; Kähler, K. (Eds.): Facial Modeling and Animation -- Eurographics 2002 Tutorial Notes. Untitled Event, Saarbrücken, Germany, September 02, 2002. The Eurographics Association, Aire-la-Ville, Switzerland (2002), 656 pp.

Hauth, M.; Etzmuss, O.; Eberhardt, B.; Klein, R.; Sarlette, R.; Sattler, M.; Daubert, K.; Kautz, J. (Eds.): Cloth Animation and Rendering -- Eurographics 2002 Tutorial Notes. Untitled Event, Saarbrücken, Germany, September 02, 2002. The Eurographics Association, Aire-la-Ville, Switzerland (2002), 656 pp.