Baumgartner, P.; Furbach, U.; Gross-Hardt, M.; Kleemann, T.: Model Based Deduction for Database Schema Reasoning. In: KI 2004: Advances in Artificial Intelligence: 27th Annual German Conference on AI, KI 2004, pp. 168 - 182. Untitled Event, Ulm, Germany, September 20, 2004. Springer, Berlin, Germany (2004)

Baumgartner, P.; Mediratta, A.: Improving Stable Models Based Planning by Bidirectional Search. In: Proceedings of the 5th International Conference on Knowledge Based Computer Systems (KBCS 2004), pp. 404 - 413. Untitled Event, Hyderabad, India, December 19, 2004. ALLIED, New Delhi (2004)

Becker, B.; Behle, M.; Eisenbrand, F.; Fränzle, M.; Herbstritt, M.; Herde, C.; Hoffmann, J.; Kröning, D.; Nebel, B.; Polian, I. et al.; Wimmer, R.: Bounded Model Checking and Inductive Verification of Hybrid Discrete-continuous Systems. In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, pp. 65 - 75. 7. GIT/ITG/GMM-Workshop Modellierung und Verifikation, Kaiserslautern, Germany, February 08, 2004. Shaker, Aachen (2004)

Beerenwinkel, N.; Rahnenführer, J.; Däumer, M.; Hoffmann, D.; Kaiser, R.; Selbig, J.; Lengauer, T.: Learning multiple evolutionary pathways from cross-sectional data. In: RECOMB 2004: proceedings of the Eighth Annual International Conference on Research in Computational Molecular Biology, pp. 36 - 44. Untitled Event, San Diego, USA, March 27, 2004. ACM, New York (2004)

Beier, R.; Krysta, P.; Czumaj, A.; Vöcking, B.: Computing Equilibria for Congestion Games with (Im)perfect Information. In: Proceedings of the Fifteenth Annual ACM-SIAM Symposium on Discrete Algorithms (SODA-04), pp. 739 - 748. Untitled Event, New Orleans, USA, January 11, 2004. ACM, New York, USA (2004)

Beier, R.; Vöcking, B.: Probabilistic Analysis of Knapsack Core Algorithms. In: Proceedings of the Fifteenth Annual ACM-SIAM Symposium on Discrete Algorithms (SODA-04), pp. 461 - 470. Untitled Event, New Orleans, USA, January 11, 2004. ACM, New York, USA (2004)

Beier, R.; Vöcking, B.: Typical Properties of Winners and Losers in Discrete Optimization. In: Proceedings of the 36th Annual ACM Symposium on Theory of Computing (STOC-04), pp. 343 - 352. Untitled Event, Chicago, USA, June 13, 2004. ACM, New York, USA (2004)

Beldiceanu, N.; Katriel, I.; Thiel, S.: Filtering algorithms for the Same constraint. In: Integration of AI and OR techniques in constraint programming for combinatorial optimization problems: First International Conference, CPAIOR 2004, pp. 65 - 79. Untitled Event, Nice, France, April 20, 2004. Springer, Berlin, Germany (2004)

Bender, M.; Kraus, S.; Kupsch, F.; Shegalov, G.; Weikum, G.; Werth, D.; Zimmer, C.: Peer-to-Peer-Technologie für unternehmensweites und organisationsübergreifendes Workflow-Management. In: INFORMATIK 2004, Vol. 2, pp. 511 - 516. GI-Jahrestagung, Ulm, Germany, September 16, 2004 - September 20, 2004. Gesellschaft für Informatik, Bonn (2004)

Bender, M.; Michel, S.; Zimmer, C.; Weikum, G.: Bookmark-driven Query Routing in Peer-to-Peer Web Search. In: Proceedings of the SIGIR Workshop on Peer-to-Peer Information Retrieval: 27th Annual International ACM SIGIR Conference ; SIGIR 2004 P2PIR Workshop, pp. 1 - 12. Untitled Event, Sheffield, UK, July 25, 2004. Universität Duisburg-Essen, Duisburg, Germany (2004)

