Krishnendu Chatterjee

Cited by

	All	Since 2018
Citations	12881	6849
h-index	58	41
i10-index	218	162

1600

800

400

1200

200520062007200820092010201120122013201420152016201720182019202020212022202332 55 113 119 215 248 352 490 512 786 963 900 1039 1043 1098 1277 1461 1556 405

Public access

View all

217 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, University of ViennaVerified email at univie.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 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
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	628	2013
Handbook of model checking EM Clarke, TA Henzinger, H Veith, R Bloem Springer, 2018	518	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	338	2017
Quantitative languages K Chatterjee, L Doyen, TA Henzinger ACM Transactions on Computational Logic (TOCL) 11 (4), 1-38, 2010	310	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	287	2008
Better quality in synthesis through quantitative objectives R Bloem, K Chatterjee, TA Henzinger, B Jobstmann Computer Aided Verification: 21st International Conference, CAV 2009 …, 2009	252	2009
Strategy logic K Chatterjee, TA Henzinger, N Piterman Information and Computation 208 (6), 677-693, 2010	251	2010
Algorithms for omega-regular games with imperfect information JF Raskin, TA Henzinger, L Doyen, K Chatterjee Logical Methods in Computer Science 3, 2007	223	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	205	2014
Quantitative stochastic parity games K Chatterjee, M Jurdzinski, TA Henzinger SODA 4, 121-130, 2004	200	2004
Energy parity games K Chatterjee, L Doyen Theoretical Computer Science 458, 49-60, 2012	192	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	185	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	161	2006
Simple stochastic parity games K Chatterjee, M Jurdziński, TA Henzinger Computer Science Logic: 17th International Workshop CSL 2003, 12th Annual …, 2003	160	2003
A survey of stochastic ω-regular games K Chatterjee, TA Henzinger Journal of Computer and System Sciences 78 (2), 394-413, 2012	159	2012
Generalized mean-payoff and energy games K Chatterjee, L Doyen, TA Henzinger, JF Raskin arXiv preprint arXiv:1007.1669, 2010	153	2010
Evolution of cooperation in stochastic games C Hilbe, Š Šimsa, K Chatterjee, MA Nowak Nature 559 (7713), 246-249, 2018	144	2018
Environment assumptions for synthesis K Chatterjee, TA Henzinger, B Jobstmann CONCUR 2008-Concurrency Theory: 19th International Conference, CONCUR 2008 …, 2008	138	2008
Strategy logic K Chatterjee, TA Henzinger, N Piterman CONCUR 2007–Concurrency Theory: 18th International Conference, CONCUR 2007 …, 2007	134	2007
On Nash equilibria in stochastic games K Chatterjee, R Majumdar, M Jurdzinski CSL 4, 26-40, 2004	130	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