S. Ramesh
About
S. Ramesh has authored 63 papers that have received a total of 360 indexed citations.
This includes 45 papers in Computational Theory and Mathematics, 30 papers in Hardware and Architecture and 25 papers in Software. The topics of these papers are Formal Methods in Verification (43 papers), Embedded Systems Design Techniques (21 papers) and Software Testing and Debugging Techniques (20 papers). S. Ramesh is often cited by papers focused on Formal Methods in Verification (43 papers), Embedded Systems Design Techniques (21 papers) and Software Testing and Debugging Techniques (20 papers) and collaborates with scholars based in India, United States and Australia. S. Ramesh's co-authors include Arcot Sowmya, Manoranjan Satpathy, Vijay D’Silva, Pallab Dasgupta and K. C. Shashidhar and has published in prestigious journals such as Proceedings of the IEEE, IEEE Transactions on Software Engineering and Reliability Engineering & System Safety.
In The Last Decade
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by François Rastier Breakdown of academic impact, for papers by Kenji U�da Breakdown of academic impact, for papers by Samer A. Naffouje Breakdown of academic impact, for papers by Fabrizio Cafaggi Breakdown of academic impact, for papers by Julia Álvarez Hernández Breakdown of academic impact, for papers by Luděk Raida Breakdown of academic impact, for papers by Marco Di Benedetto Breakdown of academic impact, for papers by Yu.K. Godovskii