| 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 | 437 | 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 | 249 | 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 | 194 | 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 | 186 | 2006 |
| Strategy logic K Chatterjee, TA Henzinger, N Piterman Information and Computation 208 (6), 677-693, 2010 | 176 | 2010 |
| Quantitative stochastic parity games K Chatterjee, M Jurdziński, TA Henzinger Proceedings of the fifteenth annual ACM-SIAM symposium on Discrete …, 2004 | 165 | 2004 |
| 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, 2017 | 150 | 2017 |
| Mean-payoff parity games K Chatterjee, TA Henzinger, M Jurdzinski 20th Annual IEEE Symposium on Logic in Computer Science (LICS'05), 178-187, 2005 | 144 | 2005 |
| Simple stochastic parity games K Chatterjee, M Jurdziński, TA Henzinger International Workshop on Computer Science Logic, 100-113, 2003 | 137 | 2003 |
| Synthesizing robust systems R Bloem, K Chatterjee, K Greimel, TA Henzinger, G Hofferek, ... Acta Informatica 51 (3-4), 193-220, 2014 | 128 | 2014 |
| Quantitative languages K Chatterjee, L Doyen, TA Henzinger ACM Transactions on Computational Logic (TOCL) 11 (4), 1-38, 2010 | 128 | 2010 |
| Generalized mean-payoff and energy games K Chatterjee, L Doyen, TA Henzinger, JF Raskin arXiv preprint arXiv:1007.1669, 2010 | 126 | 2010 |
| Markov decision processes with multiple objectives K Chatterjee, R Majumdar, TA Henzinger Annual Symposium on Theoretical Aspects of Computer Science, 325-336, 2006 | 117 | 2006 |
| 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 | 112 | 2014 |
| Strategy logic K Chatterjee, TA Henzinger, N Piterman International Conference on Concurrency Theory, 59-73, 2007 | 112 | 2007 |
| Quantitative languages K Chatterjee, L Doyen, TA Henzinger International Workshop on Computer Science Logic, 385-400, 2008 | 111 | 2008 |
| Games with secure equilibria K Chatterjee, TA Henzinger, M Jurdziński International Symposium on Formal Methods for Components and Objects, 141-161, 2004 | 107 | 2004 |
| Environment assumptions for synthesis K Chatterjee, TA Henzinger, B Jobstmann International Conference on Concurrency Theory, 147-161, 2008 | 103 | 2008 |
| On Nash equilibria in stochastic games K Chatterjee, R Majumdar, M Jurdziński International Workshop on Computer Science Logic, 26-40, 2004 | 101 | 2004 |
| Temporal specifications with accumulative values U Boker, K Chatterjee, TA Henzinger, O Kupferman ACM Transactions on Computational Logic (TOCL) 15 (4), 1-25, 2014 | 94 | 2014 |
Thomas HenzingerIST AustriaVerified email at ist.ac.at
