ACM Computing Surveys (CSUR)
Some performance tests of “quicksort” and descendants
Communications of the ACM
Certification of algorithm 245 [M1]:treesort 3:proof of algorithms—a new kind of certification
Communications of the ACM
Hi-index | 48.26 |