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

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

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

Schiele, B.; Sagerer, G. (Hg.): Computer Vision Systems (Lecture Notes in Computer Science, 2095). Second International Workshop on Computer Vision Systems, Vancouver, Canada, 07. Juli 2001 - 08. Juli 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 (Hg. Devy, M.). Ninth International Symposium on Intelligent Robotic Systems, Toulouse, France, 18. Juli 2001 - 20. Juli 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), S. 309 - 319 (Hg. 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, S. 815 - 824. 12th Annual ACM-SIAM Symposium on Discrete Algorithms, Washington DC, USA, 07. Januar 2001. ACM, New York, NY (2001)

Antifakos, S.; Schiele, B.: Beyond Position Awareness. In: Location Modeling for Ubiquitous Computing (Hg. Beigl, M.; Gray, P.; Salber, D.). Location Modeling for Ubiquitous Computing, Atlanta, GA, USA, 30. September 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), S. 471 - 482 (Hg. 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), S. 160 - 170 (Hg. 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, S. 63‒73 (Hg. Näher, S.; Wagner, D.). 4th Workshop On Algorithm Engineering, Saarbrücken, 05. September 2000 - 08. September 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), S. 268 - 283 (Hg. 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, S. 257 - 264 (Hg. Ertl, T.; Girod, B.; Greiner, G.; Niemann, H.; Seidel, H.-P.). 6th International Fall Workshop on Vision, Modeling, and Visualization, Stuttgart, Germany, 21. November 2001 - 23. November 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), S. 392 - 407 (Hg. Walsh, T.). Untitled Event, Paphos, Cyprus, 07. Januar 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, S. 92 - 103. Untitled Event, Heraklion, Crete, Greece, 08. Juli 2001 - 12. Juli 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, S. 209 - 214 (Hg. Ip, H. H.-S.; Magnenat-Thalmann, N.; Lau, R. W. H.; Chua, T.-S.). Computer Graphics International Conference 2001, Hong Kong, China, 06. Juli 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, S. 73 - 85 (Hg. 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), S. 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), S. 152 - 167 (Hg. Honsell, F.; Miculan, M.). Untitled Event, Genova, Italy, 14. Mai 2003 - 18. Mai 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, S. 339 - 354 (Hg. Fribourg, L.). Untitled Event, Paris, France, 14. Mai 2003 - 18. Mai 2003. Springer, Berlin, Germany (2001)