Edit Profile Majumdar, Rupak Compute Distance To: Compute Author ID: majumdar.rupak Published as: Majumdar; Majumdar, Rupak External Links: MGP · Wikidata Documents Indexed: 108 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 7 Prabhu, Vinayak S. 6 Dimitrova, Rayna 6 Esmaeil Zadeh Soudjani, Sadegh 5 Chistikov, Dmitry V. 5 Schmuck, Anne-Kathrin 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 Mallik, Kaushik 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 Gavran, Ivan 2 Horowitz, Benjamin 2 Hsu, Kyle 2 Hüchting, Reiner 2 Kuncak, Viktor 2 Ma, Di 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 Gligorić, Miloš V. 1 Gupta, Ashutosh 1 Havelund, Klaus 1 Hermanns, Holger 1 Hoenicke, Jochen 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 Moor, Thomas 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 Discrete Event Dynamic Systems 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 Journal of the ACM 1 ACM Transactions on Computational Logic all top 5 Fields 92 Computer science (68-XX) 21 Systems theory; control (93-XX) 18 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 Wikidata Timeline