×

zbMATH — the first resource for mathematics

Edit Profile

Majumdar, Rupak

Compute Distance To:
Author ID: majumdar.rupak
Published as: Majumdar; Majumdar, Rupak
External Links: MGP
Documents Indexed: 105 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
6 Prabhu, Vinayak S.
5 Chistikov, Dmitry V.
5 Dimitrova, Rayna
5 Esmaeil Zadeh Soudjani, Sadegh
4 Abate, Alessandro
4 Emmi, Michael
4 Faella, Marco
4 Raman, Vishwanath
4 Stoelinga, Mariëlle
3 Kupferman, Orna
3 Leroux, Jérôme
3 Meyer, Roland
3 Palsberg, Jens
3 Raskin, Jean-François
3 Rybalchenko, Andrey
3 Schmuck, Anne-Kathrin
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 Mallik, Kaushik
2 Niksic, Filip
2 Soudjani, Sadegh
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 Farahani, Samira S.
1 Ferrer Fioriti, Luis María
1 Fischer, Jeffrey M.
1 Gavran, Ivan
1 Gligoric, Milos
1 Gupta, Ashutosh
1 Havelund, Klaus
1 Hermanns, Holger
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 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 Nagapetyan, Tigran
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
all top 5

Serials

5 Formal Methods in System Design
5 Lecture Notes in Computer Science
4 Acta Informatica
4 IEEE Transactions on Automatic Control
2 Theoretical Computer Science
2 International Journal of Foundations of Computer Science
2 Logical Methods in Computer Science
1 International Journal of Game Theory
1 Journal of Computer and System Sciences
1 Systems & Control Letters
1 Information and Computation
1 Discrete Event Dynamic Systems
1 Journal of the ACM
1 ACM Transactions on Computational Logic
all top 5

Fields

90 Computer science (68-XX)
19 Systems theory; control (93-XX)
16 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
9 Mathematical logic and foundations (03-XX)
7 General and overarching topics; collections (00-XX)
4 Operations research, mathematical programming (90-XX)
3 Probability theory and stochastic processes (60-XX)
1 Numerical analysis (65-XX)
1 Mechanics of particles and systems (70-XX)
1 Information and communication theory, circuits (94-XX)

Publications by Year

Citations contained in zbMATH

Access to citation profile requires subscription