Verification Using Uninterpreted Functions and Finite Instantiations. - Ramin Hojati; Adrian J. Isles; Desmond Kirkpatrick; Robert K. Brayton (FMCAD, 1996)

Reachability analysis using partitioned-ROBDDs. - Amit Narayan; Adrian J. Isles; Jawahar Jain; Robert K. Brayton; Alberto L. Sangiovanni-Vincentelli (ICCAD, 1997)

Computing Reachable Control States of Systems Modeled with Uninterpreted Functions and Infinite Memory. - Adrian J. Isles; Ramin Hojati; Robert K. Brayton (CAV, 1998)

Formal verification of pipeline control using controlled token nets and abstract interpretation. - Pei-Hsin Ho; Adrian J. Isles; Timothy Kam (ICCAD, 1998)