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, S. 65 - 75. 7. GIT/ITG/GMM-Workshop Modellierung und Verifikation, Kaiserslautern, Germany, 08. Februar 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, S. 36 - 44. Untitled Event, San Diego, USA, 27. März 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), S. 739 - 748. Untitled Event, New Orleans, USA, 11. Januar 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), S. 461 - 470. Untitled Event, New Orleans, USA, 11. Januar 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), S. 343 - 352. Untitled Event, Chicago, USA, 13. Juni 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, S. 65 - 79. Untitled Event, Nice, France, 20. April 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, Bd. 2, S. 511 - 516. GI-Jahrestagung, Ulm, Germany, 16. September 2004 - 20. September 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, S. 1 - 12. Untitled Event, Sheffield, UK, 25. Juli 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), Bd. 3664, S. 61 - 72. Untitled Event, S. Margherita die Pula (Cagliari), Italy, 24. Juni 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, S. 99 - 106. Untitled Event, Stellenbosch, South Africa, 03. Oktober 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, S. 131 - 142. Untitled Event, Rome, Italy, 16. Oktober 2004. Springer, Berlin, Germany (2004)

Blanchet, B.: Automatic Proof of Strong Secrecy for Security Protocols. In: 2004 IEEE Symposium on Security and Privacy, S. 86 - 100. S & P 2002, Oakland, USA, 10. Mai 2004 - 12. Mai 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, S. 293 - 300 (Hg. Aloimonos, Y.; Taubin, G.). 2nd International Symposium on 3D Data Processing, Visualization, and Transmission, Thessaloniki, Greece, 06. September 2004 - 09. September 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, S. 669 - 676 (Hg. Cani, M.-P.; Slater, M.). EUROGRAPHICS 2004, Grenoble, France, 30. August 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, S. 122 - 133. Untitled Event, Bergen, Norway, 14. September 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, S. 152 - 162. Untitled Event, New York, NY, USA, 07. Juni 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, S. 114 - 128. Untitled Event, Angra dos Reis, Brazil, 25. Mai 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, S. 488 - 498. Untitled Event, Buenos Aires, Argentina, 05. April 2004. Springer, Berlin, Germany (2004)

Boros, E.; Elbassioni, K.; Gurvich, V.; Khachiyan, L.; Makino, K.: Generating Paths and Cuts in Multi-pole (Di)graphs. In: Mathematical foundations of computer science 2004: 29th International Symposium, MFCS 2004, S. 298 - 309. Untitled Event, Prague, Czech Republic, 22. August 2004. Springer, Berlin, Germany (2004)

Brafman, R.; Hoffmann, J.: Conformant Planning via Heuristic Forward Search: A New Approach. In: Proceedings of the Fourteenth International Conference on Automated Planning and Scheduling (ICAPS 2004), S. 355 - 364. Untitled Event, Whistler, Canada, 03. Juni 2004. AAAI, Menlo Park, USA (2004)