A. Prasad Sistla
About
A. Prasad Sistla has authored 56 papers that have received a total of 2.7k indexed citations.
This includes 34 papers in Artificial Intelligence, 32 papers in Computational Theory and Mathematics and 17 papers in Computer Networks and Communications. The topics of these papers are Formal Methods in Verification (28 papers), Logic, programming, and type systems (17 papers) and Cryptography and Data Security (8 papers). A. Prasad Sistla is often cited by papers focused on Formal Methods in Verification (28 papers), Logic, programming, and type systems (17 papers) and Cryptography and Data Security (8 papers) and collaborates with scholars based in United States, Ireland and France. A. Prasad Sistla's co-authors include E. Allen Emerson, Rohit Chadha, Ouri Wolfson, Mahesh Viswanathan and E. M. Clarke and has published in prestigious journals such as Journal of the ACM, Transportation Research Part C Emerging Technologies and IEEE Transactions on Knowledge and Data Engineering.
In The Last Decade
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by C.H.C. Dejong Breakdown of academic impact, for papers by Jon Christensen Breakdown of academic impact, for papers by R. Vijay Breakdown of academic impact, for papers by Mariann Blum Breakdown of academic impact, for papers by Sergey Ryzhov Breakdown of academic impact, for papers by J. H. Schulman Breakdown of academic impact, for papers by Martine Rémy-Jardin Breakdown of academic impact, for papers by Markus Islinger