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.
4151 Publications
2017 | Journal Article | IST-REx-ID: 717 | 
Chatterjee, Krishnendu, and Yaron Velner. “Hyperplane Separation Technique for Multidimensional Mean-Payoff Games.” Journal of Computer and System Sciences, vol. 88, Academic Press, 2017, pp. 236–59, doi:10.1016/j.jcss.2017.04.005.
View
| Files available
| DOI
| Download Preprint (ext.)
2017 | Research Data | IST-REx-ID: 7163 |
Fraisse, Christelle. Supplementary Files for “The Deep Conservation of the Lepidoptera Z Chromosome Suggests a Non Canonical Origin of the W.” IST Austria, 2017, doi:10.15479/AT:ISTA:7163.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 718 |
Edelsbrunner, Herbert, et al. “Expected Sizes of Poisson Delaunay Mosaics and Their Discrete Morse Functions.” Advances in Applied Probability, vol. 49, no. 3, Cambridge University Press, 2017, pp. 745–67, doi:10.1017/apr.2017.20.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2017 | Journal Article | IST-REx-ID: 719
Chatterjee, Krishnendu, and Rüdiger Ehlers. “Special Issue: Synthesis and SYNT 2014.” Acta Informatica, vol. 54, no. 6, Springer, 2017, pp. 543–44, doi:10.1007/s00236-017-0299-0.
View
| DOI
2017 | Journal Article | IST-REx-ID: 720 |
Humplik, Jan, and Gašper Tkačik. “Probabilistic Models for Neural Populations That Naturally Capture Global Coupling and Criticality.” PLoS Computational Biology, vol. 13, no. 9, e1005763, Public Library of Science, 2017, doi:10.1371/journal.pcbi.1005763.
View
| Files available
| DOI