Kim, J.; Khalili, R.; Feldmann, A.; Chen, Y.-C.; Towsley, D.: Multi-Source Multi-Path HTTP (mHTTP): A Proposal. (2013), 12 pp.

Kratsch, S.; Philip, G.; Ray, S.: Point Line Cover: The Easy Kernel is Essentially Tight. (2013)

Megow, N.; Wiese, A.: Competitive-ratio Approximation Schemes for Minimizing the Makespan in the Online-list Model. (2013)

Mehlhorn, K.; Sagraloff, M.; Wang, P.: From Approximate Factorization to Root Isolation with Application to Cylindrical Algebraic Decomposition. (2013), 38 pp.

Sagraloff, M.; Mehlhorn, K.: Computing Real Roots of Real Polynomials. (2013)

Schmidt, J. M.: The Mondshein Sequence. (2013)

Suda, M.: Triggered Clause Pushing for IC3. (2013), 4 pp.

Eleventh Biennial Report: May 2011 - March 2013 (Biennial Report / Max-Planck-Institut für Informatik, 11). Max-Planck-Institut für Informatik, Saarbrücken (2013), 750 pp.

Baumgartner, P.; Waldmann, U.: Hierarchic Superposition with Weak Abstraction. Max-Planck-Institut für Informatik, Saarbrücken (2013), 45 pp.

Huang, C.-C.; Ott, S.: New Results for Non-preemptive Speed Scaling. Max-Planck-Institut für Informatik, Saarbrücken (2013), 32 pp.

Makari, F.; Awerbuch, B.; Gemulla, R.; Khandekar, R.; Mestre, J.; Sozio, M.: A Distributed Algorithm for Large-scale Generalized Matching. Max-Planck-Institut für Informatik, Saarbrücken (2013), 39 pp.