Adrian J. Isles
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
1996–1998
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1998 | CAV | Computing Reachable Control States of Systems Modeled with Uninterpreted Functions and Infinite Memory. | Adrian J. Isles, Ramin Hojati, Robert K. Brayton |
| 1998 | ICCAD | Formal verification of pipeline control using controlled token nets and abstract interpretation. | Pei-Hsin Ho, Adrian J. Isles, Timothy Kam |
| 1997 | ICCAD | Reachability analysis using partitioned-ROBDDs. | Amit Narayan, Adrian J. Isles, Jawahar Jain, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
| 1996 | FMCAD | Verification Using Uninterpreted Functions and Finite Instantiations. | Ramin Hojati, Adrian J. Isles, Desmond Kirkpatrick, Robert K. Brayton |