EM Clarke, TA Henzinger, H Veith, R Bloem

Springer 10, 978-3, 2018

I Bozic, JG Reiter, B Allen, T Antal, K Chatterjee, P Shah, YS Moon, ...

elife 2, e00747, 2013

AP Makohon-Moore, M Zhang, JG Reiter, I Bozic, B Allen, D Kundu, ...

Nature genetics 49 (3), 358-366, 2017

K Chatterjee, L Doyen, TA Henzinger

ACM Transactions on Computational Logic (TOCL) 11 (4), 1-38, 2010

K Chatterjee, L Doyen, TA Henzinger, JF Raskin

International Workshop on Computer Science Logic, 287-302, 2006

K Chatterjee, TA Henzinger, N Piterman

Information and Computation 208 (6), 677-693, 2010

BT Adler, K Chatterjee, L De Alfaro, M Faella, I Pye, V Raman

Proceedings of the 4th International Symposium on Wikis, 1-12, 2008

R Bloem, K Chatterjee, TA Henzinger, B Jobstmann

Computer Aided Verification: 21st International Conference, CAV 2009 …, 2009

T Brázdil, K Chatterjee, M Chmelik, V Forejt, J Křetínský, M Kwiatkowska, ...

Automated Technology for Verification and Analysis: 12th International …, 2014

C Hilbe, Š Šimsa, K Chatterjee, MA Nowak

Nature 559 (7713), 246-249, 2018

K Chatterjee, L Doyen

Theoretical Computer Science 458, 49-60, 2012

K Chatterjee, M Jurdzinski, TA Henzinger

SODA 4, 121-130, 2004

K Chatterjee, TA Henzinger, M Jurdzinski

20th Annual IEEE Symposium on Logic in Computer Science (LICS'05), 178-187, 2005

K Chatterjee, R Majumdar, TA Henzinger

STACS 2006: 23rd Annual Symposium on Theoretical Aspects of Computer Science …, 2006

K Chatterjee, TA Henzinger

Journal of Computer and System Sciences 78 (2), 394-413, 2012

OP Hauser, C Hilbe, K Chatterjee, MA Nowak

Nature 572 (7770), 524-527, 2019

K Chatterjee, L Doyen, TA Henzinger, JF Raskin

arXiv preprint arXiv:1007.1669, 2010

K Chatterjee, M Jurdziński, TA Henzinger

International Workshop on Computer Science Logic, 100-113, 2003

C Hilbe, L Schmid, J Tkadlec, K Chatterjee, MA Nowak

Proceedings of the national academy of sciences 115 (48), 12241-12246, 2018

C Hilbe, K Chatterjee, MA Nowak

Nature human behaviour 2 (7), 469-477, 2018