Synthesis of Obfuscation Policies to Ensure Privacy and Utility

Graph-Based Algorithms for Boolean Function Manipulation

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

Circuit Complexity, Computational Logic, Logic Synthesis +15

Automatic verification of finite-state concurrent systems using temporal logic specifications

E. M. Clarke, E. Allen Emerson, A. Prasad Sistla · ACM Transactions on Programming Languages and Systems · 1986 · 3.5K citations · Full text

Engineering, Verification, Computer-aided Verification +17

Supervisory Control of a Class of Discrete Event Processes

Peter J. Ramadge, W.M. Wonham · SIAM Journal on Control and Optimization · 1987 · 3.3K citations

Formal Language, Engineering, Discrete Event System +14

Symbolic model checking: 1020 States and beyond

Jerry R. Burch, E. M. Clarke, Kenneth L. McMillan et al. · Information and Computation · 1992 · 2.7K citations

Engineering, Automated Reasoning, Verification +8

Results on the propositional μ-calculus

Dexter Kozen · Theoretical Computer Science · 1983 · 1.8K citations

Engineering, Automated Reasoning, Propositional Logic +4