Jawahar Jain
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
28
Venues
10
Active years
1991–2013
Best venue rank
A*
Where they publish
Papers
28 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | DATE | Optimizing BDDs for time-series dataset manipulation. | Stergios Stergiou, Jawahar Jain |
| 2005 | ATVA | A New Reachability Algorithm for Symmetric Multi-processor Architecture. | Debashis Sahoo, Jawahar Jain, Subramanian K. Iyer, David L. Dill |
| 2005 | DAC | Multi-threaded reachability. | Debashis Sahoo, Jawahar Jain, Subramanian K. Iyer, David L. Dill, E. Allen Emerson |
| 2005 | FM | On Partitioning and Symbolic Model Checking. | Subramanian K. Iyer, Debashis Sahoo, E. Allen Emerson, Jawahar Jain |
| 2004 | FMCAD | A Partitioning Methodology for BDD-Based Verification. | Debashis Sahoo, Subramanian K. Iyer, Jawahar Jain, Christian Stangier, Amit Narayan, David L. Dill, E. Allen Emerson |
| 2004 | VLSID | Can SAT be used to Improve Sequential ATPG Methods? | Mukul R. Prasad, Michael S. Hsiao, Jawahar Jain |
| 2003 | DAC | Solving the latch mapping problem in an industrial setting. | Kelvin Ng, Mukul R. Prasad, Rajarshi Mukherjee, Jawahar Jain |
| 2000 | ASPDAC | Automatic partitioning for efficient combinatorial verification. | Rajarshi Mukherjee, Jawahar Jain, Koichiro Takayama, Masahiro Fujita |
| 2000 | DAC | Analysis of composition complexity and how to obtain smaller canonical graphs. | Jawahar Jain, K. Mohanram, Dinos Moundanos, Ingo Wegener, Yuan Lu |
| 2000 | DAC | Efficient variable ordering using aBDD based sampling. | Yuan Lu, Jawahar Jain, Edmund M. Clarke, Masahiro Fujita |
| 2000 | VLSID | Hierarchical Error Diagnosis Targeting RTL Circuits. | Vamsi Boppana, Indradeep Ghosh, Rajarshi Mukherjee, Jawahar Jain, Masahiro Fujita |
| 2000 | VTS | Testing, Verification, and Diagnosis in the Presence of Unknowns. | Ankur Jain, Vamsi Boppana, Rajarshi Mukherjee, Jawahar Jain, Masahiro Fujita, Michael S. Hsiao |
| 1999 | DAC | Multiple Error Diagnosis Based on Xlists. | Vamsi Boppana, Rajarshi Mukherjee, Jawahar Jain, Masahiro Fujita, Pradeep Bollineni |
| 1999 | DATE | An Efficient Filter-Based Approach for Combinational Verification. | Rajarshi Mukherjee, Jawahar Jain, Koichiro Takayama, Masahiro Fujita, Jacob A. Abraham, Donald S. Fussell |
| 1999 | VLSID | Efficient Scheduling Techniques for ROBDD Construction. | Rajeev Murgai, Jawahar Jain, Masahiro Fujita |
| 1998 | ICCAD | Sampling schemes for computing OBDD variable orderings. | Jawahar Jain, William Adams, Masahiro Fujita |
| 1997 | ICCAD | Reachability analysis using partitioned-ROBDDs. | Amit Narayan, Adrian J. Isles, Jawahar Jain, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
| 1997 | ICCD | A Survey of Techniques for Formal Verification of Combinational Circuits. | Jawahar Jain, Amit Narayan, Masahiro Fujita, Alberto L. Sangiovanni-Vincentelli |
| 1997 | VLSID | Formal Verification of Combinational Circuit. | Jawahar Jain, Amit Narayan, Masahiro Fujita, Alberto L. Sangiovanni-Vincentelli |
| 1996 | FMCAD | Decomposition Techniques for Efficient ROBDD Construction. | Jawahar Jain, Amit Narayan, C. Coelho, Sunil P. Khatri, Alberto L. Sangiovanni-Vincentelli, Robert K. Brayton, Masahiro Fujita |
| 1996 | ICCAD | Partitioned ROBDDs - a compact, canonical and efficiently manipulable representation for Boolean functions. | Amit Narayan, Jawahar Jain, Masahiro Fujita, Alberto L. Sangiovanni-Vincentelli |
| 1996 | VLSID | On More Efficient Combinational ATPG Using Functional Learning. | Rajarshi Mukherjee, Jawahar Jain, Masahiro Fujita, Jacob A. Abraham, Donald S. Fussell |
| 1996 | VLSID | A study of composition schemes for mixed apply/compose based construction of ROBDDs. | Amit Narayan, Sunil P. Khatri, Jawahar Jain, Masahiro Fujita, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
| 1995 | DAC | Advanced Verification Techniques Based on Learning. | Jawahar Jain, Rajarshi Mukherjee, Masahiro Fujita |
| 1995 | DATE | VERIFUL: VERIfication using FUnctional Learning. | Rajarshi Mukherjee, Jawahar Jain, Masahiro Fujita |
| 1995 | VLSID | Efficient variable ordering and partial representation algorithm. | Jawahar Jain, Dinos Moundanos, James R. Bitner, Jacob A. Abraham, Donald S. Fussell, Don E. Ross |
| 1994 | VTS | Functional learning: a new approach to learning in digital circuits. | Rajarshi Mukherjee, Jawahar Jain, Dhiraj K. Pradhan |
| 1991 | ICCAD | Probabilistic Design Verification. | Jawahar Jain, James R. Bitner, Donald S. Fussell, Jacob A. Abraham |