Ivrissimtzis, I.; Jeong, W.-K.; Lee, S.; Lee, Y.; Seidel, H.-P.: Neural meshes: surface reconstruction with a learning algorithm. Max-Planck-Institut für Informatik, Saarbrücken (2004), 16 S.

Maier, P.: Intuitionistic LTL and a New Characterization of Safety and Liveness. Max-Planck-Institut für Informatik, Saarbrücken (2004), 18 S.

Schmitt, S.; Fousse, L.: A comparison of polynomial evaluation schemes. Max-Planck-Institut für Informatik, Saarbrücken (2004), 16 S.

Zayer, R.; Rössl, C.; Seidel, H.-P.: r-Adaptive parameterization of surfaces. Max-Planck-Institut für Informatik, Saarbrücken (2004), 10 S.

Haber, J.; Schmitt, C.; Koster, M.; Seidel, H.-P.: Modeling hair using a wisp hair model. Max-Planck-Institut für Informatik, Saarbrücken (2004), 38 S.

Siersdorfer, S.; Sizov, S.; Weikum, G.: Goal-oriented methods and meta methods for document classification and their parameter tuning. Max-Planck-Institut für Informatik, Saarbrücken (2004), 36 S.

Sivadasan, N.; Sanders, P.; Skutella, M.: On scheduling with bounded migration. Max-Planck-Institut für Informatik, Saarbrücken (2004), 22 S.

de Nivelle, H.; Kazakov, Y.: Resolution decision procedures for the guarded fragment with transitive guards. Max-Planck-Institut für Informatik, Saarbrücken (2004), 25 S.

Magnor, M.: Axisymmetric reconstruction and 3D visualization of bipolar planetary nebulae. Max-Planck-Institut für Informatik, Saarbrücken (2004), 20 S.

Katriel, I.: On algorithms for online topological ordering and sorting. Max-Planck-Institut für Informatik, Saarbrücken (2004), 12 S.

Jahresbericht 2004 (Jahresbericht, 2004). Max-Planck-Institut für Informatik, Saarbrücken (2004), 103 S.

Beldiceanu, N.; Katriel, I.; Thiel, S.: Filtering algorithms for the Same and UsedBy constraints. Max-Planck-Institut für Informatik, Saarbrücken (2004), 33 S.

Berberich, E.; Eigenwillig, A.; Emiris, I.; Fogel, E.; Hemmer, M.; Halperin, D.; Kakargias, A.; Kettner, L.; Mehlhorn, K.; Pion, S. et al.; Schömer, E.; Teillaud, M.; Wein, R.; Wolpert, N.: An empirical comparison of software for constructing arrangements of curved arcs. INRIA, Sophia Antipolis (2004), 11 S.

Berberich, E.; Eigenwillig, A.; Hemmer, M.; Hert, S.; Kettner, L.; Mehlhorn, K.; Reichel, J.; Schmitt, S.; Schömer, E.; Weber, D. et al.; Wolpert, N.: EXACUS: Efficient and Exact Algorithms for Curves and Surfaces. INRIA, Sophia Antipolis (2004), 8 S.

Blanchet, B.: Automatic Proof of Strong Secrecy for Security Protocols. NWG 1 - Blanchet, Stuhlsatzenhausweg 85, 66123 Saarbrücken, Germany (2004)

Chandran, L. S.; Sivadasan, N.: On the Hadwiger's conjecture for graph products. Max-Planck-Institut für Informatik, Saarbrücken (2004), 10 S.

Chandran, L. S.; Sivadasan, N.: On the Hadwiger's Conjecture for Graphs Products. Max-Planck-Institut für Informatik, Saarbrücken, Germany (2004)

Funke, S.; Mehlhorn, K.; Schmitt, S.; Burnikel, C.; Fleischer, R.; Schirra, S.: The LEDA class real number - extended version. INRIA, Sophia Antipolis (2004), 2 S.

Hemmer, M.; Kettner, L.; Schömer, E.: Effects of a modular filter on geometric applications. INRIA, Sophia Antipolis (2004), 7 S.

Kettner, L.; Mehlhorn, K.; Pion, S.; Schirra, S.; Yap, C.: Classroom examples of robustness problems in geometric computations (ECG Technical Report, 3221). INRIA, Sophia Antipolis (2004), 12 S.