Forschungspapier (29)
501.
Forschungspapier
Multi-Source Multi-Path HTTP (mHTTP): A Proposal. (2013), 12 S.
502.
Forschungspapier
Point Line Cover: The Easy Kernel is Essentially Tight. (2013)
503.
Forschungspapier
Competitive-ratio Approximation Schemes for Minimizing the Makespan in the Online-list Model. (2013)
504.
Forschungspapier
From Approximate Factorization to Root Isolation with Application to Cylindrical Algebraic Decomposition. (2013), 38 S.
505.
Forschungspapier
Computing Real Roots of Real Polynomials. (2013)
506.
Forschungspapier
The Mondshein Sequence. (2013)
507.
Forschungspapier
Triggered Clause Pushing for IC3. (2013), 4 S.
Bericht (4)
508.
Bericht
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 S.
509.
Bericht
Hierarchic Superposition with Weak Abstraction. Max-Planck-Institut für Informatik, Saarbrücken (2013), 45 S.
510.
Bericht
New Results for Non-preemptive Speed Scaling. Max-Planck-Institut für Informatik, Saarbrücken (2013), 32 S.
511.
Bericht
A Distributed Algorithm for Large-scale Generalized Matching. Max-Planck-Institut für Informatik, Saarbrücken (2013), 39 S.