Krishnendu Chatterjee
Titel
Geciteerd door
Geciteerd door
Jaar
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
4962013
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
2572008
Better quality in synthesis through quantitative objectives
R Bloem, K Chatterjee, TA Henzinger, B Jobstmann
International Conference on Computer Aided Verification, 140-156, 2009
2112009
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
2042017
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
1992006
Strategy logic
K Chatterjee, TA Henzinger, N Piterman
Information and Computation 208 (6), 677-693, 2010
1982010
Quantitative stochastic parity games
K Chatterjee, M Jurdziński, TA Henzinger
Proceedings of the fifteenth annual ACM-SIAM symposium on Discrete …, 2004
1822004
Mean-payoff parity games
K Chatterjee, TA Henzinger, M Jurdzinski
20th Annual IEEE Symposium on Logic in Computer Science (LICS'05), 178-187, 2005
1562005
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
1502014
Simple stochastic parity games
K Chatterjee, M Jurdziński, TA Henzinger
International Workshop on Computer Science Logic, 100-113, 2003
1432003
Quantitative languages
K Chatterjee, L Doyen, TA Henzinger
ACM Transactions on Computational Logic (TOCL) 11 (4), 1-38, 2010
1362010
Synthesizing robust systems
R Bloem, K Chatterjee, K Greimel, TA Henzinger, G Hofferek, ...
Acta Informatica 51 (3-4), 193-220, 2014
1352014
Generalized mean-payoff and energy games
K Chatterjee, L Doyen, TA Henzinger, JF Raskin
arXiv preprint arXiv:1007.1669, 2010
1352010
Markov decision processes with multiple objectives
K Chatterjee, R Majumdar, TA Henzinger
Annual Symposium on Theoretical Aspects of Computer Science, 325-336, 2006
1322006
Evaluating the performance of suppliers based on using the R'AMATEL-MAIRCA method for green supply chain implementation in electronics industry
K Chatterjee, D Pamucar, EK Zavadskas
Journal of cleaner production 184, 101-129, 2018
1242018
Quantitative languages
K Chatterjee, L Doyen, TA Henzinger
International Workshop on Computer Science Logic, 385-400, 2008
1212008
Strategy logic
K Chatterjee, TA Henzinger, N Piterman
International Conference on Concurrency Theory, 59-73, 2007
1202007
Games with secure equilibria
K Chatterjee, TA Henzinger, M Jurdziński
International Symposium on Formal Methods for Components and Objects, 141-161, 2004
1152004
A survey of stochastic ω-regular games
K Chatterjee, TA Henzinger
Journal of Computer and System Sciences 78 (2), 394-413, 2012
1122012
Environment assumptions for synthesis
K Chatterjee, TA Henzinger, B Jobstmann
International Conference on Concurrency Theory, 147-161, 2008
1092008
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20