Krishnendu Chatterjee

200 papers and 3.5k indexed citations i.

Krishnendu Chatterjee has authored 200 papers that have received a total of 3.5k indexed citations. This includes 115 papers in Computational Theory and Mathematics, 103 papers in Artificial Intelligence and 40 papers in Sociology and Political Science. The topics of these papers are Formal Methods in Verification (105 papers), Logic, Reasoning, and Knowledge (42 papers) and Logic, programming, and type systems (40 papers). Krishnendu Chatterjee is often cited by papers focused on Formal Methods in Verification (105 papers), Logic, Reasoning, and Knowledge (42 papers) and Logic, programming, and type systems (40 papers) and collaborates with scholars based in Austria, United States and France. Krishnendu Chatterjee's co-authors include Martin A. Nowak, Thomas A. Henzinger, Laurent Doyen, Andreas Pavlogiannis and Christian Hilbe and has published in prestigious journals such as Nature, Proceedings of the National Academy of Sciences and Nature Genetics.