Finkler, Ulrich; Mehlhorn, Kurt Checking priority queues. (English) Zbl 0931.68122 Proceedings of the 10th annual ACM-SIAM symposium on discrete algorithms. Baltimore, MD, USA, January 17–19, 1999. Philadelphia, PA: SIAM. S 901-S 902 (1999). MSC: 68T35 PDFBibTeX XMLCite \textit{U. Finkler} and \textit{K. Mehlhorn}, in: Proceedings of the 10th annual ACM-SIAM symposium on discrete algorithms, SODA '99. Baltimore, MD, USA, January 17--19, 1999. Philadelphia, PA: SIAM. 901--902 (1999; Zbl 0931.68122)
Finkler, Ulrich; Mehlhorn, Kurt Runtime prediction of real programs on real machines. (English) Zbl 1321.68310 Proceedings of the 8th annual ACM-SIAM symposium on discrete algorithms, SODA ’97, New Orleans, LA, January 5–7, 1997. Philadelphia, PA: SIAM; New York, NY: ACM (ISBN 0-89871-390-0). 380-389 (1997). MSC: 68Q25 68Q10 PDFBibTeX XMLCite \textit{U. Finkler} and \textit{K. Mehlhorn}, in: Proceedings of the 8th annual ACM-SIAM symposium on discrete algorithms, SODA '97, New Orleans, LA, January 5--7, 1997. Philadelphia, PA: SIAM; New York, NY: ACM. 380--389 (1997; Zbl 1321.68310)