Y. S. Ramakrishna

15 papers and 132 indexed citations i.

Y. S. Ramakrishna has authored 15 papers that have received a total of 132 indexed citations. This includes 12 papers in Artificial Intelligence, 12 papers in Computational Theory and Mathematics and 7 papers in Software. The topics of these papers are Formal Methods in Verification (12 papers), Logic, programming, and type systems (10 papers) and Model-Driven Software Engineering Techniques (6 papers). Y. S. Ramakrishna is often cited by papers focused on Formal Methods in Verification (12 papers), Logic, programming, and type systems (10 papers) and Model-Driven Software Engineering Techniques (6 papers) and collaborates with scholars based in United States and India. Y. S. Ramakrishna's co-authors include Laura K. Dillon, P. M. Melliar‐Smith, L.E. Moser, Derek White and David Detlefs and has published in prestigious journals such as Theoretical Computer Science, ACM SIGPLAN Notices and ACM Transactions on Software Engineering and Methodology