Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
5064 Publications
2017 | Journal Article | IST-REx-ID: 715
More excitation for Rett syndrome
G. Novarino, Science Translational Medicine 9 (2017).
View
| DOI
G. Novarino, Science Translational Medicine 9 (2017).
2017 | Journal Article | IST-REx-ID: 716 |
The complexity of mean-payoff pushdown games
K. Chatterjee, Y. Velner, Journal of the ACM 64 (2017) 34.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, Y. Velner, Journal of the ACM 64 (2017) 34.
2017 | Journal Article | IST-REx-ID: 717 |
Hyperplane separation technique for multidimensional mean-payoff games
K. Chatterjee, Y. Velner, Journal of Computer and System Sciences 88 (2017) 236–259.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
K. Chatterjee, Y. Velner, Journal of Computer and System Sciences 88 (2017) 236–259.
2017 | Journal Article | IST-REx-ID: 719
Special issue: Synthesis and SYNT 2014
K. Chatterjee, R. Ehlers, Acta Informatica 54 (2017) 543–544.
View
| DOI
K. Chatterjee, R. Ehlers, Acta Informatica 54 (2017) 543–544.
2017 | Journal Article | IST-REx-ID: 720 |
Probabilistic models for neural populations that naturally capture global coupling and criticality
J. Humplik, G. Tkačik, PLoS Computational Biology 13 (2017).
[Published Version]
View
| Files available
| DOI
J. Humplik, G. Tkačik, PLoS Computational Biology 13 (2017).