Solving games via three-valued abstraction refinement

Graph-Based Algorithms for Boolean Function Manipulation

Bryant · IEEE Transactions on Computers · 1986 · 8.9K citations · Full text

Computing, Computer Science, Algorithms +16

Abstract interpretation

Patrick Cousot, Radhia Cousot · 1977 · 6.2K citations

Computing, Computer Science, Compilers +8

Imperative functional programming

Simon Jones, Philip Wadler · 1993 · 1.2K citations · Full text

Computing, Computer Engineering, Computer Science +15

The S <scp>LAM</scp> project

Thomas Ball, Sriram K. Rajamani · 2002 · 926 citations

Computing, Computer Science, Computer Systems +17

Tree automata, mu-calculus and determinacy

E. Allen Emerson, Charanjit S. Jutla · 2002 · 742 citations

Computing, Computer Science, Mathematics +16