Vishwanath Raman
About
Vishwanath Raman has authored 7 papers that have received a total of 35 indexed citations.
This includes 5 papers in Artificial Intelligence, 3 papers in Computer Networks and Communications and 3 papers in Computational Theory and Mathematics. The topics of these papers are Formal Methods in Verification (3 papers), Logic, Reasoning, and Knowledge (3 papers) and Logic, programming, and type systems (2 papers). Vishwanath Raman is often cited by papers focused on Formal Methods in Verification (3 papers), Logic, Reasoning, and Knowledge (3 papers) and Logic, programming, and type systems (2 papers) and collaborates with scholars based in United States, Austria and Germany. Vishwanath Raman's co-authors include Luca de Alfaro, Krishnendu Chatterjee, Rupak Majumdar, John C. Elfar and Scott Bell and has published in prestigious journals such as Hand, Formal Methods in System Design and Formal Aspects of Computing.
In The Last Decade
side by side view
Countries citing papers authored by Vishwanath Raman
Since SpecializationCitations
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by Seyed Yaser Foroghi Ghomi Breakdown of academic impact, for papers by Jochen Biebel Breakdown of academic impact, for papers by Masafumi Niwano Breakdown of academic impact, for papers by Ling Pu Breakdown of academic impact, for papers by Carlos Marugán Breakdown of academic impact, for papers by Jo Howe Breakdown of academic impact, for papers by JU PRAUSE Breakdown of academic impact, for papers by William Paul Thompson