|
|
|
|
Additive Spanners and (α, β)-Spanners |
Authors: Baswana, Surender; Kavitha, Telikepalli; Mehlhorn, Kurt; Pettie, Seth | Date of Publication (YYYY-MM-DD): 2011 | Title of Journal: ACM Transactions on Algorithms | Volume: 7 | Issue / Number: 1 | Start Page: 5:1 | End Page: 5:26 | Sequence Number of Article: 5 | Document Type: Article | ID: 618744.0 |
|
|
|
|
|
A deterministic algorithm for isolating real roots of a real polynomial |
Authors: Mehlhorn, Kurt; Sagraloff, Michael | Date of Publication (YYYY-MM-DD): 2011 | Title of Journal: Journal of Symbolic Computation | Volume: 46 | Issue / Number: 1 | Start Page: 70 | End Page: 90 | Document Type: Article | ID: 618656.0 |
|
|
|
|
|
A General Approach to the Analysis of Controlled Perturbation Algorithms |
Authors: Mehlhorn, Kurt; Osbild, Ralf; Sagraloff, Michael | Date of Publication (YYYY-MM-DD): 2011 | Title of Journal: Computational Geometry | Volume: 44 | Issue / Number: 9 | Start Page: 507 | End Page: 528 | Document Type: Article | ID: 618677.0 |
|
|
|
|
|
Improving the Price of Anarchy for Selfish Routing via Coordination Mechanisms |
Authors: Christodoulou, George; Mehlhorn, Kurt; Pyrga, Evangelia | Place of Publication: Berlin | Publisher: Springer | Date of Publication (YYYY-MM-DD): 2011 | Title of Proceedings: Algorithms - ESA 2011 : 19th Annual European Symposium | Start Page: 119 | End Page: 130 | Title of Series: Lecture Notes in Computer Science | Document Type: Conference-Paper | ID: 618742.0 |
|
|
|
|
|
New Approximation Algorithms for Minimum Cycle Bases of Graphs |
Authors: Kavitha, Telikepalli; Mehlhorn, Kurt; Michail, Dimitrios | Date of Publication (YYYY-MM-DD): 2011 | Title of Journal: Algorithmica | Volume: 59 | Issue / Number: 4 | Start Page: 471 | End Page: 488 | Document Type: Article | ID: 618754.0 |
|
|
|
|
|
Online Graph Exploration: New Results on Old and New Algorithms |
Authors: Megow, Nicole; Mehlhorn, Kurt; Schweitzer, Pascal | Place of Publication: Berlin | Publisher: Springer | Date of Publication (YYYY-MM-DD): 2011 | Title of Proceedings: Automata, Languages and Programming : 38th International Colloquium, ICALP 2011 | Start Page: 478 | End Page: 489 | Title of Series: Lecture Notes in Computer Science | Document Type: Conference-Paper | ID: 618681.0 |
|
|
|
|
|
Verification of Certifying Computations |
Authors: Alkassar, Eyad; Böhme, Sascha; Mehlhorn, Kurt; Rizkallah, Christine | Place of Publication: Heidelberg | Publisher: Springer | Date of Publication (YYYY-MM-DD): 2011 | Title of Proceedings: Computer Aided Verification : 23rd International Conference, CAV 2011 | Start Page: 67 | End Page: 82 | Title of Series: Lecture Notes in Computer Science | Document Type: Conference-Paper | ID: 618673.0 |
|
|
|
|
|
An O(n+ m) Certifying Triconnnectivity Algorithm for Hamiltonian Graphs |
Authors: Elmasry, Amr; Mehlhorn, Kurt; Schmidt, Jens M. | Date of Publication (YYYY-MM-DD): 2010 | Title of Journal: Algorithmica | Volume: Online First | Start Page: 1 | End Page: 13 | Document Type: Article | ID: 536712.0 |
|
|
|
|
|
Arrangements on Parametric Surfaces I: {General} Framework and Infrastructure |
Authors: Berberich, Eric; Fogel, Efi; Halperin, Dan; Mehlhorn, Kurt; Wein, Ron | Date of Publication (YYYY-MM-DD): 2010 | Title of Journal: Mathematics in Computer Science | Volume: 4 | Issue / Number: 1 | Start Page: 45 | End Page: 66 | Document Type: Article | ID: 536751.0 |
|
|
The scope and number of records on eDoc is subject
to the collection policies defined by each institute
- see "info" button in the collection browse view.
|
|