Krishnendu Chatterjee

Citirano

	Sve	Od 2017.
Citati	11967	6954
H-indeks	57	44
i10-indeks	205	161

1500

750

375

1125

20052006200720082009201020112012201320142015201620172018201920202021202234 55 117 123 218 263 368 488 505 784 961 886 1036 1044 1114 1289 1465 994

Javni pristup

Prikaži sve

242 članka

15 članaka

dostupno

nije dostupno

Na temelju uvjeta financiranja

Suautori

Thomas HenzingerISTAustriaPotvrđena adresa e-pošte na ist.ac.at
Martin NowakProfessor of Mathematics and Biology, Harvard UniversityPotvrđena adresa e-pošte na harvard.edu
Laurent DoyenCNRS - LSV, ENS CachanPotvrđena adresa e-pošte na lsv.fr
Andreas PavlogiannisAssistant Professor, Aarhus UniversityPotvrđena adresa e-pošte na cs.au.dk
Luca de AlfaroProfessor, UC Santa CruzPotvrđena adresa e-pošte na alumni.stanford.edu
Amir GoharshadyDepartment of Computer Science, HKUSTPotvrđena adresa e-pošte na cse.ust.hk
Rasmus Ibsen-JensenLecturer, University of LiverpoolPotvrđena adresa e-pošte na liverpool.ac.uk
Rupak MajumdarMPI for Software SystemsPotvrđena adresa e-pošte na mpi-sws.org
Hongfei FuShanghai Jiao Tong UniversityPotvrđena adresa e-pošte na cs.sjtu.edu.cn
Monika HenzingerProfessor of Computer Science, University of ViennaPotvrđena adresa e-pošte na univie.ac.at
Jean-François RaskinUniversité Libre de Bruxelles, U.L.B.Potvrđena adresa e-pošte na ulb.ac.be
Johannes ReiterAssistant Professor, Stanford UniversityPotvrđena adresa e-pošte na stanford.edu
Martin ChmelíkSoftware Engineer, GooglePotvrđena adresa e-pošte na google.com
Tomas BrazdilMasaryk UniversityPotvrđena adresa e-pošte na fi.muni.cz
Roderick BloemGraz University of TechnologyPotvrđena adresa e-pošte na iaik.tugraz.at
Ivana BozicAssistant Professor of Applied Mathematics, University of WashingtonPotvrđena adresa e-pošte na uw.edu
Barbara JobstmannScientist at EPFLPotvrđena adresa e-pošte na epfl.ch
Petr NovotnýAssistant Professor, Faculty of Informatics, Masaryk UniversityPotvrđena adresa e-pošte na fi.muni.cz
Jan KřetínskýTechnical University of MunichPotvrđena adresa e-pošte na fi.muni.cz
Christian HilbeMax Planck Institute for Evolutionary BiologyPotvrđena adresa e-pošte na evolbio.mpg.de

Prati

Krishnendu Chatterjee

Professor, IST Austria

Potvrđena adresa e-pošte na ist.ac.at - Početna stranica

Game theory Logic and automata theory Algorithms Evolutionary Game theory Algorithmic Game Theory


Naslov Poredaj po navodima Poredaj po godini Poredaj po naslovu	Citirano Citirano	Godina
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	598	2013
Handbook of model checking EM Clarke, TA Henzinger, H Veith, R Bloem Springer, 2018	429	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	294	2017
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	283	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	242	2009
Strategy logic K Chatterjee, TA Henzinger, N Piterman Information and Computation 208 (6), 677-693, 2010	239	2010
Algorithms for omega-regular games with imperfect information JF Raskin, TA Henzinger, L Doyen, K Chatterjee Logical Methods in Computer Science 3, 2007	217	2007
Quantitative stochastic parity games K Chatterjee, M Jurdziński, TA Henzinger Proceedings of the fifteenth annual ACM-SIAM symposium on Discrete …, 2004	197	2004
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	189	2014
Mean-payoff parity games K Chatterjee, TA Henzinger, M Jurdzinski 20th Annual IEEE Symposium on Logic in Computer Science (LICS'05), 178-187, 2005	179	2005
Quantitative languages K Chatterjee, L Doyen, TA Henzinger ACM Transactions on Computational Logic (TOCL) 11 (4), 1-38, 2010	169	2010
Simple stochastic parity games K Chatterjee, M Jurdziński, TA Henzinger International Workshop on Computer Science Logic, 100-113, 2003	159	2003
Markov decision processes with multiple objectives K Chatterjee, R Majumdar, TA Henzinger Annual symposium on theoretical aspects of computer science, 325-336, 2006	154	2006
Generalized mean-payoff and energy games K Chatterjee, L Doyen, TA Henzinger, JF Raskin arXiv preprint arXiv:1007.1669, 2010	149	2010
A survey of stochastic ω-regular games K Chatterjee, TA Henzinger Journal of Computer and System Sciences 78 (2), 394-413, 2012	146	2012
Strategy logic K Chatterjee, TA Henzinger, N Piterman International Conference on Concurrency Theory, 59-73, 2007	133	2007
Quantitative languages K Chatterjee, L Doyen, TA Henzinger International Workshop on Computer Science Logic, 385-400, 2008	130	2008
Environment assumptions for synthesis K Chatterjee, TA Henzinger, B Jobstmann International Conference on Concurrency Theory, 147-161, 2008	128	2008
On Nash equilibria in stochastic games K Chatterjee, R Majumdar, M Jurdziński International workshop on computer science logic, 26-40, 2004	128	2004
Games with secure equilibria K Chatterjee, TA Henzinger, M Jurdziński International Symposium on Formal Methods for Components and Objects, 141-161, 2004	122	2004

Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.

Članci 1–20

Godišnji broj citata

Dvostruki navodi

Spojeni navodi

Dodavanje suautoraSuautori

Prati

Citirano

Suautori