J. Jain

Partitioned ROBDDs-a compact, canonical and efficiently manipulable representation for Boolean functions

A. Narayan, J. Jain, Masahiro Fujita et al. · 2002 · 63 citations

Mathematical Programming, Circuit Complexity, Engineering +20

Testing, verification, and diagnosis in the presence of unknowns

Alok Jain, V. Boppana, Rajarshi Mukherjee et al. · 2002 · 49 citations

Fault Diagnosis, Engineering, Verification +20

Indexed BDDs: algorithmic advances in techniques to represent and verify Boolean functions

J. Jain, J. Bitner, Magdy S. Abadir et al. · IEEE Transactions on Computers · 1997 · 41 citations

Circuit Complexity, Engineering, Boolean Function +20

Probabilistic design verification

J. Jain, J. Bitner, Donald S. Fussell et al. · 2002 · 40 citations

Deterministic Verification, Engineering, Boolean Function +14

IBDDs: an efficient functional representation for digital circuits

J. Jain, Magdy S. Abadir, J. Bitner et al. · 2003 · 34 citations

Circuit Complexity, Engineering, Boolean Function +21