Krishnendu Chatterjee

Cited by

	All	Since 2018
Citations	14041	8058
h-index	61	44
i10-index	231	176

1700

850

425

1275

200520062007200820092010201120122013201420152016201720182019202020212022202340 55 116 117 210 251 351 469 505 781 924 902 1037 1026 1082 1273 1460 1550 1656

Public access

View all

222 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, 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
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
Christian HilbeMax Planck Institute for Evolutionary BiologyVerified email at evolbio.mpg.de
Petr NovotnýAssociate Professor, Faculty of Informatics, Masaryk UniversityVerified email at fi.muni.cz
Ivana BozicAssociate Professor of Applied Mathematics, University of WashingtonVerified email at uw.edu
Josef TkadlecCharles University, PragueVerified email at iuuk.mff.cuni.cz
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	662	2013
Handbook of model checking EM Clarke, TA Henzinger, H Veith, R Bloem Springer 10, 978-3, 2018	629	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	361	2017
Quantitative languages K Chatterjee, L Doyen, TA Henzinger ACM Transactions on Computational Logic (TOCL) 11 (4), 1-38, 2010	316	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	294	2008
Strategy logic K Chatterjee, TA Henzinger, N Piterman Information and Computation 208 (6), 677-693, 2010	268	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	261	2009
Algorithms for omega-regular games with imperfect information K Chatterjee, L Doyen, TA Henzinger, JF Raskin Logical Methods in Computer Science 3, 2007	231	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	216	2014
Quantitative stochastic parity games K Chatterjee, M Jurdzinski, TA Henzinger SODA 4, 121-130, 2004	204	2004
Energy parity games K Chatterjee, L Doyen Theoretical Computer Science 458, 49-60, 2012	203	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	191	2005
Evolution of cooperation in stochastic games C Hilbe, Š Šimsa, K Chatterjee, MA Nowak Nature 559 (7713), 246-249, 2018	172	2018
A survey of stochastic ω-regular games K Chatterjee, TA Henzinger Journal of Computer and System Sciences 78 (2), 394-413, 2012	168	2012
Markov decision processes with multiple objectives K Chatterjee, R Majumdar, TA Henzinger STACS 2006: 23rd Annual Symposium on Theoretical Aspects of Computer Science …, 2006	164	2006
Generalized mean-payoff and energy games K Chatterjee, L Doyen, TA Henzinger, JF Raskin arXiv preprint arXiv:1007.1669, 2010	159	2010
Simple stochastic parity games K Chatterjee, M Jurdziński, TA Henzinger International Workshop on Computer Science Logic, 100-113, 2003	158	2003
Environment assumptions for synthesis K Chatterjee, TA Henzinger, B Jobstmann CONCUR 2008-Concurrency Theory: 19th International Conference, CONCUR 2008 …, 2008	145	2008
On Nash equilibria in stochastic games K Chatterjee, R Majumdar, M Jurdziński International workshop on computer science logic, 26-40, 2004	136	2004
Strategy logic K Chatterjee, TA Henzinger, N Piterman CONCUR 2007–Concurrency Theory: 18th International Conference, CONCUR 2007 …, 2007	134	2007

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