Software verification and graph similarity for automated evaluation of students’ assignments

The Hungarian method for the assignment problem

Harold W. Kuhn · Naval Research Logistics Quarterly · 1955 · 12.6K citations

Business, Computer Science, Mathematics +9

Binary codes capable of correcting deletions, insertions and reversals

V.I. Levenshtein · Soviet physics. Doklady · 1965 · 10.4K citations

Computing, Computer Science, Algorithms +10

Authoritative sources in a hyperlinked environment

Jon Kleinberg · Journal of the ACM · 1999 · 9.1K citations · Full text

Computing, Computer Science, Information Systems +11

Abstract interpretation

Patrick Cousot, Radhia Cousot · 1977 · 6.2K citations

Computing, Computer Science, Compilers +8

Symbolic execution and program testing

James C. King · Communications of the ACM · 1976 · 3K citations · Full text

Computing, Computer Science, Formal Methods +10