V. S. Alagar
About
V. S. Alagar has authored 15 papers that have received a total of 97 indexed citations.
This includes 4 papers in Artificial Intelligence, 4 papers in Computational Theory and Mathematics and 4 papers in Software. The topics of these papers are Formal Methods in Verification (3 papers), Software Reliability and Analysis Research (3 papers) and Advanced Software Engineering Methodologies (3 papers). V. S. Alagar is often cited by papers focused on Formal Methods in Verification (3 papers), Software Reliability and Analysis Research (3 papers) and Advanced Software Engineering Methodologies (3 papers) and collaborates with scholars based in Canada, United States and India. V. S. Alagar's co-authors include K. Periyasamy, Maurice Nivat, Tu Bui, Olga Ormandjieva and Kaiyu Wan and has published in prestigious journals such as Computer-Aided Design, Lecture notes in computer science and Journal of Applied Probability
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by Per Lauvås Top fields papers by Csaba Diószeghy are about Top fields papers by Jörg Waitelonis are about Top journals papers by David Saffo are published in Top authors papers by Dolores Martínez are co-authored with Top journals papers by Cheryl Walker are published in Top journals papers by Eric Peukert are published in Top journals papers by L. Rosenblum are published in