Krishnendu Chatterjee - Google Scholar

Cited by

	All	Since 2015
Citations	10199	7055
h-index	50	42
i10-index	226	190

1600

800

400

1200

200520062007200820092010201120122013201420152016201720182019202035 56 116 127 215 267 375 492 523 776 971 919 1115 1168 1551 1320

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
Amir GoharshadyIST AustriaVerified email at ist.ac.at
Johannes ReiterAssistant Professor, Stanford UniversityVerified email at stanford.edu
Barbara JobstmannScientist at EPFLVerified email at epfl.ch
Tomas BrazdilMasaryk UniversityVerified email at fi.muni.cz
Hongfei FuShanghai Jiao Tong UniversityVerified email at cs.sjtu.edu.cn
Ivana BozicAssistant Professor of Applied Mathematics, University of WashingtonVerified email at uw.edu
Jan KřetínskýTechnical University of Munich (tenure-track assistant professor)Verified email at fi.muni.cz
Nir PitermanAssociate Professor in Computer Science, University of Gothenburg, SwedenVerified email at gu.se
Bert VogelsteinJohns HopkinsVerified email at jhmi.edu
Petr NovotnýAssistant Professor, Faculty of Informatics, Masaryk UniversityVerified email at mail.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

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	475	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	255	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	209	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	195	2006
Strategy logic K Chatterjee, TA Henzinger, N Piterman Information and Computation 208 (6), 677-693, 2010	194	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	192	2017
Quantitative stochastic parity games K Chatterjee, M Jurdziński, TA Henzinger Proceedings of the fifteenth annual ACM-SIAM symposium on Discrete …, 2004	182	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	154	2005
Simple stochastic parity games K Chatterjee, M Jurdziński, TA Henzinger International Workshop on Computer Science Logic, 100-113, 2003	143	2003
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	142	2014
Quantitative languages K Chatterjee, L Doyen, TA Henzinger ACM Transactions on Computational Logic (TOCL) 11 (4), 1-38, 2010	135	2010
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	132	2014
Markov decision processes with multiple objectives K Chatterjee, R Majumdar, TA Henzinger Annual Symposium on Theoretical Aspects of Computer Science, 325-336, 2006	127	2006
Quantitative languages K Chatterjee, L Doyen, TA Henzinger International Workshop on Computer Science Logic, 385-400, 2008	119	2008
Strategy logic K Chatterjee, TA Henzinger, N Piterman International Conference on Concurrency Theory, 59-73, 2007	118	2007
Evaluating the performance of suppliers based on using the R'AMATEL-MAIRCA method for green supply chain implementation in electronics industry K Chatterjee, D Pamucar, EK Zavadskas Journal of cleaner production 184, 101-129, 2018	115	2018
Games with secure equilibria K Chatterjee, TA Henzinger, M Jurdziński International Symposium on Formal Methods for Components and Objects, 141-161, 2004	114	2004
Environment assumptions for synthesis K Chatterjee, TA Henzinger, B Jobstmann International Conference on Concurrency Theory, 147-161, 2008	108	2008
A survey of stochastic ω-regular games K Chatterjee, TA Henzinger Journal of Computer and System Sciences 78 (2), 394-413, 2012	107	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