en
Please note that IST Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
1860 Publications
2013 | Journal Article | IST-REx-ID: 2836 
Chatterjee, Krishnendu, and Vishwanath Raman. “Assume-Guarantee Synthesis for Digital Contract Signing.” Formal Aspects of Computing 26, no. 4 (2013): 825–59. https://doi.org/10.1007/s00165-013-0283-6.
View
| DOI
| Download (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 2817
Novak, Sebastian, Krishnendu Chatterjee, and Martin Nowak. “Density Games.” Journal of Theoretical Biology 334 (2013): 26–34. https://doi.org/10.1016/j.jtbi.2013.05.029.
View
| Files available
| DOI
2013 | Conference Paper | IST-REx-ID: 2886
Chmelik, Martin, and Vojtěch Řehák. “Controllable-Choice Message Sequence Graphs.” Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-36046-6_12.
View
| DOI
| Download (ext.)
2013 | Journal Article | IST-REx-ID: 2831
Chatterjee, Krishnendu, Monika Henzinger, Manas Joglekar, and Nisarg Shah. “Symbolic Algorithms for Qualitative Analysis of Markov Decision Processes with Büchi Objectives.” Formal Methods in System Design 42, no. 3 (2013): 301–27. https://doi.org/10.1007/s10703-012-0180-2.
View
| Files available
| DOI
| Download (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 2850
Tkacik, Gasper, Olivier Marre, Thierry Mora, Dario Amodei, Michael Berry, and William Bialek. “The Simplest Maximum Entropy Model for Collective Behavior in a Neural Network.” Journal of Statistical Mechanics Theory and Experiment 2013, no. 3 (2013): P03011. https://doi.org/10.1088/1742-5468/2013/03/P03011.
View
| DOI
| Download (ext.)
| arXiv