Jawahar Jain
About
Jawahar Jain has authored 10 papers that have received a total of 122 indexed citations.
This includes 8 papers in Computational Theory and Mathematics, 6 papers in Hardware and Architecture and 3 papers in Electrical and Electronic Engineering. The topics of these papers are Formal Methods in Verification (8 papers), VLSI and Analog Circuit Testing (4 papers) and Software Testing and Debugging Techniques (2 papers). Jawahar Jain is often cited by papers focused on Formal Methods in Verification (8 papers), VLSI and Analog Circuit Testing (4 papers) and Software Testing and Debugging Techniques (2 papers) and collaborates with scholars based in United States, Japan and India. Jawahar Jain's co-authors include Rajarshi Mukherjee, Masahiro Fujita, Donald S. Fussell, Amit Narayan and Alberto Sangiovanni‐Vincentelli and has published in prestigious journals such as Formal Methods in System Design and Electronic Notes in Theoretical Computer Science
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by Babacar M’Baye are co-authored with Top countries impacted by papers by E. K. Marshall Top journals papers by Troy Jones are published in Top countries impacted by papers by Douglas Levin Top authors papers by Minh Quan Lê are co-authored with Top authors papers by Mikaël Alves are co-authored with Top countries impacted by papers by Pierre Thoumany