Algorithm Design and Software Libraries: Recent Developments in the LEDA Project

Checking geometric programs or verification of geometric structures

Proceedings of the twelfth annual symposium on Computational geometry

Generation of Execution Sequences for Modular Time Critical Systems

IEEE Transactions on Software Engineering

Biased dictionaries with fast insert/deletes

STOC '01 Proceedings of the thirty-third annual ACM symposium on Theory of computing

A Case Study on Applying a Tool for Automated System Analysis Based on Modular Specifications Written in TRIO

Automated Software Engineering

Biased Skip Lists

ISAAC '02 Proceedings of the 13th International Symposium on Algorithms and Computation

A data structure for a sequence of string accesses in external memory

ACM Transactions on Algorithms (TALG)

Dynamic optimality for skip lists and B-trees

Proceedings of the nineteenth annual ACM-SIAM symposium on Discrete algorithms

Algorithm engineering: bridging the gap between algorithm theory and practice

Algorithm engineering: bridging the gap between algorithm theory and practice