Παρακολούθηση
Krishnendu Chatterjee
Krishnendu Chatterjee
Professor, IST Austria
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα ist.ac.at - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
Handbook of model checking
EM Clarke, TA Henzinger, H Veith, R Bloem
Springer 10, 978-3, 2018
8062018
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
7052013
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
4032017
Quantitative languages
K Chatterjee, L Doyen, TA Henzinger
ACM Transactions on Computational Logic (TOCL) 11 (4), 1-38, 2010
3292010
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
3012008
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
297*2006
Strategy logic
K Chatterjee, TA Henzinger, N Piterman
Information and Computation 208 (6), 677-693, 2010
2832010
Better quality in synthesis through quantitative objectives
R Bloem, K Chatterjee, TA Henzinger, B Jobstmann
Computer Aided Verification: 21st International Conference, CAV 2009 …, 2009
2592009
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
2412014
Energy parity games
K Chatterjee, L Doyen
Theoretical Computer Science 458, 49-60, 2012
2152012
Evolution of cooperation in stochastic games
C Hilbe, Š Šimsa, K Chatterjee, MA Nowak
Nature 559 (7713), 246-249, 2018
2142018
Quantitative stochastic parity games
K Chatterjee, M Jurdzinski, TA Henzinger
SODA 4, 121-130, 2004
2082004
Mean-payoff parity games
K Chatterjee, TA Henzinger, M Jurdzinski
20th Annual IEEE Symposium on Logic in Computer Science (LICS'05), 178-187, 2005
1922005
Markov decision processes with multiple objectives
K Chatterjee, R Majumdar, TA Henzinger
STACS 2006: 23rd Annual Symposium on Theoretical Aspects of Computer Science …, 2006
1812006
A survey of stochastic ω-regular games
K Chatterjee, TA Henzinger
Journal of Computer and System Sciences 78 (2), 394-413, 2012
1792012
Generalized mean-payoff and energy games
K Chatterjee, L Doyen, TA Henzinger, JF Raskin
arXiv preprint arXiv:1007.1669, 2010
1672010
Simple stochastic parity games
K Chatterjee, M Jurdziński, TA Henzinger
International Workshop on Computer Science Logic, 100-113, 2003
1652003
Social dilemmas among unequals
OP Hauser, C Hilbe, K Chatterjee, MA Nowak
Nature 572 (7770), 524-527, 2019
1592019
Environment assumptions for synthesis
K Chatterjee, TA Henzinger, B Jobstmann
CONCUR 2008-Concurrency Theory: 19th International Conference, CONCUR 2008 …, 2008
1482008
Partners and rivals in direct reciprocity
C Hilbe, K Chatterjee, MA Nowak
Nature human behaviour 2 (7), 469-477, 2018
1472018
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20