Ranjit Jhala

77 papers and 1.6k indexed citations i.

Ranjit Jhala has authored 77 papers that have received a total of 1.6k indexed citations. This includes 52 papers in Artificial Intelligence, 31 papers in Computational Theory and Mathematics and 27 papers in Information Systems. The topics of these papers are Logic, programming, and type systems (36 papers), Security and Verification in Computing (31 papers) and Formal Methods in Verification (30 papers). Ranjit Jhala is often cited by papers focused on Logic, programming, and type systems (36 papers), Security and Verification in Computing (31 papers) and Formal Methods in Verification (30 papers) and collaborates with scholars based in United States, Spain and United Kingdom. Ranjit Jhala's co-authors include Rupak Majumdar, Sorin Lerner, Thomas A. Henzinger, Ravi Chugh and Niki Vazou and has published in prestigious journals such as ACM Computing Surveys, Lecture notes in computer science and ACM SIGPLAN Notices