Rajeev Alur
About
Rajeev Alur has authored 133 papers that have received a total of 7.6k indexed citations.
This includes 99 papers in Computational Theory and Mathematics, 67 papers in Artificial Intelligence and 47 papers in Software. The topics of these papers are Formal Methods in Verification (94 papers), Logic, programming, and type systems (46 papers) and Software Testing and Debugging Techniques (35 papers). Rajeev Alur is often cited by papers focused on Formal Methods in Verification (94 papers), Logic, programming, and type systems (46 papers) and Software Testing and Debugging Techniques (35 papers) and collaborates with scholars based in United States, United Kingdom and Israel. Rajeev Alur's co-authors include Thomas A. Henzinger, George J. Pappas, P. Madhusudan, Insup Lee and Kousha Etessami and has published in prestigious journals such as IEEE Transactions on Automatic Control, Proceedings of the IEEE and Communications of the ACM.
In The Last Decade
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by John G. Keilp Breakdown of academic impact, for papers by Qiang Yu Breakdown of academic impact, for papers by Frank W. Davis Breakdown of academic impact, for papers by Edward Hanna Breakdown of academic impact, for papers by Wei‐Yang Lu Breakdown of academic impact, for papers by Robert R. H. Anholt Breakdown of academic impact, for papers by Nicolas V. Christou Breakdown of academic impact, for papers by Christopher Carroll