Ramarathnam Venkatesan

12 papers and 185 indexed citations i.

Ramarathnam Venkatesan has authored 12 papers that have received a total of 185 indexed citations. This includes 5 papers in Artificial Intelligence, 5 papers in Geometry and Topology and 4 papers in Computational Theory and Mathematics. The topics of these papers are Cryptography and Data Security (2 papers), Software Testing and Debugging Techniques (2 papers) and Formal Methods in Verification (2 papers). Ramarathnam Venkatesan is often cited by papers focused on Cryptography and Data Security (2 papers), Software Testing and Debugging Techniques (2 papers) and Formal Methods in Verification (2 papers) and collaborates with scholars based in India, United States and Israel. Ramarathnam Venkatesan's co-authors include Sumit Gulwani, Moni Naor, Moti Yung, Rafail Ostrovsky and Susmit Jha and has published in prestigious journals such as ACM SIGPLAN Notices, International Mathematics Research Notices and Journal of Cryptology.