Kurt Mehlhorn

FOCS
FOCS

WADS 2015: Workshop on Algorithms and Data Structures

BICT 2015 - International Conference on Bio-inspired Information and Communications Technologies

Proc. 6th NASA Formal Methods Symposium (NFM 2014)

Dagstuhl Reports

WALCOM 2014 : Eighth International Workshop on Algorithms and Computation, February 13-15, 2014, IIT Madras, Chennai, India

ACM Journal of Experimental Algorithmics

Algorithmica

14th Scandinavian Symposium and Workshops, SWAT 2014