From Algorithms to Working Programs On the Use of Program Checking in LEDA (1998)

Cached

Download Links

by Kurt Mehlhorn , Stefan Näher
Venue:IN PROC. INT. CONF. ON MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE (MFCS 98
Citations:8 - 2 self

Active Bibliography

1 Certifying Algorithms (A Paper under Construction) – Kurt Mehlhorn, Arno Eigenwillig, Kanela Kanegossi, Dieter Kratsch, Ross McConnel, Uli Meyer, Jeremy Spinrad - 2005
10 Certifying Algorithms – R. M. McConnell , K. Mehlhorn , S. Näher , P. Schweitzer - 2010
Certifying Algorithms – R. M. Mcconnell A, K. Mehlhorn B, S. Näher C, P. Schweitzer D
2 The reliable algorithmic software challenge RASC : dedicated to Thomas Ottmann on the occassion of his 60th birthday – Kurt Mehlhorn - 2003
10 Checking the Integrity of Trees – Jonathan D. Bright, Gregory F. Sullivan, Gerald M. Masson - 1995
9 On-line Error Monitoring for Several Data Structures – Jonathan Bright, Gregory F. Sullivan - 1995
2 Checking and Certifying Computational Results – Jonathan D. Bright - 1994
4 Pipelined Algorithms to Detect Cheating in Long-Term Grid Computations – Michael T. Goodrich - 2008
3 Efficient authenticated data structures for graph connectivity and geometric search problems. Algorithmica – Michael T. Goodrich, Roberto Tamassia, Nikos Tri - 2010
49 Authenticated Data Structures for Graph and Geometric Searching – Michael T. Goodrich, Roberto Tamassia, Nikos Triandopoulos, Robert Cohen - 2001
15 Indexing Information for Data Forensics – Mikhail J. Atallah, Michael T. Goodrich, Roberto Tamassia - 2005
19 Radial Level Planarity Testing and Embedding in Linear Time – Christian Bachmaier, Franz J. Brandenburg, Michael Forster - 2005
5 A linear time algorithm for finding a maximal planar subgraph based on PC-trees – Wen-lian Hsu - 2005
5 Planar Graphs with Topological Constraints – Christoph Dornheim - 2002
2 An algorithm for embedding graphs in the torus – Martin Juvan, Bojan Mohar
8 Elimination of local bridges – Martin Juvan, Bojan Mohar - 1997
PQ Trees, PC Trees, and Planar Graphs – Wen-Lian Hsu, Ross M. McConnell - 2001
3 I/O-Efficient Planar Separators and Applications – Norbert Zeh - 2001
13 I/O-Efficient Algorithms for Shortest Path Related Problems – Norbert Ralf Zeh - 2002