Berman, P.; Krysta, P.: Optimizing Misdirection. In: Proceedings of the 14th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA-03), pp. 192 - 201. SODA 2003, Baltimore, USA, January 12, 2003 - January 14, 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), pp. 1 - 3. Untitled Event, Uppsala, Sweden, August 27, 2003 - August 29, 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), pp. 188 - 204 (Ed. Saraswat, V.). Untitled Event, Mumbai, India, December 10, 2003 - December 13, 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), pp. 196 - 207. PLDI 2003, San Diego, USA, June 09, 2003 - May 11, 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, pp. 136 - 152 (Ed. Gordon, A. D.). FOSSACS 2003, Warsaw, Poland, April 07, 2003 - April 11, 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, pp. 641 - 650. EUROGRAPHICS 2003, Granada, Spain, June 16, 2004. Blackwell, Oxford, UK (2003)

Bogaevski, I.; Lang, V.; Belyaev, A.; Kunii, T.: Color ridges on implicit polynomial surfaces. In: Proceedings GraphiCon 2003, pp. 161 - 164. GraphiCon 2003, Moscow, Russia, September 05, 2003 - September 10, 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, pp. 485 - 494. ISAAC 2003, Kyoto, Japan, December 15, 2003 - December 17, 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, pp. 543 - 555. ICALP 2003, Eindhoven, The Netherlands, June 30, 2003 - July 04, 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, pp. 556 - 567. ESA 2003, Budapest, Hungary, September 16, 2003 - September 19, 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, pp. 55 - 69. Untitled Event, Morelia, Michoacán, Mexico, June 25, 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), pp. 569 - 577 (Ed. Hodgins, J. K.). ACM SIGGRAPH 2003, San Diego, USA, July 27, 2003 - July 31, 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, pp. 385 - 393. COCOON 2003, Big Sky, USA, July 25, 2003 - July 28, 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), pp. 420 - 429. SCG 2003 , San Diego, USA, June 08, 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, pp. 69 - 83. Workshop on the Implementation of Logics, Almaty, Kazachstan, September 26, 2003. University of Liverpool, University of Manchester, Liverpool, UK (2003)

de Nivelle, H.: Translation of Resolution Proofs into Short First-Order Proofs without Choice Axioms. In: Automated deduction, CADE-19: 19th International Conference on Automated Deduction, pp. 365 - 379. CADE 2003, Miami, USA, July 28, 2003 - August 02, 2003. Springer, Berlin, Germany (2003)

de Nivelle, H.; Demri, S.: Deciding Modal Logics through Relational Translations into GF2. In: Proceedings of the 3rd Methods for Modalities Workshop, pp. 15 - 30. M4M 2003, Nancy, France, September 22, 2003 - September 23, 2003. Loria, Nancy, France (2003)

Dementiev, R.; Sanders, P.: Asynchronous Parallel Disk Sorting. In: Proceedings of the 15th ACM Symposium on Parallel Algorithms and Architectures (SPAA-03), pp. 138 - 148. SPAA 2003, San Diego, USA, January 15, 2004 - January 18, 2004. ACM, New York, USA (2003)

Denny, M.: Solving geometric optimization problems using graphics hardware. In: EUROGRAPHICS 2003: the European Association for Computer Graphics 24th Annual Conference, pp. 441 - 451. EUROGRAPHICS 2003, Granada, Spain, September 01, 2003. Blackwell, Oxford, UK (2003)

Dewes, C.; Wichmann, A.; Feldmann, A.: An Analysis of Internet Chat Systems. In: Proceedings of the 3rd ACM SIGCOMM Internet Measurement Conference, pp. 51 - 64. 3rd ACM SIGCOMM Internet Measurement Conference,, Miami, FL, USA, October 27, 2003 - October 29, 2003. ACM, NewYork, NY (2003)