Beerenwinkel, N.; Lengauer, T.; Schmidt, B.; Walter, H.; Kaiser, R.; Hoffmann, D.; Korn, K.; Selbig, J.: Quantitative phenotype prediction by support vector machines. In: Proceedings from the 5th International Workshop on HIV Drug resistance & Treatment Strategies, p. 74 - 74. Workshop on HIV Drug resistance & Treatment Strategies, Scotsdale, Arizona, June 04, 2001 - June 08, 2001. International Medical Press, London, UK (2002)

Beier, R.; Sanders, P.; Sivadasan, N.: Energy Optimal Routing in Radio Networks Using Geometric Data Structures. In: Automata, Languages and Programming: 29th International Colloquium, ICALP 2002, pp. 366 - 376. ICALP 2002, Málaga, Spain, July 08, 2002 - July 13, 2002. Springer, Berlin, Germany (2002)

Bekaert, P.; Sbert, M.; Halton, J.: Accelerating Path Tracing by re-using Paths. In: Rendering Techniques 2002, pp. 124 - 135. Rendering Techniques 2002, Pisa, Italy, June 26, 2002 - June 28, 2002. Eurographics, Aire-la-Ville, Switzerland (2002)

Berberich, E.; Eigenwillig, A.; Hemmer, M.; Hert, S.; Mehlhorn, K.; Schömer, E.: A Computational Basis for Conic Arcs and Boolean Operations on Conic Polygons. In: Algorithms - ESA 2002: 10th Annual European Symposium, pp. 174 - 186. ESA 2002, Rome, Italy, September 17, 2002 - September 21, 2002. Springer, Berlin, Germany (2002)

Blanchet, B.: From Secrecy to Authenticity in Security Protocols. In: Static Analysis, 9th International Symposium, SAS 2002, pp. 342 - 359 (Eds. Hermenegildo, M.; Puebla, G.). SAS 2002, Madrid, Spain, September 17, 2002 - September 20, 2002. Springer, Berlin, Germany (2002)

Boros, E.; Elbassioni, K. M.; Khachiyan, L.; Gurvich, V.: Matroid Intersections, Polymatroid Inequalities, and Related Problems. In: Mathematical Foundations of Computer Science 2002, pp. 143 - 154. MFCS 2002, Warsaw, Poland, August 26, 2002 - August 30, 2002. Springer, Berlin (2002)

Bozinov, D.; Rahnenführer, J.; Burson, C.; Spiegelstein, O.: Automated Grid Alignment for High-Throughput Analysis of Microarray Images (CIIST-02). In: Proceedings of the 2002 International Conference on Imaging Science, Systems, and Technology, pp. 161 - 167. CISST 2002, Las Vegas, USA, June 24, 2002 - June 27, 2002. CSREA Press, USA (2002)

Brabec, S.; Annen, T.; Seidel, H.-P.: Shadow Mapping for Hemispherical and Omnidirectional Light Sources. In: Advances in Modelling, Animation and Rendering (Proceedings Computer Graphics International 2002), pp. 397 - 408. Proceedings Computer Graphics International, Bradford, UK, July 01, 2002. Springer, London, UK (2002)

Brabec, S.; Seidel, H.-P.: Single Sample Soft Shadows Using Depth Maps. In: Proceedings of Graphics Interface 2002, pp. 219 - 228 (Eds. McCool, M.; Stürzlinger, W.). Graphics Interface 2002, Calgary, Canada, May 27, 2002 - May 29, 2002. A K Peters, Natick, USA (2002)

Burkhardt, S.; Kärkkäinen, J.: One-Gapped q-Gram Filters for Levenshtein Distance. In: Combinatorial Pattern Matching: 13th Annual Symposium, CPM 2002, pp. 225 - 234. CPM 2002, Fukuoka, Japan, July 03, 2002 - July 05, 2002. Springer, Berlin, Germany (2002)

Cakmakci, O.; Coutaz, J.; Van Laerhoven, K.; Gellersen, H.-W.: Context awareness in Systems with Limited Resources. In: Notes of the ECAI-Workshop on Artificial Intelligence in Mobile Systems. 3rd Workshop on Artificial Intelligence in Mobile Systems, Lyon, France, July 22, 2002 - July 23, 2002. (2002)

Charatonik, W.; Amadio, R.: On Name Generation and Set-Based Analysis in the Dolev-Yao Model. In: CONCUR 2002 - Concurrency Theory. 13th International Conference, pp. 499 - 514. CONCUR 2002, Brno, Czech Republic, August 20, 2002 - August 23, 2002. Springer, Berlin, Germany (2002)

Charatonik, W.; Gordon, A. D.; Talbot, J.-M.: Finite-Control Mobile Ambients. In: Programming languages and systems: 11th European Symposium on Programming, ESOP 2002. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, pp. 295 - 313. ETAPS 2002, Grenoble, France, April 08, 2002 - April 12, 2002. Springer, Berlin, Germany (2002)

Charatonik, W.; Mukhopadhyay, S.; Podelski, A.: Compositional Termination Analysis of Symbolic Forward Analysis. In: Verification, Model Checking, and Abstract Interpretation. Third International Workshop, VMCAI 2002, pp. 109 - 125. VMCAI 2002, Venice, Italy, January 21, 2002. Springer, Berlin, Germany (2002)

Charatonik, W.; Mukhopadhyay, S.; Podelski, A.: Constraint-Based Infinite Model Checking and Tabulation for Stratified CLP. In: Logic Programming. 18th International Conference, ICLP 2002, pp. 115 - 129. ICLP 2002, Copenhagen, Denmark, July 29, 2002. Springer, Berlin, Germany (2002)

Charatonik, W.; Talbot, J.-M.: Atomic Set Constraints with Projection. In: Rewriting Techniques and Applications. 13th International Conference, RTA 2002, pp. 311 - 325. RTA 2002, Copenhagen, Denmark, July 22, 2002 - July 24, 2002. Springer, Berlin, Germany (2002)

Choi, S. W.; Seidel, H.-P.: Linear One-sided Stability of MAT for Weakly Injective 3D Domain. In: Proceedings of the Seventh ACM Symposium on Solid Modeling and Applications, pp. 344 - 355. Seventh ACM Symposium on Solid Modeling and Applications, Saarbrücken, Germany, June 17, 2002 - June 21, 2002. ACM, New York, NY (2002)

Csaba, B.; Krysta, P.; Karpinski, M.: Approximability of Dense and Sparse Instances of Minimum 2-Connectivity, TSP and Path Problems. In: Proceedings of the Thirteenth Annual ACM-SIAM Symposium on Discrete Algorithms (SODA-02), pp. 74 - 83. SODA 2002, San Francisco, CA, USA, January 06, 2002 - January 08, 2002. ACM, New York, USA (2002)

Czumaj, A.; Krysta, P.; Vöcking, B.: Selfish Traffic Allocation for Server Farms. In: Proceedings of the 34th ACM Symposium on Theory of Computing (STOC-02), pp. 287 - 296. STOC 2002, Montreal, Canada, May 19, 2002 - May 21, 2002. ACM, New York, USA (2002)

Czumaj, A.; Vöcking, B.: Tight bounds for worst-case equilibria. In: Proceedings of the Thirteenth Annual ACM-SIAM Symposium on Discrete Algorithms (SODA-02), pp. 413 - 420. SODA 2002, San Francisco, USA, January 06, 2002 - January 08, 2002. ACM, New York, USA (2002)