Josyula R. Rao

10 papers and 65 indexed citations i.

Josyula R. Rao has authored 10 papers that have received a total of 65 indexed citations. This includes 5 papers in Artificial Intelligence, 4 papers in Computer Networks and Communications and 2 papers in Computer Vision and Pattern Recognition. The topics of these papers are Network Security and Intrusion Detection (2 papers), Logic, programming, and type systems (2 papers) and Formal Methods in Verification (2 papers). Josyula R. Rao is often cited by papers focused on Network Security and Intrusion Detection (2 papers), Logic, programming, and type systems (2 papers) and Formal Methods in Verification (2 papers) and collaborates with scholars based in United States, Germany and United Kingdom. Josyula R. Rao's co-authors include Marc Ph. Stoecklin, Douglas L. Schales, Berk Sunar, Mobin Javed and Reiner Sailer and has published in prestigious journals such as Lecture notes in computer science, ACM Transactions on Programming Languages and Systems and Information Processing Letters