Ertl, T.; Girod, B.; Greiner, G.; Niemann, H.; Seidel, H.-P. (Eds.): Vision, Modeling and Visualization 2001 (VMV-2001). 6th International Fall Workshop on Vision, Modeling, and Visualization, Stuttgart, Germany, November 21, 2001 - November 23, 2001. Akademische Verlagsgesellschaft Aka, Berlin, Germany (2001), 532 pp.

Gortler, S.; Myszkowski, K. (Eds.): Rendering Techniques 2001: Proceedings of the 12th Eurographics Workshop on Rendering. Untitled Event, University College London, 2001. Springer, Wien (2001), 1-347 p.

Reif, U.; Kobbelt, L. (Eds.): Subdivision algorithms [Sudivision Workshop at Schloss Dagstuhl]. Untitled Event, Dagstuhl, Germany, 2001. Elsevier, Amsterdam, The Netherlands (2001), 381-502 pp.

Schiele, B.; Sagerer, G. (Eds.): Computer Vision Systems (Lecture Notes in Computer Science, 2095). Second International Workshop on Computer Vision Systems, Vancouver, Canada, July 07, 2001 - July 08, 2001. Springer, Berlin (2001)

Kruppa, H.; Spengler, M.; Schiele, B.: Context‐driven Model Switching for Visual Tracking. In: 9th International Symposium on Intelligent Robotic Systems (Ed. Devy, M.). Ninth International Symposium on Intelligent Robotic Systems, Toulouse, France, July 18, 2001 - July 20, 2001. (2001)

Afshordel, B.; Hillenbrand, T.; Weidenbach, C.: First-Order Atom Definitions Extended. In: Proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-2001), pp. 309 - 319 (Eds. Nieuwenhuis, R.; Voronkov, A.). Untitled Event, Havanna, Cuba, 2001. Springer, Berlin, Germany (2001)

Althaus, E.; Duchier, D.; Koller, A.; Mehlhorn, K.; Niehren, J.; Thiel, S.: An Efficient Algorithm for the Configuration Problem of Dominance Graphs. In: SODA '01, pp. 815 - 824. 12th Annual ACM-SIAM Symposium on Discrete Algorithms, Washington DC, USA, January 07, 2001. ACM, New York, NY (2001)

Antifakos, S.; Schiele, B.: Beyond Position Awareness. In: Location Modeling for Ubiquitous Computing (Eds. Beigl, M.; Gray, P.; Salber, D.). Location Modeling for Ubiquitous Computing, Atlanta, GA, USA, September 30, 2001. (2001)

Arge, L.; Meyer, U.; Toma, L.; Zeh, N.: On External-Memory Planar Depth First Search. In: Proceedings of the 7th International Workshop on Algorithms and Data Structures (WADS-01), pp. 471 - 482 (Eds. Dehne, F.; Sack, J.-R.; Tamassia, R.). Untitled Event, Providence, Rhode Island, USA. Springer, Berlin, Germany (2001)

Argon, P.; Delzanno, G.; Mukhopadhyay, S.; Podelski, A.: Model Checking for Communication Protocols. In: Proceedings of the 28th Annual Conference on Current Trends in Theory and Practice of Informatics (SOFSEM-2001), pp. 160 - 170 (Eds. Pacholski, L.; Ruzicka, P.). Untitled Event, Piestany, Slovak Republic, 2001. Springer, Berlin, Germany (2001)

Backes, W.; Wetzel, S.: Lattice Basis Reduction with Dynamic Approximation. In: Algorithm Engineering, p. 63‒73 (Eds. Näher, S.; Wagner, D.). 4th Workshop On Algorithm Engineering, Saarbrücken, September 05, 2000 - September 08, 2000. Springer, Berlin (2001)

Ball, T.; Podelski, A.; Rajamani, S. K.: Boolean and Cartesian Abstraction for Model Checking C Programs. In: Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS-2001), pp. 268 - 283 (Eds. Margaria, T.; Yi, W.). Untitled Event, Genova, Italy, 2001. Springer, Berlin, Germany (2001)

Bekaert, P.; Seidel, H.-P.: A Theoretical Comparison of Monte Carlo Radiosity Algorithms. In: Vision, Modeling and Visualization 2001, pp. 257 - 264 (Eds. Ertl, T.; Girod, B.; Greiner, G.; Niemann, H.; Seidel, H.-P.). 6th International Fall Workshop on Vision, Modeling, and Visualization, Stuttgart, Germany, November 21, 2001 - November 23, 2001. Akademische Verlagsgesellschaft Aka, Berlin, Germany (2001)

Beldiceanu, N.; Guo, Q.; Thiel, S.: Non-overlapping Constraints between Convex Polytopes. In: Proceedings of the 7th International Symposium on Principles and Practice of Constraint Programming (CP-01), pp. 392 - 407 (Ed. Walsh, T.). Untitled Event, Paphos, Cyprus, January 07, 2004. Springer, Berlin, Germany (2001)

Boros, E.; Elbassioni, K. M.; Khachiyan, L.; Gurvich, V.; Makino, K.: On Generating All Minimal Integer Solutions for a Monotone System of Linear Inequalities. In: Automata, Languages and Programming, 28th International Colloquium, ICALP 2001, pp. 92 - 103. Untitled Event, Heraklion, Crete, Greece, July 08, 2001 - July 12, 2001. Springer, Berlin, Germany (2001)

Brabec, S.; Seidel, H.-P.: Hardware-accelerated Rendering of Antialiased Shadows with Shadow Maps. In: Proceedings Computer Graphics International 2001, pp. 209 - 214 (Eds. Ip, H. H.-S.; Magnenat-Thalmann, N.; Lau, R. W. H.; Chua, T.-S.). Computer Graphics International Conference 2001, Hong Kong, China, July 06, 2001. IEEE, Los Alamitos, USA (2001)

Burkhardt, S.; Kärkkäinen, J.: Better Filtering with Gapped q-Grams. In: Proceedings of the 12th Annual Symposium on Combinatorial Pattern Matching, pp. 73 - 85 (Eds. Amir, A.; Landau, G.). Untitled Event, Jerusalem, Israel, 2001. Springer, Berlin, Germany (2001)

Burnikel, C.; Funke, S.; Mehlhorn, K.; Schirra, S.; Schmitt, S.: A Separation Bound for Real Algebraic Expressions. In: Proceedings of the 9th Annual European Symposium on Algorithms (ESA-01), pp. 254 - 265. Untitled Event, Aarhus, Denmark. Springer, Berlin, Germany (2001)

Charatonik, W.; Dal Zilio, S.; Gordon, A. D.; Mukhopadhyay, S.; Talbot, J.-M.: The Complexity of Model Checking Mobile Ambients. In: Foundations of Software Science and Computation Structures. Proceedings of the 4th International Conference (FOSSACS-01). Held as Part of the Joint European Conferences on Theory and Practice of Software (ETAPS-01), pp. 152 - 167 (Eds. Honsell, F.; Miculan, M.). Untitled Event, Genova, Italy, May 14, 2003 - May 18, 2003. Springer, Berlin, Germany (2001)

Charatonik, W.; Talbot, J.-M.: The Decidability of Model Checking Mobile Ambients. In: Computer science logic (CSL-01): 15th International Workshop, CSL 2001, Annual Conference of the EACSL, pp. 339 - 354 (Ed. Fribourg, L.). Untitled Event, Paris, France, May 14, 2003 - May 18, 2003. Springer, Berlin, Germany (2001)