×

zbMATH — the first resource for mathematics

Majumdar, Rupak

Compute Distance To:
Author ID: majumdar.rupak
Published as: Majumdar; Majumdar, Rupak
External Links: MGP
Documents Indexed: 99 Publications since 1998, including 6 Books
all top 5

Co-Authors

0 single-authored
31 Henzinger, Thomas A.
15 Chatterjee, Krishnendu
12 de Alfaro, Luca
12 Jhala, Ranjit
11 Ganty, Pierre
8 Esparza, Javier
5 Prabhu, Vinayak S.
4 Chistikov, Dmitry V.
4 Emmi, Michael
4 Faella, Marco
4 Raman, Vishwanath
4 Stoelinga, Mariëlle
3 Abate, Alessandro
3 Dimitrova, Rayna
3 Esmaeil Zadeh Soudjani, Sadegh
3 Kupferman, Orna
3 Leroux, Jérôme
3 Meyer, Roland
3 Palsberg, Jens
3 Raskin, Jean-François
3 Rybalchenko, Andrey
3 Sutre, Grégoire
3 Tabuada, Paulo
3 Xu, Ru-Gang
2 Beyer, Dirk
2 Deshmukh, Jyotirmoy V.
2 Durand-Gasselin, Antoine
2 Horowitz, Benjamin
2 Hüchting, Reiner
2 Kuncak, Viktor
2 Ma, Di
2 Niksic, Filip
2 Schmuck, Anne-Kathrin
2 Zamani, Majid
2 Zhao, Tian
1 Bartocci, Ezio
1 Baruah, Sanjoy K.
1 Bodik, Rastislav
1 Calin, Georgel
1 Caliskan, Sina Yamac
1 Chakrabarti, Arindam
1 Chlipala, Adam J.
1 Chmelík, Martin
1 Deininger, David
1 Derevenetc, Egor
1 Ercal, Gunes
1 Fischer, Jeffrey M.
1 Gavran, Ivan
1 Gligoric, Milos
1 Gupta, Ashutosh
1 Havelund, Klaus
1 Hoenicke, Jochen
1 Hsu, Kyle
1 Ibsen-Jensen, Rasmus
1 Izhak-Ratzin, Rafit
1 Jurdziński, Marcin
1 Kanade, Aditya
1 Kapur, Deepak
1 Kirsch, Christoph M.
1 Kohler, Eddie
1 Leva, Adrian
1 Lygeros, John
1 Mallik, Kaushik
1 Mang, Freddy Y. C.
1 Marron, Mark
1 Matic, Slobodan
1 McMillan, Kenneth L.
1 Meyerson, Adam
1 Mohajerin Esfahani, Peyman
1 Monmege, Benjamin
1 Necula, George C.
1 Podelski, Andreas
1 Qadeer, Shaz
1 Render, Elaine
1 Rosa-Velardo, Fernando
1 Rungger, Matthias
1 Saha, Indranil
1 Sanvido, Marco A. A.
1 Stefanovic, Darko
1 Vafeiadis, Viktor
1 van de Wouw, Nathan
1 Wang, Zilong
1 Weimer, Westley
1 Wong-Toi, Howard

Publications by Year

Citations contained in zbMATH

Access to citation profile requires subscription