Himanshu Jain
About
Himanshu Jain has authored 15 papers that have received a total of 5.0k indexed citations.
This includes 8 papers in Artificial Intelligence, 7 papers in Computational Theory and Mathematics and 4 papers in Software. The topics of these papers are Formal Methods in Verification (4 papers), Software Testing and Debugging Techniques (3 papers) and Advanced Multi-Objective Optimization Algorithms (3 papers). Himanshu Jain is often cited by papers focused on Formal Methods in Verification (4 papers), Software Testing and Debugging Techniques (3 papers) and Advanced Multi-Objective Optimization Algorithms (3 papers) and collaborates with scholars based in India, United States and Switzerland. Himanshu Jain's co-authors include Kalyanmoy Deb, Daniel Kroening, Natasha Sharygina, Vasudev Ballal and E. M. Clarke and has published in prestigious journals such as IEEE Transactions on Evolutionary Computation, Microscopy Research and Technique and IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by Tetsuya Hori are co-authored with Top countries impacted by papers by Laura McGuinn Top fields papers by Michael Bowman are about Top fields papers by Ihab Younis are about Top fields papers by Bernard H. Booms are about Top countries impacted by papers by Alexander Toshev Top authors papers by Ramnik J. Xavier are co-authored with Top journals papers by Axel Unterbeck are published in