Rajeev Alur
About
Rajeev Alur has authored 132 papers that have received a total of 7.6k indexed citations.
This includes 98 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 (93 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 (93 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
Top authors papers by Guangjun Wu are co-authored with Top fields papers by Thomas F. McCutchan are about Top fields papers by Hanna Tuomisto are about Top journals papers by Eva M. Eicher are published in Top authors papers by G. Aulanier are co-authored with Top countries impacted by papers by Allan R. Sampson Top countries impacted by papers by Kevin L. Grove Top authors papers by Raphaël Hirschi are co-authored with