Bender, M.; Michel, S.; Zimmer, C.; Weikum, G.: Towards Collaborative Search in Digital Libraries Using Peer-to-Peer Technology. In: Digital library architectures: peer-to-peer, grid, and service-orientation, pre-proceedings of the 6th Thematic Workshop of the EU Network of Excellence (DELOS), Vol. 3664, pp. 61 - 72. Untitled Event, S. Margherita die Pula (Cagliari), Italy, June 24, 2004. Edizioni Progetto Padova, Padova, Italy (2004)

Benthin, C.; Wald, I.; Slusallek, P.: Interactive Ray Tracing of Free-Form Surfaces. In: Proceedings AFRIGRAPH 2004: 3rd International Conference on Virtual Reality, Computer Graphics, Visualisation and Interaction in Africa, pp. 99 - 106. Untitled Event, Stellenbosch, South Africa, October 03, 2004. ACM, New York, USA (2004)

Berberich, K.; Vazirgiannis, M.; Weikum, G.: T-Rank: Time-aware Authority Ranking. In: Algorithms and Models for the Web-graph: Third International Workshop, WAW 2004, pp. 131 - 142. Untitled Event, Rome, Italy, October 16, 2004. Springer, Berlin, Germany (2004)

Blanchet, B.: Automatic Proof of Strong Secrecy for Security Protocols. In: 2004 IEEE Symposium on Security and Privacy, pp. 86 - 100. S & P 2002, Oakland, USA, May 10, 2004 - May 12, 2004. IEEE, Piscataway, USA (2004)

Blanz, V.; Mehl, A.; Vetter, T.; Seidel, H.-P.: A Statistical Method for Robust 3D Surface Reconstruction from Sparse Data. In: Proceedings of the 2nd International Symposium on 3D Data Processing, Visualization, and Transmission, pp. 293 - 300 (Eds. Aloimonos, Y.; Taubin, G.). 2nd International Symposium on 3D Data Processing, Visualization, and Transmission, Thessaloniki, Greece, September 06, 2004 - September 09, 2004. IEEE, Los Alamitos, USA (2004)

Blanz, V.; Scherbaum, K.; Vetter, T.; Seidel, H.-P.: Exchanging Faces in Images. In: The European Association for Computer Graphics 25th Annual Conference, pp. 669 - 676 (Eds. Cani, M.-P.; Slater, M.). EUROGRAPHICS 2004, Grenoble, France, August 30, 2004. Blackwell, Oxford, UK (2004)

Boros, E.; Elbassioni, K.; Gurvich, V.: Algorithms for Generating Minimal Blockers of Perfect Matchings in Bipartite Graphs and Related Problems. In: Algorithms – ESA 2004: 12th Annual European Symposium, pp. 122 - 133. Untitled Event, Bergen, Norway, September 14, 2004. Springer, Berlin, Germany (2004)

Boros, E.; Elbassioni, K.; Gurvich, V.; Khachiyan, L.: Enumerating Minimal Dicuts and Strongly Connected Subgraphs and Related Geometric Problems. In: Integer programming and combinatorial optimization: 10th International IPCO Conference, pp. 152 - 162. Untitled Event, New York, NY, USA, June 07, 2004. Springer, Berlin, Germany (2004)

Boros, E.; Elbassioni, K.; Gurvich, V.; Khachiyan, L.: An Efficient Implementation of a Joint Generation Algorithm. In: Experimental and efficient algorithms: Third International Workshop, WEA 2004, pp. 114 - 128. Untitled Event, Angra dos Reis, Brazil, May 25, 2004. Springer, Berlin, Germany (2004)

Boros, E.; Elbassioni, K.; Gurvich, V.; Khachiyan, L.: Generating Maximal Independent Sets for Hypergraphs with Bounded Edge-Intersections. In: LATIN 2004: Theoretical Informatics, 6th Latin American Symposium, pp. 488 - 498. Untitled Event, Buenos Aires, Argentina, April 05, 2004. Springer, Berlin, Germany (2004)