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
Top journals papers by Güler Berkıten are published in Top fields papers by T Nishimura are about Top fields papers by Tsuyoshi Adachi are about Top fields papers by I. V. Vlasov are about Top fields papers by Azwihangwisi Helen Mavhandu‐Mudzusi are about Top countries impacted by papers by George Barmpalias Top authors papers by P. V. Melnikov are co-authored with