Krishnendu Chatterjee

Cited by

	All	Since 2019
Citations	15977	8939
h-index	65	48
i10-index	247	179

1800

900

450

1350

2005200620072008200920102011201220132014201520162017201820192020202120222023202442 60 118 113 212 252 370 453 501 792 913 904 1034 1041 1078 1309 1459 1560 1792 1728

Public access

View all

237 articles

11 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 PavlogiannisAssociate Professor, Aarhus UniversityVerified email at cs.au.dk
Amir GoharshadyHong Kong University of Science and Technology (HKUST)Verified email at cse.ust.hk
Rasmus Ibsen-JensenLecturer, University of LiverpoolVerified email at liverpool.ac.uk
Luca de AlfaroProfessor, Computer Science and Engineering, UC Santa CruzVerified email at alumni.stanford.edu
Hongfei FuShanghai Jiao Tong UniversityVerified email at cs.sjtu.edu.cn
Rupak MajumdarMPI for Software SystemsVerified email at mpi-sws.org
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
Christian HilbeMax Planck Institute for Evolutionary BiologyVerified email at evolbio.mpg.de
Johannes ReiterAssistant Professor, Stanford UniversityVerified email at stanford.edu
Martin ChmelíkSoftware Engineer, GoogleVerified email at google.com
Josef TkadlecCharles University, PragueVerified email at iuuk.mff.cuni.cz
Petr NovotnýAssociate Professor, Faculty of Informatics, Masaryk UniversityVerified email at fi.muni.cz
Tomas BrazdilMasaryk UniversityVerified email at fi.muni.cz
Ivana BozicAssociate Professor of Applied Mathematics, University of WashingtonVerified email at uw.edu
Roderick BloemGraz University of TechnologyVerified email at iaik.tugraz.at
Jan KřetínskýMasaryk University Brno; 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
Handbook of model checking EM Clarke, TA Henzinger, H Veith, R Bloem Springer 10, 978-3, 2018	821	2018
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	710	2013
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	408	2017
Quantitative languages K Chatterjee, L Doyen, TA Henzinger ACM Transactions on Computational Logic (TOCL) 11 (4), 1-38, 2010	332	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	301	2008
Algorithms for omega-regular games with imperfect information K Chatterjee, L Doyen, TA Henzinger, JF Raskin International Workshop on Computer Science Logic, 287-302, 2006	298*	2006
Strategy logic K Chatterjee, TA Henzinger, N Piterman Information and Computation 208 (6), 677-693, 2010	287	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	259	2009
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	247	2014
Evolution of cooperation in stochastic games C Hilbe, Š Šimsa, K Chatterjee, MA Nowak Nature 559 (7713), 246-249, 2018	221	2018
Energy parity games K Chatterjee, L Doyen Theoretical Computer Science 458, 49-60, 2012	215	2012
Quantitative stochastic parity games K Chatterjee, M Jurdzinski, TA Henzinger SODA 4, 121-130, 2004	208	2004
Mean-payoff parity games K Chatterjee, TA Henzinger, M Jurdzinski 20th Annual IEEE Symposium on Logic in Computer Science (LICS'05), 178-187, 2005	192	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	184	2006
A survey of stochastic ω-regular games K Chatterjee, TA Henzinger Journal of Computer and System Sciences 78 (2), 394-413, 2012	180	2012
Generalized mean-payoff and energy games K Chatterjee, L Doyen, TA Henzinger, JF Raskin arXiv preprint arXiv:1007.1669, 2010	167	2010
Social dilemmas among unequals OP Hauser, C Hilbe, K Chatterjee, MA Nowak Nature 572 (7770), 524-527, 2019	165	2019
Simple stochastic parity games K Chatterjee, M Jurdziński, TA Henzinger International Workshop on Computer Science Logic, 100-113, 2003	165	2003
Indirect reciprocity with private, noisy, and incomplete information C Hilbe, L Schmid, J Tkadlec, K Chatterjee, MA Nowak Proceedings of the national academy of sciences 115 (48), 12241-12246, 2018	149	2018
Partners and rivals in direct reciprocity C Hilbe, K Chatterjee, MA Nowak Nature human behaviour 2 (7), 469-477, 2018	149	2018

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