Krishnendu Chatterjee

Cited by

	All	Since 2018
Citations	13270	7241
h-index	60	43
i10-index	223	165

1600

800

400

1200

20062007200820092010201120122013201420152016201720182019202020212022202357 113 116 216 248 350 492 511 791 955 900 1041 1043 1092 1274 1468 1560 795

Public access

View all

214 articles

10 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 - LMF, ENS Paris-SaclayVerified email at lsv.fr
Andreas PavlogiannisAssistant Professor, Aarhus UniversityVerified email at cs.au.dk
Amir GoharshadyHong Kong University of Science and Technology (HKUST)Verified email at cse.ust.hk
Luca de AlfaroProfessor, UC Santa CruzVerified email at alumni.stanford.edu
Rasmus Ibsen-JensenLecturer, University of LiverpoolVerified email at liverpool.ac.uk
Rupak MajumdarMPI for Software SystemsVerified email at mpi-sws.org
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
Monika HenzingerProfessor of Computer Science, Institute of Science and Technology Austria (ISTA)Verified email at ist.ac.at
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
Ivana BozicAssociate 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
Josef TkadlecHarvard UniversityVerified email at fas.harvard.edu
Christian HilbeMax Planck Institute for Evolutionary BiologyVerified email at evolbio.mpg.de
Roderick BloemGraz University of TechnologyVerified email at iaik.tugraz.at
Jan KřetínskýTechnical University of MunichVerified email at fi.muni.cz

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	639	2013
Handbook of model checking EM Clarke, TA Henzinger, H Veith, R Bloem Springer, 2018	553	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	347	2017
Quantitative languages K Chatterjee, L Doyen, TA Henzinger ACM Transactions on Computational Logic (TOCL) 11 (4), 1-38, 2010	311	2010
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	291	2008
Strategy logic K Chatterjee, TA Henzinger, N Piterman Information and Computation 208 (6), 677-693, 2010	258	2010
Better quality in synthesis through quantitative objectives R Bloem, K Chatterjee, TA Henzinger, B Jobstmann Computer Aided Verification: 21st International Conference, CAV 2009 …, 2009	255	2009
Algorithms for omega-regular games with imperfect information K Chatterjee, L Doyen, TA Henzinger, JF Raskin Logical Methods in Computer Science 3, 2007	227	2007
Verification of Markov decision processes using learning algorithms T Brázdil, K Chatterjee, M Chmelik, V Forejt, J Křetínský, M Kwiatkowska, ... Automated Technology for Verification and Analysis: 12th International …, 2014	209	2014
Quantitative stochastic parity games K Chatterjee, M Jurdzinski, TA Henzinger SODA 4, 121-130, 2004	202	2004
Energy parity games K Chatterjee, L Doyen Theoretical Computer Science 458, 49-60, 2012	199	2012
Mean-payoff parity games K Chatterjee, TA Henzinger, M Jurdzinski 20th Annual IEEE Symposium on Logic in Computer Science (LICS'05), 178-187, 2005	190	2005
Markov decision processes with multiple objectives K Chatterjee, R Majumdar, TA Henzinger STACS 2006: 23rd Annual Symposium on Theoretical Aspects of Computer Science …, 2006	163	2006
A survey of stochastic ω-regular games K Chatterjee, TA Henzinger Journal of Computer and System Sciences 78 (2), 394-413, 2012	162	2012
Simple stochastic parity games K Chatterjee, M Jurdziński, TA Henzinger Computer Science Logic: 17th International Workshop CSL 2003, 12th Annual …, 2003	160	2003
Generalized mean-payoff and energy games K Chatterjee, L Doyen, TA Henzinger, JF Raskin arXiv preprint arXiv:1007.1669, 2010	156	2010
Evolution of cooperation in stochastic games C Hilbe, Š Šimsa, K Chatterjee, MA Nowak Nature 559 (7713), 246-249, 2018	152	2018
Environment assumptions for synthesis K Chatterjee, TA Henzinger, B Jobstmann CONCUR 2008-Concurrency Theory: 19th International Conference, CONCUR 2008 …, 2008	139	2008
Strategy logic K Chatterjee, TA Henzinger, N Piterman CONCUR 2007–Concurrency Theory: 18th International Conference, CONCUR 2007 …, 2007	136	2007
On Nash equilibria in stochastic games K Chatterjee, R Majumdar, M Jurdziński Computer Science Logic: 18th International Workshop, CSL 2004, 13th Annual …, 2004	135	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

Cited by

Co-authors