Krishnendu Chatterjee

Cited by

	All	Since 2018
Citations	12646	6612
h-index	58	39
i10-index	215	159

1600

800

400

1200

200520062007200820092010201120122013201420152016201720182019202020212022202332 55 113 119 215 248 352 490 512 787 962 900 1039 1042 1098 1273 1463 1543 185

Public access

View all

213 articles

10 articles

available

not available

Based on funding mandates

Co-authors

Thomas HenzingerISTAustriaVerified 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
Jean-François RaskinUniversité Libre de Bruxelles, U.L.B.Verified email at ulb.ac.be
Hongfei FuShanghai Jiao Tong UniversityVerified email at cs.sjtu.edu.cn
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
Roderick BloemGraz University of TechnologyVerified email at iaik.tugraz.at
Christian HilbeMax Planck Institute for Evolutionary BiologyVerified email at evolbio.mpg.de
Josef TkadlecHarvard UniversityVerified email at fas.harvard.edu
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	625	2013
Handbook of model checking EM Clarke, TA Henzinger, H Veith, R Bloem Springer, 2018	495	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	324	2017
Quantitative languages K Chatterjee, L Doyen, TA Henzinger ACM Transactions on Computational Logic (TOCL) 11 (4), 1-38, 2010	307	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	286	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	249	2009
Strategy logic K Chatterjee, TA Henzinger, N Piterman Information and Computation 208 (6), 677-693, 2010	248	2010
Algorithms for omega-regular games with imperfect information JF Raskin, TA Henzinger, L Doyen, K Chatterjee Logical Methods in Computer Science 3, 2007	220	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	201	2014
Quantitative stochastic parity games K Chatterjee, M Jurdzinski, TA Henzinger SODA 4, 121-130, 2004	198	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	184	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	159	2006
Simple stochastic parity games K Chatterjee, M Jurdziński, TA Henzinger Computer Science Logic: 17th International Workshop CSL 2003, 12th Annual …, 2003	158	2003
A survey of stochastic ω-regular games K Chatterjee, TA Henzinger Journal of Computer and System Sciences 78 (2), 394-413, 2012	156	2012
Generalized mean-payoff and energy games K Chatterjee, L Doyen, TA Henzinger, JF Raskin arXiv preprint arXiv:1007.1669, 2010	152	2010
Environment assumptions for synthesis K Chatterjee, TA Henzinger, B Jobstmann CONCUR 2008-Concurrency Theory: 19th International Conference, CONCUR 2008 …, 2008	137	2008
Evolution of cooperation in stochastic games C Hilbe, Š Šimsa, K Chatterjee, MA Nowak Nature 559 (7713), 246-249, 2018	135	2018
Strategy logic K Chatterjee, TA Henzinger, N Piterman CONCUR 2007–Concurrency Theory: 18th International Conference, CONCUR 2007 …, 2007	133	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