Malay Ganai

45 papers and 734 indexed citations i.

Malay Ganai has authored 45 papers that have received a total of 734 indexed citations. This includes 29 papers in Computational Theory and Mathematics, 23 papers in Software and 13 papers in Hardware and Architecture. The topics of these papers are Formal Methods in Verification (28 papers), Software Testing and Debugging Techniques (20 papers) and Climate variability and models (12 papers). Malay Ganai is often cited by papers focused on Formal Methods in Verification (28 papers), Software Testing and Debugging Techniques (20 papers) and Climate variability and models (12 papers) and collaborates with scholars based in United States, India and Australia. Malay Ganai's co-authors include Aarti Gupta, Pranav Ashar, R. Phani, P. Mukhopadhyay and Zijiang Yang and has published in prestigious journals such as Scientific Reports, Quarterly Journal of the Royal Meteorological Society and International Journal of Climatology