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 journals papers by H. Yamauchi are published in Top authors papers by Eva Maria C. Cutiongco–de la Paz are co-authored with Top fields papers by Nicolas Fagnoni are about Top authors papers by Bart J. Baca are co-authored with Top journals papers by Mohamed Helmy are published in Top fields papers by Ivo Planinc are about Top authors papers by Chen Zhan are co-authored with Top journals papers by Yan Shao are published in