Randal E. Bryant

Efficient implementation of a BDD package

Karl S. Brace, Richard Rudell, Randal E. Bryant · 1990 · 1.1K citations · Full text

Computing, Computer Engineering, Computer Science +17

Semantics-aware malware detection

Mihai Christodorescu, Somesh Jha, Sanjit A. Seshia et al. · 2005 · 723 citations · Full text

Computing, Computer Science, Cybersecurity +10

On the complexity of VLSI implementations and graph representations of Boolean functions with application to integer multiplication

Randal E. Bryant · IEEE Transactions on Computers · 1991 · 524 citations

Engineering, Computer Engineering, Computer Science +16

Efficient implementation of a BDD package

K.S. Brace, Richard Rudell, Randal E. Bryant · 27th ACM/IEEE Design Automation Conference · 2002 · 450 citations

Computing, Computer Engineering, Computer Science +17

Verification of arithmetic circuits with binary moment diagrams

Randal E. Bryant, Yirng-An Chen · 1995 · 325 citations

Engineering, Computer Engineering, Computer Science +8