V. S. Alagar

15 papers and 97 indexed citations i.

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

Rankless by CCL
2025