Krysta, P.; Sanders, P.; Vöcking, B.: Scheduling and traffic allocation for tasks with bounded splittability. Max-Planck-Institut für Informatik, Saarbrücken (2003), 15 pp.

Maier, P.: Compositional circular assume-guarantee rules cannot be sound and complete. Max-Planck-Institut für Informatik, Saarbrücken (2003), 22 pp.

Podelski, A.; Rybalchenko, A.: Software model checking of liveness properties via transition invariants. Max-Planck-Institut für Informatik, Saarbrücken (2003), 29 pp.

Rössl, C.; Zeilfelder, F.; Nürnberger, G.; Seidel, H.-P.: Visualization of volume data with quadratic super splines. Max-Planck-Institut für Informatik, Saarbrücken (2003), 15 pp.

Sanders, P.: Polynomial time algorithms for network information flow. Max-Planck-Institut für Informatik, Saarbrücken (2003), 18 pp.

Sanders, P.; Dementiev, R.: Asynchronous parallel disk sorting. Max-Planck-Institut für Informatik, Saarbrücken (2003), 22 pp.

Schäfer, G.: A note on the smoothed complexity of the single-source shortest path problem. Max-Planck-Institut für Informatik, Saarbrücken (2003), 8 pp.

Schäfer, G.; Becchetti, L.; Leonardi, S.; Marchetti-Spaccamela, A.; Vredeveld, T.: Average case and smoothed competitive analysis of the multi-level feedback algorithm. Max-Planck-Institut für Informatik, Saarbrücken (2003), 31 pp.

Schäfer, G.; Leonardi, S.: Cross-monotonic cost sharing methods for connected facility location games. Max-Planck-Institut für Informatik, Saarbrücken (2003), 10 pp.

Schäfer, G.; Sivadasan, N.: Topology matters: smoothed competitive analysis of metrical task systems. Max-Planck-Institut für Informatik, Saarbrücken (2003), 28 pp.

Schmitt, S.: The Diamond Operator for Real Algebraic Numbers. Effective Computational Geometry for Curves and Surfaces, Sophia Antipolis, FRANCE (2003)

Tamaki, H.: A linear time heuristic for the branch-decomposition of planar graphs. Max-Planck-Institut für Informatik, Saarbrücken (2003), 18 pp.

Tamaki, H.: Alternating cycles contribution: a strategy of tour-merging for the traveling salesman problem. Max-Planck-Institut für Informatik, Saarbrücken (2003), 22 pp.

Tarini, M.; Lensch, H. P. A.; Gösele, M.; Seidel, H.-P.: 3D acquisition of mirroring objects. Max-Planck-Institut für Informatik, Saarbrücken (2003), 37 pp.

Theobalt, C.; Li, M.; Magnor, M. A.; Seidel, H.-P.: A flexible and versatile studio for synchronized multi-view video recording. Max-Planck-Institut für Informatik, Saarbrücken (2003), 18 pp.

Zakaria, N.: FaceSketch: an interface for sketching and coloring cartoon faces. Max-Planck-Institut für Informatik, Saarbrücken (2003), 30 pp.

Zayer, R.; Rössl, C.; Seidel, H.-P.: Convex boundary angle based flattening. Max-Planck-Institut für Informatik, Saarbrücken (2003), 16 pp.

James, J.; Das, A. V.; Rahnenführer, J.; Leon, F.; Ahmad, I.: Identification of rat brahma (rBRM), a subunit of SWI/SNF chromatin remodeling complex: Involvement in the differentiation of retinal stem cells/progenitors, (2003)

Kämper, A.; Lengauer, T.: ECLIPPSE: Environment for Chemical Library Inspection, Pre- and Postprocessing, and Screening Evaluation. User Guide. (2003)