Pankaj Chauhan

6 papers and 36 indexed citations i.

Pankaj Chauhan has authored 6 papers that have received a total of 36 indexed citations. This includes 3 papers in Computational Theory and Mathematics, 2 papers in Electrical and Electronic Engineering and 2 papers in Statistics and Probability. The topics of these papers are Formal Methods in Verification (3 papers), Software Testing and Debugging Techniques (2 papers) and Radiation Effects in Electronics (2 papers). Pankaj Chauhan is often cited by papers focused on Formal Methods in Verification (3 papers), Software Testing and Debugging Techniques (2 papers) and Radiation Effects in Electronics (2 papers) and collaborates with scholars based in United States and India. Pankaj Chauhan's co-authors include Sagar Chaki, Edmund M. Clarke, Niklas Eén, Daniel Kroening and E. M. Clarke and has published in prestigious journals such as Pakistan Journal of Statistics and Operation Research.