Handbook of model checking EM Clarke, TA Henzinger, H Veith, R Bloem Springer 10, 978-3, 2018 | 757 | 2018 |
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 | 691 | 2013 |
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 | 387 | 2017 |
Quantitative languages K Chatterjee, L Doyen, TA Henzinger ACM Transactions on Computational Logic (TOCL) 11 (4), 1-38, 2010 | 322 | 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 | 298 | 2008 |
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 | 294* | 2006 |
Strategy logic K Chatterjee, TA Henzinger, N Piterman Information and Computation 208 (6), 677-693, 2010 | 277 | 2010 |
Better quality in synthesis through quantitative objectives R Bloem, K Chatterjee, TA Henzinger, B Jobstmann Computer Aided Verification: 21st International Conference, CAV 2009 …, 2009 | 257 | 2009 |
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 | 236 | 2014 |
Energy parity games K Chatterjee, L Doyen Theoretical Computer Science 458, 49-60, 2012 | 210 | 2012 |
Quantitative stochastic parity games K Chatterjee, M Jurdzinski, TA Henzinger SODA 4, 121-130, 2004 | 207 | 2004 |
Evolution of cooperation in stochastic games C Hilbe, Š Šimsa, K Chatterjee, MA Nowak Nature 559 (7713), 246-249, 2018 | 200 | 2018 |
Mean-payoff parity games K Chatterjee, TA Henzinger, M Jurdzinski 20th Annual IEEE Symposium on Logic in Computer Science (LICS'05), 178-187, 2005 | 192 | 2005 |
A survey of stochastic ω-regular games K Chatterjee, TA Henzinger Journal of Computer and System Sciences 78 (2), 394-413, 2012 | 178 | 2012 |
Markov decision processes with multiple objectives K Chatterjee, R Majumdar, TA Henzinger STACS 2006: 23rd Annual Symposium on Theoretical Aspects of Computer Science …, 2006 | 172 | 2006 |
Generalized mean-payoff and energy games K Chatterjee, L Doyen, TA Henzinger, JF Raskin arXiv preprint arXiv:1007.1669, 2010 | 165 | 2010 |
Simple stochastic parity games K Chatterjee, M Jurdziński, TA Henzinger International Workshop on Computer Science Logic, 100-113, 2003 | 164 | 2003 |
Social dilemmas among unequals OP Hauser, C Hilbe, K Chatterjee, MA Nowak Nature 572 (7770), 524-527, 2019 | 152 | 2019 |
Environment assumptions for synthesis K Chatterjee, TA Henzinger, B Jobstmann CONCUR 2008-Concurrency Theory: 19th International Conference, CONCUR 2008 …, 2008 | 147 | 2008 |
On Nash equilibria in stochastic games K Chatterjee, R Majumdar, M Jurdziński International workshop on computer science logic, 26-40, 2004 | 141 | 2004 |