Edit Profile Chatterjee, Krishnendu Compute Distance To: Compute Author ID: chatterjee.krishnendu Published as: Chatterjee, K.; Chatterjee, Krishnendu Homepage: http://pub.ist.ac.at/~kchatterjee/ External Links: MGP · Wikidata · ORCID · dblp · GND Documents Indexed: 199 Publications since 2003, including 2 Books all top 5 Co-Authors 11 single-authored 70 Henzinger, Thomas A. 35 Doyen, Laurent 15 Majumdar, Rupak 15 Rauch Henzinger, Monika 12 Ibsen-Jensen, Rasmus 11 Chmelík, Martin 10 de Alfaro, Luca 10 Otop, Jan 10 Raskin, Jean-François 8 Velner, Yaron 7 Brázdil, Tomáš 7 Křetínský, Jan 7 Loitzenbauer, Veronika 7 Pavlogiannis, Andreas 7 Prabhu, Vinayak S. 6 Jobstmann, Barbara 6 Nowak, Martin Andreas 5 Dvořák, Wolfgang 5 Forejt, Vojtěch 5 Jurdziński, Marcin 5 Raman, Vishwanath 4 Bloem, Roderick 4 Horn, Florian 4 Kucera, Antonin 4 Piterman, Nir 4 Randour, Mickael 3 Belta, Calin 3 Černá, Ivana 3 Chakrabarti, Partha Pratim 3 Dasgupta, Pallab 3 Fu, Hongfei 3 Gimbert, Hugo 3 Goharshady, Amir Kafshdar 3 Joglekar, Manas R. 3 Krinninger, Sebastian 3 Novotný, Petr 3 Shah, Nisarg 3 Singh, Rohit R. 3 Svoreňová, Mária 3 Tracol, Mathieu 2 Berwanger, Dietmar 2 Chaubal, Siddhesh 2 Faella, Marco 2 Fijalkow, Nathanaël 2 Filiot, Emmanuel 2 Könighofer, Robert 2 Kößler, Alexander 2 Kupferman, Orna 2 Ma, Di 2 Nanongkai, Danupon 2 Palsberg, Jens 2 Priklopil, Tadeas 2 Schmid, Ulrich 2 Sgall, Jiří 2 Svozil, Alexander 2 Vardi, Moshe Y. 2 Zhao, Tian 1 Adlam, Ben 1 Bérard, Béatrice 1 Boker, Udi 1 Brožek, Václav 1 Chakrabarti, Arindam 1 Daca, Przemysław 1 De Wulf, Martin 1 Edelsbrunner, Herbert 1 Ehlers, Rüdiger 1 Eniser, Hasan Ferit 1 Fellner, Andreas 1 Goyal, Prateesh 1 Greimel, Karin 1 Gupta, Raghav 1 Hansen, Kristoffer Arnsfelt 1 Hasheminezhad, Rouzbeh 1 Hofferek, Georg 1 Jacobs, Swen 1 Kamath, Pritish 1 Kanodia, Ayush 1 Komárková, Zuzana 1 Könighofer, Bettina 1 Kragl, Bernhard 1 Křetínská, Zuzana 1 Kwiatkowska, Marta Z. 1 Leahy, Kevin 1 Legay, Axel 1 Löding, Christof 1 Mishra, Samarth 1 Nain, Sumit 1 Novak, Sebastian 1 Osang, Georg 1 Oualhadj, Youssouf 1 Parker, David J. 1 Rabinovich, Alexander 1 Raje, Sangram 1 Rannou, Philippe 1 Raskin, Michael A. 1 Reiter, Johannes G. 1 Rubin, Sasha 1 Sen, Koushik 1 Sznajder, Nathalie 1 Toman, Viktor ...and 5 more Co-Authors all top 5 Serials 12 Information and Computation 10 Logical Methods in Computer Science 6 ACM Transactions on Computational Logic 5 Journal of Computer and System Sciences 5 Theoretical Computer Science 4 Information Processing Letters 4 Formal Methods in System Design 3 Acta Informatica 3 Journal of the ACM 3 Journal of Theoretical Biology 2 Artificial Intelligence 2 International Journal of Foundations of Computer Science 2 Lecture Notes in Computer Science 1 IEEE Transactions on Automatic Control 1 International Journal of Game Theory 1 The Journal of Symbolic Logic 1 Theoretical Population Biology 1 Algorithmica 1 Journal of Automated Reasoning 1 Formal Aspects of Computing 1 Real-Time Systems 1 Nonlinear Analysis. Hybrid Systems 1 Games 1 Proceedings of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences all top 5 Fields 173 Computer science (68-XX) 113 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 27 Operations research, mathematical programming (90-XX) 16 Mathematical logic and foundations (03-XX) 14 Combinatorics (05-XX) 11 Systems theory; control (93-XX) 4 General and overarching topics; collections (00-XX) 3 Biology and other natural sciences (92-XX) 2 Information and communication theory, circuits (94-XX) 1 Probability theory and stochastic processes (60-XX) Publications by Year Citations contained in zbMATH Access to citation profile requires subscription Wikidata Timeline