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, IEEE Transactions on Knowledge and Data Engineering and Transportation Research Part C Emerging Technologies
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by M.C. Garcı́a-Payo are published in Top fields papers by Murat O. Arcasoy are about Top countries impacted by papers by Kuljeet Kaur Top fields papers by Brian S. Armour are about Top fields papers by K.F. Russell are about Top fields papers by Tim Gough are about Top authors papers by Bernat Hereu are co-authored with Top journals papers by Deborah A. Lannigan are published in