( en | de | ru )

 

Disambiguation of "Jain, Jawahar"

Author of the publication

copydeleteadd this publication to your clipboard
Efficient variable ordering and partial representation algorithm.

, , , , , and . VLSI Design, page 81-86. IEEE Computer Society, (1995)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Gora Jain

Arpit Jain

Himalaya Jain

Prabhat Jain

Rajiv Jain

 

Other publications of authors with the same name

Comparing stress markers across various cohorts in a mobile setting., , , and . EMBC, page 7274-7277. IEEE, (2013)Verification of Industrial Designs Using A Computing Grid With More than 100 Nodes., , , and . Asian Test Symposium, page 460. IEEE Computer Society, (2005)Functional learning: a new approach to learning in digital circuits., , and . VTS, page 122-127. IEEE Computer Society, (1994)Testing, Verification, and Diagnosis in the Presence of Unknowns., , , , , and . VTS, page 263-270. IEEE Computer Society, (2000)Reachability analysis using partitioned-ROBDDs., , , , and . ICCAD, page 388-393. IEEE Computer Society / ACM, (1997)Probabilistic Design Verification., , , and . ICCAD, page 468-471. IEEE Computer Society, (1991)An Efficient Filter-Based Approach for Combinational Verification., , , , , and . DATE, page 132-137. IEEE Computer Society / ACM, (1999)Solving the latch mapping problem in an industrial setting., , , and . DAC, page 442-447. ACM, (2003)Improving Sequential ATPG Using SAT Methods., , and . IWLS, page 79-84. (2002)Error Detection Using BMC in a Parallel Environment., , , , and . CHARME, volume 3725 of Lecture Notes in Computer Science, page 354-358. Springer, (2005)