×

zbMATH — the first resource for mathematics

Edit Profile

Jhala, Ranjit

Compute Distance To:
Author ID: jhala.ranjit
Published as: Jhala, Ranjit
Documents Indexed: 28 Publications since 2001, including 2 Books
all top 5

Co-Authors

0 single-authored
12 Majumdar, Rupak
9 Henzinger, Thomas A.
6 McMillan, Kenneth L.
3 Rondon, Patrick Maxim
3 Sutre, Grégoire
3 Vazou, Niki
2 Bakst, Alexander
2 Seidel, Eric L.
2 Weimer, Westley
2 Xu, Ru-Gang
1 Beyer, Dirk
1 Chlipala, Adam J.
1 Chugh, Ravi
1 de Alfaro, Luca
1 Emmi, Michael
1 Igarashi, Atsushi
1 Jones, Simon Peyton
1 Kawaguchi, Ming
1 Kohler, Eddie
1 Necula, George C.
1 Podelski, Andreas
1 Qadeer, Shaz
1 Rybalchenko, Andrey
1 Sanvido, Marco A. A.
1 Schmidt, David P.
1 Vytiniotis, Dimitrios

Serials

2 Lecture Notes in Computer Science
1 Logical Methods in Computer Science

Fields

28 Computer science (68-XX)
3 Mathematical logic and foundations (03-XX)
2 General and overarching topics; collections (00-XX)

Publications by Year

Citations contained in zbMATH

Access to citation profile requires subscription