Beerenwinkel, N.; Däumer, M.; Kaiser, R.; Walter, H.; Korn, K.; Hoffmann, D.; Selbig, J.; Lengauer, T.: Estimating effective drug combinations against drug-resistant mutants from genotypes. In: Proceedings of the 1st European HIV Drug Resistance Workshop, S. 18 - 18. HIV Drug Resistance Workshop, Luxembourg, 06. März 2003 - 08. März 2003. European AIDS Clinical Society, Paris, France (2003)

Beerenwinkel, N.; Kaiser, R.; Rahnenführer, J.; Däumer, M.; Hoffmann, D.; Selbig, J.; Lengauer, T.: Tree models for the evolution of drug resistance. In: XII International HIV Drug resistance Workshop, S. S107 - S107. Untitled Event, Los Cabos, Mexico, 10. Juni 2003 - 14. Juni 2003. International Medical Press, London, UK (2003)

Beier, R.; Vöcking, B.: Random Knapsack in Expected Polynomial Time. In: Proceedings of the 35th Annual ACM Symposium on Theory of Computing (STOC-03), S. 232 - 241. STOC 2003, San Diego, USA, 09. Juni 2003 - 11. Juni 2003. ACM, New York, USA (2003)

Beldiceanu, N.; Carlsson, M.; Thiel, S.: Sweep Synchronization as a Global Propagation Mechanism. In: Fifth International Workshop on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, S. 139 - 152. CP-AI-OR 2003, Montreal, Canada, 08. Mai 2003 - 10. Mai 2003. Centre for Research on Transportation, Montreal, Canada (2003)

Belyaev, A.; Ohtake, Y.: A comparison of mesh smoothing methods. In: Israel-Korea Bi-National Conference on Geometric Modeling and Computer Graphics, S. 83 - 87. Conference on Geometric Modeling and Computer Graphics, Tel-Aviv, Israel, 14. Februar 2003. Tel Aviv University, Tel Aviv, Israel (2003)

Berman, P.; Krysta, P.: Optimizing Misdirection. In: Proceedings of the 14th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA-03), S. 192 - 201. SODA 2003, Baltimore, USA, 12. Januar 2003 - 14. Januar 2003. ACM, New York, USA (2003)

Blanchet, B.: Automatic Verification of Cryptographic Protocols: A Logic Programming Approach. In: Proceedings of the Fifth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP-03), S. 1 - 3. Untitled Event, Uppsala, Sweden, 27. August 2003 - 29. August 2003. ACM, New York, USA (2003)

Blanchet, B.; Aziz, B.: A Calculus for Secure Mobility. In: Advances in computing science, ASIAN 2003: programming languages and distributed computation ; 8th Asian Computing Science Conference (ASIAN'03), S. 188 - 204 (Hg. Saraswat, V.). Untitled Event, Mumbai, India, 10. Dezember 2003 - 13. Dezember 2003. Springer, Berlin, Germany (2003)

Blanchet, B.; Cousot, P.; Cousot, R.; Feret, J.; Mauborgne, L.; Miné, A.; Monniaux, D.; Rival, X.: A Static Analyzer for Large Safety-Critical Software. In: Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation (PLDI-03), S. 196 - 207. PLDI 2003, San Diego, USA, 09. Juni 2003 - 11. Mai 2003. ACM, New York, USA (2003)

Blanchet, B.; Podelski, A.: Verification of Cryptographic Protocols: Tagging Enforces Termination. In: Foundations of software science and computation structures: 6th International Conference, FOSSACS 2003, S. 136 - 152 (Hg. Gordon, A. D.). FOSSACS 2003, Warsaw, Poland, 07. April 2003 - 11. April 2003. Springer, Berlin, Germany (2003)

Blanz, V.; Basso, C.; Vetter, T.; Poggio, T.: Reanimating Faces in Images and Video. In: EUROGRAPHICS 2003 (EUROGRAPHICS-03): the European Association for Computer Graphics, 24th Annual Conference, S. 641 - 650. EUROGRAPHICS 2003, Granada, Spain, 16. Juni 2004. Blackwell, Oxford, UK (2003)

Bogaevski, I.; Lang, V.; Belyaev, A.; Kunii, T.: Color ridges on implicit polynomial surfaces. In: Proceedings GraphiCon 2003, S. 161 - 164. GraphiCon 2003, Moscow, Russia, 05. September 2003 - 10. September 2003. Moscow State University, Moscow, Russia (2003)

Boros, E.; Elbassioni, K. M.; Gurvich, V.; Khachiyan, L.: Algorithms for Enumerating Circuits in Matroids. In: Algorithms and Computation, S. 485 - 494. ISAAC 2003, Kyoto, Japan, 15. Dezember 2003 - 17. Dezember 2003. Springer, Berlin (2003)

Boros, E.; Elbassioni, K. M.; Gurvich, V.; Khachiyan, L.; Makino, K.: An Intersection Inequality for Discrete Distributions and Related Generation Problems. In: Automata, Languages and Programming, S. 543 - 555. ICALP 2003, Eindhoven, The Netherlands, 30. Juni 2003 - 04. Juli 2003. Springer, Berlin (2003)

Boros, E.; Elbassioni, K. M.; Khachiyan, L.; Gurvich, V.: An Efficient Implementation of a Quasi-polynomial Algorithm for Generating Hypergraph Transversals. In: Algorithms - ESA 2003, S. 556 - 567. ESA 2003, Budapest, Hungary, 16. September 2003 - 19. September 2003. Springer, Berlin (2003)

Burkhardt, S.; Kärkkäinen, J.: Fast Lightweight Suffix Array Construction and Checking. In: Combinatorial Pattern Matching: 14th Annual Symposium, CPM 2003, S. 55 - 69. Untitled Event, Morelia, Michoacán, Mexico, 25. Juni 2003. Springer, Heidelberg, Germany (2003)

Carranza, J.; Theobalt, C.; Magnor, M.; Seidel, H.-P.: Free-viewpoint Video of Human Actors. In: Proceedings of ACM SIGGRAPH 2003 (SIGGRAPH-03), S. 569 - 577 (Hg. Hodgins, J. K.). ACM SIGGRAPH 2003, San Diego, USA, 27. Juli 2003 - 31. Juli 2003. ACM, New York, USA (2003)

Chandran, L. S.; Telikepalli, K.; Subramanian, C. R.: Isoperimetric Inequalities and the Width parameters of graphs. In: Computing and Combinatorics: 9th Annual International Conference, COCOON 2003, S. 385 - 393. COCOON 2003, Big Sky, USA, 25. Juli 2003 - 28. Juli 2003. Springer, Berlin, Germany (2003)

Cheng, S.-W.; Funke, S.; Golin, M. J.; Kumar, P.; Poon, S.-H.; Ramos, E. A.: Curve Reconstruction from Noisy Samples. In: Proceedings of the 19th Annual Symposium on Computational Geometry (SCG-03), S. 420 - 429. SCG 2003 , San Diego, USA, 08. Juni 2003. ACM, New York, USA (2003)

de Nivelle, H.: Implementing the clausal normal form transformation with proof generation. In: Fourth Workshop on the Implementation of Logics, S. 69 - 83. Workshop on the Implementation of Logics, Almaty, Kazachstan, 26. September 2003. University of Liverpool, University of Manchester, Liverpool, UK (2003)