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.
5258 Publications
2017 | Published | 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 | Published | 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.
[Published Version]
View
| Files available
| DOI
2017 | Published | Journal Article | IST-REx-ID: 721 |
Ajanki, Oskari H., et al. “Singularities of Solutions to Quadratic Vector Equations on the Complex Upper Half Plane.” Communications on Pure and Applied Mathematics, vol. 70, no. 9, Wiley-Blackwell, 2017, pp. 1672–705, doi:10.1002/cpa.21639.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2017 | Published | Journal Article | IST-REx-ID: 722 |
Morris, Emily, et al. “Shaping 3D Root System Architecture.” Current Biology, vol. 27, no. 17, Cell Press, 2017, pp. R919–30, doi:10.1016/j.cub.2017.06.043.
[Submitted Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2017 | Published | Journal Article | IST-REx-ID: 724 |
Hetterich, Daniel, et al. “Noninteracting Central Site Model Localization and Logarithmic Entanglement Growth.” Physical Review B, vol. 96, no. 10, 104203, American Physical Society, 2017, doi:10.1103/PhysRevB.96.104203.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2017 | Published | Journal Article | IST-REx-ID: 725 |
Harpaz, Roy, et al. “Discrete Modes of Social Information Processing Predict Individual Behavior of Fish in a Group.” PNAS, vol. 114, no. 38, National Academy of Sciences, 2017, pp. 10149–54, doi:10.1073/pnas.1703817114.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2017 | Published | Journal Article | IST-REx-ID: 726 |
Hannezo, Edouard B., et al. “A Unifying Theory of Branching Morphogenesis.” Cell, vol. 171, no. 1, Cell Press, 2017, pp. 242–55, doi:10.1016/j.cell.2017.08.026.
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Published | Journal Article | IST-REx-ID: 728
Chan, Chii, et al. “Coordination of Morphogenesis and Cell Fate Specification in Development.” Current Biology, vol. 27, no. 18, Cell Press, 2017, pp. R1024–35, doi:10.1016/j.cub.2017.07.010.
View
| DOI
| WoS
2017 | Published | Journal Article | IST-REx-ID: 729
Spiro, Zoltan P., and Carl-Philipp J. Heisenberg. “Regeneration Tensed up Polyploidy Takes the Lead.” Developmental Cell, vol. 42, no. 6, Cell Press, 2017, pp. 559–60, doi:10.1016/j.devcel.2017.09.008.
View
| DOI
| WoS
2017 | Published | Journal Article | IST-REx-ID: 730
Savin, Cristina, and Gašper Tkačik. “Maximum Entropy Models as a Tool for Building Precise Neural Controls.” Current Opinion in Neurobiology, vol. 46, Elsevier, 2017, pp. 120–26, doi:10.1016/j.conb.2017.08.001.
View
| DOI
| WoS
2017 | Published | Journal Article | IST-REx-ID: 731
Novarino, Gaia. “The Science of Love in ASD and ADHD.” Science Translational Medicine, vol. 9, no. 411, eaap8168, American Association for the Advancement of Science, 2017, doi:10.1126/scitranslmed.aap8168.
View
| DOI
2017 | Published | Journal Article | IST-REx-ID: 732 |
Pull, Christopher, and Sylvia Cremer. “Co-Founding Ant Queens Prevent Disease by Performing Prophylactic Undertaking Behaviour.” BMC Evolutionary Biology, vol. 17, no. 1, 219, BioMed Central, 2017, doi:10.1186/s12862-017-1062-4.
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Published | Journal Article | IST-REx-ID: 733 |
Bao, Zhigang, et al. “Convergence Rate for Spectral Distribution of Addition of Random Matrices.” Advances in Mathematics, vol. 319, Academic Press, 2017, pp. 251–91, doi:10.1016/j.aim.2017.08.028.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2017 | Published | Conference Paper | IST-REx-ID: 313 |
Camus, Nicolas, et al. Experimental Evidence for Wigner’s Tunneling Time. Vol. 999, no. 1, 012004, American Physical Society, 2017, doi:10.1088/1742-6596/999/1/012004.
[Published Version]
View
| Files available
| DOI
| arXiv
2017 | Published | Thesis | IST-REx-ID: 1155 |
Daca, Przemyslaw. Statistical and Logical Methods for Property Checking. Institute of Science and Technology Austria, 2017, doi:10.15479/AT:ISTA:TH_730.
[Published Version]
View
| Files available
| DOI
2017 | Published | Thesis | IST-REx-ID: 838 |
Rybar, Michal. (The Exact Security of) Message Authentication Codes. Institute of Science and Technology Austria, 2017, doi:10.15479/AT:ISTA:th_828.
[Published Version]
View
| Files available
| DOI
2017 | Published | Journal Article | IST-REx-ID: 672 |
Vaahtomeri, Kari, et al. “Locally Triggered Release of the Chemokine CCL21 Promotes Dendritic Cell Transmigration across Lymphatic Endothelia.” Cell Reports, vol. 19, no. 5, Cell Press, 2017, pp. 902–09, doi:10.1016/j.celrep.2017.04.027.
[Published Version]
View
| Files available
| DOI
2017 | Published | Journal Article | IST-REx-ID: 727
Mueller, Jan, et al. “Load Adaptation of Lamellipodial Actin Networks.” Cell, vol. 171, no. 1, Cell Press, 2017, pp. 188–200, doi:10.1016/j.cell.2017.07.051.
View
| DOI
| WoS
2017 | Published | Thesis | IST-REx-ID: 992 |
Rolinek, Michal. Complexity of Constraint Satisfaction. Institute of Science and Technology Austria, 2017, doi:10.15479/AT:ISTA:th_815.
[Published Version]
View
| Files available
| DOI
2017 | Published | Conference Paper | IST-REx-ID: 274 |
Kolmogorov, Vladimir. “A Faster Approximation Algorithm for the Gibbs Partition Function.” Proceedings of the 31st Conference On Learning Theory, vol. 75, ML Research Press, 2017, pp. 228–49.
[Published Version]
View
| Files available
| arXiv