Vijay Anand Korthikanti
About
Vijay Anand Korthikanti has authored 8 papers that have received a total of 190 indexed citations.
This includes 6 papers in Artificial Intelligence, 3 papers in Computational Theory and Mathematics and 3 papers in Computer Science Applications. The topics of these papers are Formal Methods in Verification (3 papers), Logic, programming, and type systems (3 papers) and Teaching and Learning Programming (3 papers). Vijay Anand Korthikanti is often cited by papers focused on Formal Methods in Verification (3 papers), Logic, programming, and type systems (3 papers) and Teaching and Learning Programming (3 papers) and collaborates with scholars based in United States, India and China. Vijay Anand Korthikanti's co-authors include Sumit Gulwani, Gul Agha, Ashish Tiwari, Bryan Catanzaro and Mohammad Shoeybi and has published in prestigious journals such as ACM SIGPLAN Notices and Sustainable Computing Informatics and Systems.
In The Last Decade
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by P. Lezoch Breakdown of academic impact, for papers by Farooq Qureshi Breakdown of academic impact, for papers by Angelika Kneidl Breakdown of academic impact, for papers by Isaac Cohen Breakdown of academic impact, for papers by D. R. Lepine Breakdown of academic impact, for papers by Johannes Brechtken Breakdown of academic impact, for papers by Jacob Embley Breakdown of academic impact, for papers by Huei‐Hsin Chiang