Year |
Citation |
Score |
2016 |
Chatterjee K, Fu H, Novotný P, Hasheminezhad R. Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs Acm Sigplan Notices. 51: 327-342. DOI: 10.1145/2837614.2837639 |
1 |
|
2016 |
Pandey V, Chatterjee K. Game-theoretic models identify useful principles for peer collaboration in online learning platforms Proceedings of the Acm Conference On Computer Supported Cooperative Work, Cscw. 26: 365-368. DOI: 10.1145/2818052.2869122 |
1 |
|
2015 |
Ibsen-Jensen R, Chatterjee K, Nowak MA. Computational complexity of ecological and evolutionary spatial dynamics. Proceedings of the National Academy of Sciences of the United States of America. PMID 26644569 DOI: 10.1073/pnas.1511366112 |
1 |
|
2015 |
Pavlogiannis A, Chatterjee K, Adlam B, Nowak MA. Cellular cooperation with shift updating and repulsion. Scientific Reports. 5: 17147. PMID 26602306 DOI: 10.1038/srep17147 |
1 |
|
2015 |
Reiter JG, Kanodia A, Gupta R, Nowak MA, Chatterjee K. Biological auctions with multiple rewards. Proceedings. Biological Sciences / the Royal Society. 282: 20151041. PMID 26180069 DOI: 10.1098/rspb.2015.1041 |
1 |
|
2015 |
Svorěnová M, Chmelík M, Leahy K, Eniser HF, Chatterjee K, Černá I, Belta C. Temporal logic motion planning using POMDPs with parity objectives: Case study paper Proceedings of the 18th International Conference On Hybrid Systems: Computation and Control, Hscc 2015. 233-238. DOI: 10.1145/2728606.2728617 |
1 |
|
2015 |
Chatterjee K, Prabhu VS. Quantitative Temporal Simulation and Refinement Distances for Timed Systems Ieee Transactions On Automatic Control. 60: 2291-2306. DOI: 10.1109/TAC.2015.2404612 |
1 |
|
2015 |
Adlam B, Chatterjee K, Nowak MA. Amplifiers of selection Proceedings of the Royal Society a: Mathematical, Physical and Engineering Sciences. 471. DOI: 10.1098/rspa.2015.0114 |
1 |
|
2015 |
Chatterjee K, Joglekar M, Shah N. Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives Theoretical Computer Science. 573: 71-89. DOI: 10.1016/j.tcs.2015.01.050 |
1 |
|
2015 |
Bloem R, Chatterjee K, Jacobs S, Könighofer R. Assume-guarantee synthesis for concurrent reactive programs with partial information Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9035: 517-532. DOI: 10.1007/978-3-662-46681-0_50 |
1 |
|
2014 |
Chatterjee K, Pavlogiannis A, Adlam B, Nowak MA. The time scale of evolutionary innovation. Plos Computational Biology. 10: e1003818. PMID 25211329 DOI: 10.1371/journal.pcbi.1003818 |
1 |
|
2014 |
Zagorsky BM, Reiter JG, Chatterjee K, Nowak MA. Correction: Forgiver triumphs in alternating prisoner's dilemma (PLoS ONE) Plos One. 9. DOI: 10.1371/annotation/a3480abf-52e4-43f3-b45c-b2bac5e84812 |
1 |
|
2014 |
Boker U, Chatterjee K, Henzinger TA, Kupferman O. Temporal specifications with accumulative values Acm Transactions On Computational Logic. 15. DOI: 10.1145/2629686 |
1 |
|
2014 |
Jha S, Tripakis S, Seshia SA, Chatterjee K. Game theoretic secure localization in wireless sensor networks 2014 International Conference On the Internet of Things, Iot 2014. 85-90. DOI: 10.1109/IOT.2014.7030120 |
1 |
|
2014 |
Chatterjee K, Henzinger M, Krinninger S, Loitzenbauer V, Raskin MA. Approximating the minimum cycle mean Theoretical Computer Science. 547: 104-116. DOI: 10.1016/j.tcs.2014.06.031 |
1 |
|
2014 |
Chatterjee K. Qualitative concurrent parity games: Bounded rationality Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8704: 544-559. DOI: 10.1007/978-3-662-44584-6_37 |
1 |
|
2014 |
Chatterjee K. Partial-observation stochastic reachability and parity games Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8634: 1-4. DOI: 10.1007/978-3-662-44522-8_1 |
1 |
|
2013 |
Chatterjee K, de Alfaro L, Henzinger TA. Strategy improvement for concurrent reachability and turn-based stochastic safety games. Journal of Computer and System Sciences. 79: 640-657. PMID 26516289 DOI: 10.1016/j.jcss.2012.12.001 |
1 |
|
2013 |
Zagorsky BM, Reiter JG, Chatterjee K, Nowak MA. Forgiver triumphs in alternating Prisoner's Dilemma. Plos One. 8: e80814. PMID 24349017 DOI: 10.1371/journal.pone.0080814 |
1 |
|
2013 |
Bozic I, Reiter JG, Allen B, Antal T, Chatterjee K, Shah P, Moon YS, Yaqubie A, Kelly N, Le DT, Lipson EJ, Chapman PB, Diaz LA, Vogelstein B, Nowak MA. Evolutionary dynamics of cancer in response to targeted combination therapy. Elife. 2: e00747. PMID 23805382 DOI: 10.7554/eLife.00747 |
1 |
|
2013 |
Novak S, Chatterjee K, Nowak MA. Density games. Journal of Theoretical Biology. 334: 26-34. PMID 23770399 DOI: 10.1016/j.jtbi.2013.05.029 |
1 |
|
2013 |
Reiter JG, Bozic I, Allen B, Chatterjee K, Nowak MA. The effect of one additional driver mutation on tumor progression. Evolutionary Applications. 6: 34-45. PMID 23396615 DOI: 10.1111/eva.12020 |
1 |
|
2013 |
Chatterjee K, Alfaro LD, Majumdar R. The complexity of coverage International Journal of Foundations of Computer Science. 24: 165-185. DOI: 10.1142/S0129054113400066 |
1 |
|
2013 |
Chatterjee K, Prabhu VS. Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems Information and Computation. DOI: 10.1016/j.ic.2013.04.003 |
1 |
|
2013 |
Chatterjee K, Henzinger M, Joglekar M, Shah N. Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives Formal Methods in System Design. 42: 301-327. DOI: 10.1007/s10703-012-0180-2 |
1 |
|
2013 |
Chatterjee K, De Alfaro L, Faella M, Majumdar R, Raman V. Code aware resource management Formal Methods in System Design. 42: 146-174. DOI: 10.1007/s10703-012-0170-4 |
1 |
|
2013 |
Chatterjee K, Doyen L, Henzinger TA. A survey of partial-observation stochastic parity games Formal Methods in System Design. 43: 268-284. DOI: 10.1007/s10703-012-0164-2 |
1 |
|
2013 |
Godhal Y, Chatterjee K, Henzinger TA. Synthesis of AMBA AHB from formal specification: A case study International Journal On Software Tools For Technology Transfer. 15: 585-601. DOI: 10.1007/s10009-011-0207-9 |
1 |
|
2013 |
Reiter JG, Bozic I, Chatterjee K, Nowak MA. TTP: Tool for tumor progression Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8044: 101-106. DOI: 10.1007/978-3-642-39799-8_6 |
1 |
|
2012 |
Chatterjee K, Doyen L. Energy parity games. Theoretical Computer Science. 458: 49-60. PMID 23470985 DOI: 10.1016/j.tcs.2012.07.038 |
0.76 |
|
2012 |
Chatterjee K, Zufferey D, Nowak MA. Evolutionary game dynamics in populations with different learners. Journal of Theoretical Biology. 301: 161-73. PMID 22394652 DOI: 10.1016/j.jtbi.2012.02.021 |
1 |
|
2012 |
Chatterjee K, Reiter JG, Nowak MA. Evolutionary dynamics of biological auctions. Theoretical Population Biology. 81: 69-80. PMID 22120126 DOI: 10.1016/j.tpb.2011.11.003 |
1 |
|
2012 |
Chatterjee K, Prabhu VS. Quantitative timed simulation functions and refinement metrics for real-time systems Hscc 2013 - Proceedings of the 16th International Conference On Hybrid Systems: Computation and Control, Part of Cpsweek 2013. 1: 273-282. DOI: 10.1145/2461328.2461370 |
1 |
|
2012 |
Chatterjee K, Henzinger TA, Prabhu VS. Finite automata with time-delay blocks Emsoft'12 - Proceedings of the 10th Acm International Conference On Embedded Software 2012, Co-Located With Esweek. 43-52. DOI: 10.1145/2380356.2380370 |
1 |
|
2012 |
Chatterjee K, Majumdar R. Discounting and averaging in games across time scales International Journal of Foundations of Computer Science. 23: 609-625. DOI: 10.1142/S0129054112400308 |
1 |
|
2012 |
Chatterjee K, Henzinger TA. A survey of stochastic ω-regular games Journal of Computer and System Sciences. 78: 394-413. DOI: 10.1016/j.jcss.2011.05.002 |
1 |
|
2012 |
Chatterjee K, Chmelík M, Majumdar R. Equivalence of games with probabilistic uncertainty and partial-observation games Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7561: 385-399. DOI: 10.1007/978-3-642-33386-6_30 |
1 |
|
2012 |
Chatterjee K, Henzinger M, Krinninger S, Nanongkai D. Polynomial-time algorithms for energy games with special weight structures Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7501: 301-312. DOI: 10.1007/978-3-642-33090-2_27 |
1 |
|
2012 |
Chatterjee K. Robustness of structurally equivalent concurrent parity games Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7213: 270-285. DOI: 10.1007/978-3-642-28729-9_18 |
1 |
|
2011 |
Chatterjee K, Prabhu VS. Synthesis of memory-efficient real-time controllers for safety objectives Hscc'11 - Proceedings of the 2011 Acm/Sigbed Hybrid Systems: Computation and Control. 221-230. DOI: 10.1145/1967701.1967734 |
1 |
|
2011 |
Chatterjee K, Majumdar R. Minimum attention controller synthesis for omega-regular objectives Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6919: 145-159. DOI: 10.1007/978-3-642-24310-3_11 |
1 |
|
2011 |
Chatterjee K, Henzinger TA, Jobstmann B, Singh R. QUASY: Quantitative synthesis tool Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6605: 267-271. DOI: 10.1007/978-3-642-19835-9_24 |
1 |
|
2010 |
Chatterjee K, Doyen L, Henzinger TA, Raskin JF. Generalized mean-payoff and energy games Leibniz International Proceedings in Informatics, Lipics. 8: 505-516. DOI: 10.4230/LIPIcs.FSTTCS.2010.505 |
1 |
|
2010 |
Chatterjee K, de Alfaro L, Majumdar R, Raman V. Algorithms for game metrics Logical Methods in Computer Science. 6: 1-27. DOI: 10.2168/LMCS-6(3:13)2010 |
1 |
|
2010 |
Chatterjee K, Henzinger TA, Piterman N. Strategy logic Information and Computation. 208: 677-693. DOI: 10.1016/j.ic.2009.07.004 |
1 |
|
2010 |
Chatterjee K, Henzinger TA. Probabilistic automata on infinite words: Decidability and undecidability results Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6252: 1-16. DOI: 10.1007/978-3-642-15643-4_1 |
1 |
|
2010 |
Chatterjee K, Doyen L, Henzinger TA. Qualitative analysis of partially-observable Markov decision processes Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6281: 258-269. DOI: 10.1007/978-3-642-15155-2_24 |
1 |
|
2010 |
Chatterjee K, Doyen L, Gimbert H, Henzinger TA. Randomness for free Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6281: 246-257. DOI: 10.1007/978-3-642-15155-2_23 |
1 |
|
2010 |
Chatterjee K, Henzinger TA, Jobstmann B, Radhakrishna A. Gist: A solver for probabilistic games Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6174: 665-669. DOI: 10.1007/978-3-642-14295-6_57 |
1 |
|
2010 |
Chatterjee K, Henzinger TA, Jobstmann B, Singh R. Measuring and synthesizing systems in probabilistic environments Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6174: 380-395. DOI: 10.1007/978-3-642-14295-6_34 |
1 |
|
2009 |
Chatterjee K, Doyen L, Henzinger TA. Expressiveness and closure properties for quantitative languages Proceedings - Symposium On Logic in Computer Science. 199-208. DOI: 10.2168/LMCS-6 (3:10) 2010 |
1 |
|
2009 |
Bloem R, Greimel K, Henzinger TA, Jobstmann B. Synthesizing robust systems 9th International Conference Formal Methods in Computer Aided Design, Fmcad 2009. 85-92. DOI: 10.1109/FMCAD.2009.5351139 |
0.4 |
|
2009 |
Chatterjee K, Doyen L, Henzinger TA. Probabilistic weighted automata Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5710: 244-258. DOI: 10.1007/978-3-642-04081-8_17 |
1 |
|
2009 |
Chatterjee K, Henzinger TA, Horn F. Stochastic Games with Finitary Objectives Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5734: 34-54. DOI: 10.1007/978-3-642-03816-7_4 |
1 |
|
2009 |
Chatterjee K, Doyen L, Henzinger TA. Alternating weighted automata Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5699: 3-13. DOI: 10.1007/978-3-642-03409-1_2 |
1 |
|
2009 |
Chatterjee K, Henzinger TA. Probabilistic systems with limsup and liminf objectives Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5489: 32-45. DOI: 10.1007/978-3-642-03092-5_4 |
1 |
|
2009 |
Chatterjee K, Doyen L, Henzinger TA. A survey of stochastic games with limsup and liminf objectives Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5556: 1-15. DOI: 10.1007/978-3-642-02930-1_1 |
1 |
|
2009 |
Bloem R, Chatterjee K, Henzinger TA, Jobstmann B. Better quality in synthesis through quantitative objectives Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5643: 140-156. DOI: 10.1007/978-3-642-02658-4_14 |
1 |
|
2008 |
Adler BT, Chatterjee K, De Alfaro L, Faella M, Pye I, Raman V. Assigning trust to Wikipedia content Wikisym 2008 - the 4th International Symposium On Wikis, Proceedings. DOI: 10.1145/1822258.1822293 |
1 |
|
2008 |
Chatterjee K, Henzinger TA. Reduction of stochastic parity to stochastic mean-payoff games Information Processing Letters. 106: 1-7. DOI: 10.1016/j.ipl.2007.08.035 |
1 |
|
2008 |
Chatterjee K, Majumdar R, Henzinger TA. Stochastic limit-average games are in EXPTIME International Journal of Game Theory. 37: 219-234. DOI: 10.1007/s00182-007-0110-5 |
1 |
|
2008 |
Chatterjee K, Doyen L, Henzinger TA. Quantitative languages Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5213: 385-400. DOI: 10.1007/978-3-540-87531-428 |
1 |
|
2008 |
Chatterjee K, Henzinger TA, Jobstmann B. Environment assumptions for synthesis Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5201: 147-161. DOI: 10.1007/978-3-540-85361-9_14 |
1 |
|
2008 |
Chatterjee K, Majumdar R, Henzinger TA. Controller synthesis with budget constraints Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4981: 72-86. DOI: 10.1007/978-3-540-78929-1-6 |
1 |
|
2008 |
Chatterjee K, Sen K, Henzinger TA. Model-checking ω-regular properties of interval Markov chains Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4962: 302-317. DOI: 10.1007/978-3-540-78499-9_22 |
1 |
|
2008 |
Chatterjee K, Henzinger TA. Value iteration Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5000: 107-138. DOI: 10.1007/978-3-540-69850-0_7 |
1 |
|
2007 |
Chatterjee K, Henzinger TA. Assume-guarantee synthesis Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4424: 261-278. |
1 |
|
2006 |
Chatterjee K, De Alfaro L, Henzinger TA. The complexity of quantitative concurrent parity games Proceedings of the Annual Acm-Siam Symposium On Discrete Algorithms. 678-687. DOI: 10.1145/1109557.1109631 |
1 |
|
2006 |
Chatterjee K, De Alfaro L, Henzinger TA. Strategy improvement for concurrent reachability games Third International Conference On the Quantitative Evaluation of Systems, Qest 2006. 291-300. DOI: 10.1109/QEST.2006.37 |
1 |
|
2006 |
Chatterjee K, Henzinger TA, Jurdziński M. Games with secure equilibria Theoretical Computer Science. 365: 67-82. DOI: 10.1016/j.tcs.2006.07.032 |
1 |
|
2006 |
Chatterjee K, Henzinger TA. Finitary winning in ω-regular games Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3920: 257-271. DOI: 10.1007/11691372_17 |
1 |
|
2006 |
Chatterjee K, Henzinger TA. Strategy improvement and randomized subexponential algorithms for stochastic parity games Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3884: 512-523. DOI: 10.1007/11672142_42 |
1 |
|
2006 |
Chatterjee K, Doyen L, Henzinger TA, Raskin JE. Algorithms for omega-regular games with imperfect information Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4207: 287-302. |
1 |
|
2006 |
Chatterjee K, Henzinger TA. Strategy improvement for stochastic Rabin and Streett games Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4137: 375-389. |
1 |
|
2005 |
Chatterjee K, Henzinger TA. Semiperfect-information games Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3821: 1-18. |
1 |
|
2004 |
Chatterjee K, Ma D, Majumdar R, Zhao T, Henzinger TA, Palsberg J. Stack size analysis for interrupt-driven programs Information and Computation. 194: 144-174. DOI: 10.1016/j.ic.2004.06.001 |
1 |
|
2003 |
Chatterjee K, Jurdziński M, Henzinger TA. Simple stochastic parity games Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2803: 100-113. |
1 |
|
Show low-probability matches. |