Please note that ISTA 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.
4977 Publications
2014 | Conference Paper | IST-REx-ID: 2157 |
Matoušek, J., Sedgwick, E., Tancer, M., & Wagner, U. (2014). Embeddability in the 3 sphere is decidable. In Proceedings of the Annual Symposium on Computational Geometry (pp. 78–84). Kyoto, Japan: ACM. https://doi.org/10.1145/2582112.2582137
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
2014 | Conference Paper | IST-REx-ID: 10894
Bauer, U., Kerber, M., Reininghaus, J., & Wagner, H. (2014). PHAT – Persistent Homology Algorithms Toolbox. In ICMS 2014: International Congress on Mathematical Software (Vol. 8592, pp. 137–143). Berlin, Heidelberg: Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-662-44199-2_24
View
| Files available
| DOI
2014 | Technical Report | IST-REx-ID: 5428 |
Chatterjee, K., Henzinger, T. A., Otop, J., & Velner, Y. (2014). Quantitative fair simulation games. IST Austria. https://doi.org/10.15479/AT:IST-2014-315-v1-1
[Published Version]
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 1887 |
Cremer, S. (2014). Gemeinsame Krankheitsabwehr in Ameisengesellschaften. Zoologie. Deutsche Zoologische Gesellschaft.
[Published Version]
View
| Download Published Version (ext.)
2014 | Journal Article | IST-REx-ID: 2175 |
Postiglione, M. P., & Hippenmeyer, S. (2014). Monitoring neurogenesis in the cerebral cortex: an update. Future Neurology. Future Science Group. https://doi.org/10.2217/fnl.14.18
[Published Version]
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 1913 |
Milenković, I., Petrov, T., & Kovács, G. (2014). Patterns of hippocampal tau pathology differentiate neurodegenerative dementias. Dementia and Geriatric Cognitive Disorders. Karger Publishers. https://doi.org/10.1159/000365548
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2014 | Conference Paper | IST-REx-ID: 1507 |
Erdös, L. (2014). Random matrices, log-gases and Hölder regularity. In Proceedings of the International Congress of Mathematicians (Vol. 3, pp. 214–236). Seoul, Korea: International Congress of Mathematicians.
[Submitted Version]
View
| Download Submitted Version (ext.)
2014 | Conference Paper | IST-REx-ID: 8044 |
Seiringer, R. (2014). Structure of the excitation spectrum for many-body quantum systems. In Proceeding of the International Congress of Mathematicans (Vol. 3, pp. 1175–1194). Seoul, South Korea: International Congress of Mathematicians.
[Published Version]
View
| Download Published Version (ext.)
2014 | Conference Paper | IST-REx-ID: 2160 |
Pentina, A., & Lampert, C. (2014). A PAC-Bayesian bound for Lifelong Learning (Vol. 32, pp. 991–999). Presented at the ICML: International Conference on Machine Learning, Beijing, China: ML Research Press.
[Submitted Version]
View
| Download Submitted Version (ext.)
2014 | Thesis | IST-REx-ID: 1403
Behrndt, M. (2014). Forces driving epithelial spreading in zebrafish epiboly. IST Austria.
View
| Files available
2014 | Book Chapter | IST-REx-ID: 1888
Cremer, S. (2014). Soziale Immunität: Wie sich der Staat gegen Pathogene wehrt Bayerische Akademie der Wissenschaften. In Soziale Insekten in einer sich wandelnden Welt (Vol. 43, pp. 65–72). Verlag Dr. Friedrich Pfeil.
View
2014 | Preprint | IST-REx-ID: 2012 |
Iglesias Ham, M., Kerber, M., & Uhler, C. (n.d.). Sphere packing with limited overlap. arXiv. https://doi.org/10.48550/arXiv.1401.0468
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| arXiv
2014 | Journal Article | IST-REx-ID: 2281 |
Guo, Y., & Seiringer, R. (2014). On the mass concentration for Bose-Einstein condensates with attractive interactions. Letters in Mathematical Physics. Springer. https://doi.org/10.1007/s11005-013-0667-9
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2014 | Journal Article | IST-REx-ID: 2257 |
Tkačik, G., Marre, O., Amodei, D., Schneidman, E., Bialek, W., & Berry, M. (2014). Searching for collective behavior in a large network of sensory neurons. PLoS Computational Biology. Public Library of Science. https://doi.org/10.1371/journal.pcbi.1003408
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2014 | Journal Article | IST-REx-ID: 1999
Stroeymeyt, N., Casillas Perez, B. E., & Cremer, S. (2014). Organisational immunity in social insects. Current Opinion in Insect Science. Elsevier. https://doi.org/10.1016/j.cois.2014.09.001
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 10396 |
Schlögl, A., Jonas, P. M., Schmidt-Hieber, C., & Guzman, S. J. (2013). Stimfit: A fast visualization and analysis environment for cellular neurophysiology. Biomedical Engineering / Biomedizinische Technik. Graz, Austria: De Gruyter. https://doi.org/10.1515/bmt-2013-4181
[Submitted Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 10895 |
Vanneste, S., & Friml, J. (2013). Calcium: The missing link in auxin action. Plants. MDPI. https://doi.org/10.3390/plants2040650
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2013 | Conference Paper | IST-REx-ID: 10898
Haas, A., Lippautz, M., Henzinger, T. A., Payer, H., Sokolova, A., Kirsch, C. M., & Sezgin, A. (2013). Distributed queues in shared memory: Multicore performance and scalability through quantitative relaxation. In Proceedings of the ACM International Conference on Computing Frontiers - CF ’13. Ischia, Italy: ACM Press. https://doi.org/10.1145/2482767.2482789
View
| DOI
2013 | Book Chapter | IST-REx-ID: 10899
Barton, N. H. (2013). Differentiation. In Encyclopedia of Biodiversity (2nd ed., pp. 508–515). Elsevier. https://doi.org/10.1016/b978-0-12-384719-5.00031-9
View
| DOI
2013 | Conference Paper | IST-REx-ID: 1374 |
Chatterjee, K., & Fijalkow, N. (2013). Infinite-state games with finitary conditions. In 22nd EACSL Annual Conference on Computer Science Logic (Vol. 23, pp. 181–196). Torino, Italy: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CSL.2013.181
[Published Version]
View
| Files available
| DOI