Vineet Kahlon
About
Vineet Kahlon has authored 7 papers that have received a total of 79 indexed citations.
This includes 5 papers in Hardware and Architecture, 4 papers in Artificial Intelligence and 4 papers in Computational Theory and Mathematics. The topics of these papers are Formal Methods in Verification (4 papers), Parallel Computing and Optimization Techniques (4 papers) and Logic, programming, and type systems (3 papers). Vineet Kahlon is often cited by papers focused on Formal Methods in Verification (4 papers), Parallel Computing and Optimization Techniques (4 papers) and Logic, programming, and type systems (3 papers) and collaborates with scholars based in United States. Vineet Kahlon's co-authors include Aarti Gupta, Franjo Ivančić, Nishant Sinha, Malay Ganai and Sriram Sankaranarayanan and has published in prestigious journals such as ACM SIGPLAN Notices and International Journal on Software Tools for Technology Transfer
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by M. Montesino are published in Top authors papers by Joy Didier are co-authored with Top fields papers by V. Gregorauskiene are about Top countries impacted by papers by Zihan Xue Top countries impacted by papers by Martirio Antequera Top journals papers by Adolph Lowe are published in Top journals papers by Clênio F. Salviano are published in Top countries impacted by papers by Silke Holtmanns