Krishnendu Chatterjee

Cited by

	All	Since 2017
Citations	12809	7702
h-index	59	45
i10-index	237	190

1900

950

475

1425

20052006200720082009201020112012201320142015201620172018201920202021202234 54 117 126 213 272 374 507 511 803 973 917 1114 1129 1356 1536 1818 735

Public access

View all

267 articles

15 articles

available

not available

Based on funding mandates

Co-authors

Thomas HenzingerIST AustriaVerified email at ist.ac.at
Martin NowakProfessor of Mathematics and Biology, Harvard UniversityVerified email at harvard.edu
Laurent DoyenCNRS - LSV, ENS CachanVerified email at lsv.fr
Andreas PavlogiannisAssistant Professor, Aarhus UniversityVerified email at cs.au.dk
Luca de AlfaroProfessor, UC Santa CruzVerified email at alumni.stanford.edu
Amir GoharshadyProgramming Languages and VerificationVerified email at ist.ac.at
Rasmus Ibsen-JensenLecturer, University of LiverpoolVerified email at liverpool.ac.uk
Rupak MajumdarMPI for Software SystemsVerified email at mpi-sws.org
Monika HenzingerProfessor of Computer Science, University of ViennaVerified email at univie.ac.at
Hongfei FuShanghai Jiao Tong UniversityVerified email at cs.sjtu.edu.cn
Jean-François RaskinUniversité Libre de Bruxelles, U.L.B.Verified email at ulb.ac.be
Johannes ReiterAssistant Professor, Stanford UniversityVerified email at stanford.edu
Martin ChmelíkSoftware Engineer, GoogleVerified email at google.com
Tomas BrazdilMasaryk UniversityVerified email at fi.muni.cz
Roderick BloemGraz University of TechnologyVerified email at iaik.tugraz.at
Barbara JobstmannScientist at EPFLVerified email at epfl.ch
Ivana BozicAssistant Professor of Applied Mathematics, University of WashingtonVerified email at uw.edu
Petr NovotnýAssistant Professor, Faculty of Informatics, Masaryk UniversityVerified email at fi.muni.cz
Jan KřetínskýTechnical University of MunichVerified email at fi.muni.cz
Bert VogelsteinJohns HopkinsVerified email at jhmi.edu

Krishnendu Chatterjee

Professor, IST Austria

Verified email at ist.ac.at - Homepage

Game theory Logic and automata theory Algorithms Evolutionary Game theory Algorithmic Game Theory


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Evolutionary dynamics of cancer in response to targeted combination therapy I Bozic, JG Reiter, B Allen, T Antal, K Chatterjee, P Shah, YS Moon, ... elife 2, e00747, 2013	577	2013
Handbook of model checking EM Clarke, TA Henzinger, H Veith, R Bloem Springer, 2018	387	2018
Limited heterogeneity of known driver gene mutations among the metastases of individual patients with pancreatic cancer AP Makohon-Moore, M Zhang, JG Reiter, I Bozic, B Allen, D Kundu, ... Nature genetics 49 (3), 358-366, 2017	280	2017
Assigning trust to Wikipedia content BT Adler, K Chatterjee, L De Alfaro, M Faella, I Pye, V Raman Proceedings of the 4th International Symposium on Wikis, 1-12, 2008	279	2008
Better quality in synthesis through quantitative objectives R Bloem, K Chatterjee, TA Henzinger, B Jobstmann International Conference on Computer Aided Verification, 140-156, 2009	239	2009
Strategy logic K Chatterjee, TA Henzinger, N Piterman Information and Computation 208 (6), 677-693, 2010	232	2010
Algorithms for omega-regular games with imperfect information JF Raskin, TA Henzinger, L Doyen, K Chatterjee Logical Methods in Computer Science 3, 2007	212	2007
Quantitative stochastic parity games K Chatterjee, M Jurdziński, TA Henzinger Proceedings of the fifteenth annual ACM-SIAM symposium on Discrete …, 2004	195	2004
Verification of Markov decision processes using learning algorithms T Brázdil, K Chatterjee, M Chmelik, V Forejt, J Křetínský, M Kwiatkowska, ... International Symposium on Automated Technology for Verification and …, 2014	184	2014
Mean-payoff parity games K Chatterjee, TA Henzinger, M Jurdzinski 20th Annual IEEE Symposium on Logic in Computer Science (LICS'05), 178-187, 2005	180	2005
Quantitative languages K Chatterjee, L Doyen, TA Henzinger ACM Transactions on Computational Logic (TOCL) 11 (4), 1-38, 2010	167	2010
Simple stochastic parity games K Chatterjee, M Jurdziński, TA Henzinger International Workshop on Computer Science Logic, 100-113, 2003	158	2003
Markov decision processes with multiple objectives K Chatterjee, R Majumdar, TA Henzinger Annual symposium on theoretical aspects of computer science, 325-336, 2006	154	2006
Synthesizing robust systems R Bloem, K Chatterjee, K Greimel, TA Henzinger, G Hofferek, ... Acta Informatica 51 (3), 193-220, 2014	152	2014
Generalized mean-payoff and energy games K Chatterjee, L Doyen, TA Henzinger, JF Raskin arXiv preprint arXiv:1007.1669, 2010	150	2010
A survey of stochastic ω-regular games K Chatterjee, TA Henzinger Journal of Computer and System Sciences 78 (2), 394-413, 2012	146	2012
Strategy logic K Chatterjee, TA Henzinger, N Piterman International Conference on Concurrency Theory, 59-73, 2007	133	2007
Quantitative languages K Chatterjee, L Doyen, TA Henzinger International Workshop on Computer Science Logic, 385-400, 2008	131	2008
On Nash equilibria in stochastic games K Chatterjee, R Majumdar, M Jurdziński International workshop on computer science logic, 26-40, 2004	128	2004
Games with secure equilibria K Chatterjee, TA Henzinger, M Jurdziński International Symposium on Formal Methods for Components and Objects, 141-161, 2004	122	2004

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow this author

Cited by

Co-authors