Amit Kumar Goel

35 papers and 220 indexed citations i.

Amit Kumar Goel has authored 35 papers that have received a total of 220 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, Adrian Stoica and Joseph Lazio and has published in prestigious journals such as Journal of Materials in Civil Engineering, Multimedia Tools and Applications and Modeling Earth Systems and Environment.