Krishnendu Chatterjee - Google Scholar Citations

Cited by

	All	Since 2015
Citations	9687	6555
h-index	50	41
i10-index	213	180

1600

800

400

1200

2004200520062007200820092010201120122013201420152016201720182019202024 35 56 116 127 215 267 375 493 521 776 962 926 1100 1187 1560 809

Co-authors

Thomas HenzingerIST AustriaVerified email at ist.ac.at
Laurent DoyenCNRS - LSV, ENS CachanVerified email at lsv.fr
Martin NowakProfessor of Mathematics and Biology, Harvard UniversityVerified email at harvard.edu
Luca de AlfaroProfessor, UC Santa CruzVerified email at UCSC.edu
Andreas PavlogiannisAarhus UniversityVerified email at cs.au.dk
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, University of ViennaVerified email at univie.ac.at
Johannes ReiterAssistant Professor, Stanford UniversityVerified email at stanford.edu
Amir GoharshadyIST AustriaVerified email at ist.ac.at
Barbara JobstmannScientist at EPFLVerified email at epfl.ch
Ivana BozicAssistant Professor of Applied Mathematics, University of WashingtonVerified email at uw.edu
Tomas BrazdilMasaryk UniversityVerified email at fi.muni.cz
Hongfei FuShanghai Jiao Tong UniversityVerified email at cs.sjtu.edu.cn
Bert VogelsteinJohns HopkinsVerified email at jhmi.edu
Jan KřetínskýTechnical University of Munich (tenure-track assistant professor)Verified email at fi.muni.cz
Roderick BloemGraz University of TechnologyVerified email at iaik.tugraz.at
Marcin JurdzińskiUniversity of Warwick, Department of Computer ScienceVerified email at warwick.ac.uk
Nir PitermanAssociate Professor in Computer Science, University of Gothenburg, SwedenVerified email at gu.se
Petr NovotnýAssistant Professor, Faculty of Informatics, Masaryk UniversityVerified email at mail.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	462	2013
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	254	2008
Better quality in synthesis through quantitative objectives R Bloem, K Chatterjee, TA Henzinger, B Jobstmann International Conference on Computer Aided Verification, 140-156, 2009	204	2009
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	193	2006
Strategy logic K Chatterjee, TA Henzinger, N Piterman Information and Computation 208 (6), 677-693, 2010	187	2010
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	179	2017
Quantitative stochastic parity games K Chatterjee, M Jurdziński, TA Henzinger Proceedings of the fifteenth annual ACM-SIAM symposium on Discrete …, 2004	176	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	149	2005
Simple stochastic parity games K Chatterjee, M Jurdziński, TA Henzinger International Workshop on Computer Science Logic, 100-113, 2003	141	2003
Generalized mean-payoff and energy games K Chatterjee, L Doyen, TA Henzinger, JF Raskin arXiv preprint arXiv:1007.1669, 2010	134	2010
Synthesizing robust systems R Bloem, K Chatterjee, K Greimel, TA Henzinger, G Hofferek, ... Acta Informatica 51 (3-4), 193-220, 2014	131	2014
Quantitative languages K Chatterjee, L Doyen, TA Henzinger ACM Transactions on Computational Logic (TOCL) 11 (4), 1-38, 2010	131	2010
Verification of Markov decision processes using learning algorithms T Brázdil, K Chatterjee, M Chmelik, V Forejt, J Křetínský, M Kwiatkowska, ... International Symposium on Automated Technology for Verification and …, 2014	128	2014
Markov decision processes with multiple objectives K Chatterjee, R Majumdar, TA Henzinger Annual Symposium on Theoretical Aspects of Computer Science, 325-336, 2006	124	2006
Quantitative languages K Chatterjee, L Doyen, TA Henzinger International Workshop on Computer Science Logic, 385-400, 2008	118	2008
Strategy logic K Chatterjee, TA Henzinger, N Piterman International Conference on Concurrency Theory, 59-73, 2007	116	2007
Games with secure equilibria K Chatterjee, TA Henzinger, M Jurdziński International Symposium on Formal Methods for Components and Objects, 141-161, 2004	109	2004
Environment assumptions for synthesis K Chatterjee, TA Henzinger, B Jobstmann International Conference on Concurrency Theory, 147-161, 2008	105	2008
On Nash equilibria in stochastic games K Chatterjee, R Majumdar, M Jurdziński International Workshop on Computer Science Logic, 26-40, 2004	102	2004
A survey of stochastic ω-regular games K Chatterjee, TA Henzinger Journal of Computer and System Sciences 78 (2), 394-413, 2012	100	2012

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

Upload PDF

Follow this author

Cited by

Co-authors