Krishnendu Chatterjee

Cited by

	All	Since 2016
Citations	11667	7471
h-index	55	43
i10-index	243	202

2000

1000

500

1500

2005200620072008200920102011201220132014201520162017201820192020202135 57 117 128 219 266 383 511 517 791 969 949 1142 1241 1636 1981 504

New!

Public access

View all

226 articles

16 articles

available

not available

Based on funding mandates

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
Andreas PavlogiannisAssistant Professor, Aarhus UniversityVerified email at cs.au.dk
Luca de AlfaroProfessor, UC Santa CruzVerified email at alumni.stanford.edu
Rupak MajumdarMPI for Software SystemsVerified email at mpi-sws.org
Rasmus Ibsen-JensenLecturer, University of LiverpoolVerified email at liverpool.ac.uk
Amir GoharshadyHong Kong University of Science and Technology (HKUST)Verified email at ist.ac.at
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
Hongfei FuShanghai Jiao Tong UniversityVerified email at cs.sjtu.edu.cn
Tomas BrazdilMasaryk UniversityVerified email at fi.muni.cz
Barbara JobstmannScientist at EPFLVerified email at epfl.ch
Ivana BozicAssistant Professor of Applied Mathematics, University of WashingtonVerified email at uw.edu
Roderick BloemGraz University of TechnologyVerified email at iaik.tugraz.at
Jan KřetínskýTechnical University of Munich (tenure-track assistant professor)Verified email at fi.muni.cz
Bert VogelsteinJohns HopkinsVerified email at jhmi.edu
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 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	517	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	262	2008
Handbook of model checking EM Clarke, TA Henzinger, H Veith, R Bloem Springer, 2018	237	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	224	2017
Better quality in synthesis through quantitative objectives R Bloem, K Chatterjee, TA Henzinger, B Jobstmann International Conference on Computer Aided Verification, 140-156, 2009	218	2009
Strategy logic K Chatterjee, TA Henzinger, N Piterman Information and Computation 208 (6), 677-693, 2010	202	2010
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	201	2006
Quantitative stochastic parity games K Chatterjee, M Jurdziński, TA Henzinger Proceedings of the fifteenth annual ACM-SIAM symposium on Discrete …, 2004	186	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	163	2005
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	161	2014
Simple stochastic parity games K Chatterjee, M Jurdziński, TA Henzinger International Workshop on Computer Science Logic, 100-113, 2003	149	2003
Quantitative languages K Chatterjee, L Doyen, TA Henzinger ACM Transactions on Computational Logic (TOCL) 11 (4), 1-38, 2010	145	2010
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	141	2018
Synthesizing robust systems R Bloem, K Chatterjee, K Greimel, TA Henzinger, G Hofferek, ... Acta Informatica 51 (3-4), 193-220, 2014	139	2014
Markov decision processes with multiple objectives K Chatterjee, R Majumdar, TA Henzinger Annual symposium on theoretical aspects of computer science, 325-336, 2006	138	2006
Generalized mean-payoff and energy games K Chatterjee, L Doyen, TA Henzinger, JF Raskin arXiv preprint arXiv:1007.1669, 2010	136	2010
Quantitative languages K Chatterjee, L Doyen, TA Henzinger International Workshop on Computer Science Logic, 385-400, 2008	123	2008
Strategy logic K Chatterjee, TA Henzinger, N Piterman International Conference on Concurrency Theory, 59-73, 2007	121	2007
Search for dark matter in proton-proton collisions at 8 TeV with missing transverse momentum and vector boson tagged jets CMS collaboration arXiv preprint arXiv:1607.05764, 2016	118	2016
A survey of stochastic ω-regular games K Chatterjee, TA Henzinger Journal of Computer and System Sciences 78 (2), 394-413, 2012	116	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