| Handbook of model checking EM Clarke, TA Henzinger, H Veith, R Bloem Springer 10, 978-3, 2018 | 1023 | 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 | 764 | 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 | 459 | 2017 |
| Quantitative languages K Chatterjee, L Doyen, TA Henzinger ACM Transactions on Computational Logic (TOCL) 11 (4), 1-38, 2010 | 353 | 2010 |
| Strategy logic K Chatterjee, TA Henzinger, N Piterman Information and Computation 208 (6), 677-693, 2010 | 325 | 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 | 315* | 2006 |
| 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 | 305 | 2008 |
| Evolution of cooperation in stochastic games C Hilbe, Š Šimsa, K Chatterjee, MA Nowak Nature 559 (7713), 246-249, 2018 | 291 | 2018 |
| 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 | 284 | 2014 |
| Better quality in synthesis through quantitative objectives R Bloem, K Chatterjee, TA Henzinger, B Jobstmann International Conference on Computer Aided Verification, 140-156, 2009 | 268 | 2009 |
| Social dilemmas among unequals OP Hauser, C Hilbe, K Chatterjee, MA Nowak Nature 572 (7770), 524-527, 2019 | 226 | 2019 |
| Energy parity games K Chatterjee, L Doyen Theoretical Computer Science 458, 49-60, 2012 | 223 | 2012 |
| Quantitative stochastic parity games K Chatterjee, M Jurdzinski, TA Henzinger SODA 4, 121-130, 2004 | 219 | 2004 |
| Markov decision processes with multiple objectives K Chatterjee, R Majumdar, TA Henzinger Annual symposium on theoretical aspects of computer science, 325-336, 2006 | 202 | 2006 |
| Indirect reciprocity with private, noisy, and incomplete information C Hilbe, L Schmid, J Tkadlec, K Chatterjee, MA Nowak Proceedings of the national academy of sciences 115 (48), 12241-12246, 2018 | 198 | 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 | 198 | 2005 |
| A survey of stochastic ω-regular games K Chatterjee, TA Henzinger Journal of Computer and System Sciences 78 (2), 394-413, 2012 | 197 | 2012 |
| Partners and rivals in direct reciprocity C Hilbe, K Chatterjee, MA Nowak Nature human behaviour 2 (7), 469-477, 2018 | 189 | 2018 |
| Synthesizing robust systems R Bloem, K Chatterjee, K Greimel, TA Henzinger, G Hofferek, ... Acta Informatica 51 (3), 193-220, 2014 | 178 | 2014 |
| Generalized mean-payoff and energy games K Chatterjee, L Doyen, TA Henzinger, JF Raskin arXiv preprint arXiv:1007.1669, 2010 | 175 | 2010 |
Thomas HenzingerIST AustriaVerified email at ist.ac.at
