Amit Kumar Goel

34 papers and 196 indexed citations i.

About

Amit Kumar Goel has authored 34 papers that have received a total of 196 indexed citations. This includes 9 papers in Computational Theory and Mathematics, 7 papers in Artificial Intelligence and 6 papers in Software. The topics of these papers are Formal Methods in Verification (7 papers), Software Testing and Debugging Techniques (5 papers) and COVID-19 diagnosis using AI (3 papers). Amit Kumar Goel is often cited by papers focused on Formal Methods in Verification (7 papers), Software Testing and Debugging Techniques (5 papers) and COVID-19 diagnosis using AI (3 papers) and collaborates with scholars based in India, United States and United Kingdom. Amit Kumar Goel's co-authors include Sava Krstić, Adesh Kumar, Seshadhri Srinivasan and P. F. Goldsmith and has published in prestigious journals such as Journal of Materials in Civil Engineering, Multimedia Tools and Applications and Modeling Earth Systems and Environment

In The Last Decade

Rankless by CCL
2025