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, S. 74 - 74. Workshop on HIV Drug resistance & Treatment Strategies, Scotsdale, Arizona, 04. Juni 2001 - 08. Juni 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, S. 366 - 376. ICALP 2002, Málaga, Spain, 08. Juli 2002 - 13. Juli 2002. Springer, Berlin, Germany (2002)

Bekaert, P.; Sbert, M.; Halton, J.: Accelerating Path Tracing by re-using Paths. In: Rendering Techniques 2002, S. 124 - 135. Rendering Techniques 2002, Pisa, Italy, 26. Juni 2002 - 28. Juni 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, S. 174 - 186. ESA 2002, Rome, Italy, 17. September 2002 - 21. September 2002. Springer, Berlin, Germany (2002)

Blanchet, B.: From Secrecy to Authenticity in Security Protocols. In: Static Analysis, 9th International Symposium, SAS 2002, S. 342 - 359 (Hg. Hermenegildo, M.; Puebla, G.). SAS 2002, Madrid, Spain, 17. September 2002 - 20. September 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, S. 143 - 154. MFCS 2002, Warsaw, Poland, 26. August 2002 - 30. August 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, S. 161 - 167. CISST 2002, Las Vegas, USA, 24. Juni 2002 - 27. Juni 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), S. 397 - 408. Proceedings Computer Graphics International, Bradford, UK, 01. Juli 2002. Springer, London, UK (2002)

Brabec, S.; Seidel, H.-P.: Single Sample Soft Shadows Using Depth Maps. In: Proceedings of Graphics Interface 2002, S. 219 - 228 (Hg. McCool, M.; Stürzlinger, W.). Graphics Interface 2002, Calgary, Canada, 27. Mai 2002 - 29. Mai 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, S. 225 - 234. CPM 2002, Fukuoka, Japan, 03. Juli 2002 - 05. Juli 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, 22. Juli 2002 - 23. Juli 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, S. 499 - 514. CONCUR 2002, Brno, Czech Republic, 20. August 2002 - 23. August 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, S. 295 - 313. ETAPS 2002, Grenoble, France, 08. April 2002 - 12. April 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, S. 109 - 125. VMCAI 2002, Venice, Italy, 21. Januar 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, S. 115 - 129. ICLP 2002, Copenhagen, Denmark, 29. Juli 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, S. 311 - 325. RTA 2002, Copenhagen, Denmark, 22. Juli 2002 - 24. Juli 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, S. 344 - 355. Seventh ACM Symposium on Solid Modeling and Applications, Saarbrücken, Germany, 17. Juni 2002 - 21. Juni 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), S. 74 - 83. SODA 2002, San Francisco, CA, USA, 06. Januar 2002 - 08. Januar 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), S. 287 - 296. STOC 2002, Montreal, Canada, 19. Mai 2002 - 21. Mai 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), S. 413 - 420. SODA 2002, San Francisco, USA, 06. Januar 2002 - 08. Januar 2002. ACM, New York, USA (2002)