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.
5473 Publications
2014 | Published | Journal Article | IST-REx-ID: 2235 | 
Fürst, M., Mcmahon, D., Osborne, J., Paxton, R., & Brown, M. (2014). Disease associations between honeybees and bumblebees as a threat to wild pollinators. Nature. Nature Publishing Group. https://doi.org/10.1038/nature12977
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2014 | Published | Conference Paper | IST-REx-ID: 2236 |
Jetchev, D., & Pietrzak, K. Z. (2014). How to fake auxiliary input. In Y. Lindell (Ed.) (Vol. 8349, pp. 566–590). Presented at the TCC: Theory of Cryptography Conference, San Diego, USA: Springer. https://doi.org/10.1007/978-3-642-54242-8_24
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
2014 | Published | Conference Paper | IST-REx-ID: 2239
Boker, U., Henzinger, T. A., & Radhakrishna, A. (2014). Battery transition systems (Vol. 49, pp. 595–606). Presented at the POPL: Principles of Programming Languages, San Diego, USA: ACM. https://doi.org/10.1145/2535838.2535875
View
| DOI
2014 | Published | Book | IST-REx-ID: 6853
Edelsbrunner, H. (2014). A Short Course in Computational Geometry and Topology (1st ed.). Cham: Springer Nature. https://doi.org/10.1007/978-3-319-05957-0
View
| Files available
| DOI
2014 | Draft | Working Paper | IST-REx-ID: 7038 |
Huszár, K., & Rolinek, M. (n.d.). Playful Math - An introduction to mathematical games. IST Austria.
[Published Version]
View
| Files available
2014 | Published | Journal Article | IST-REx-ID: 3263 |
Tkačik, G., Ghosh, A., Schneidman, E., & Segev, R. (2014). Adaptation to changes in higher-order stimulus statistics in the salamander retina. PLoS One. Public Library of Science. https://doi.org/10.1371/journal.pone.0085841
[Published Version]
View
| Files available
| DOI
2014 | Published | Thesis | IST-REx-ID: 1403
Behrndt, M. (2014). Forces driving epithelial spreading in zebrafish epiboly. IST Austria.
View
| Files available
2014 | Published | Thesis | IST-REx-ID: 1395
Konrad, M. (2014). Immune defences in ants: Effects of social immunisation and a fungal ectosymbiont in the ant Lasius neglectus. Institute of Science and Technology Austria.
View
2014 | Published | Thesis | IST-REx-ID: 1402
Marhavá, P. (2014). Molecular mechanisms of patterning and subcellular trafficking in Arabidopsis thaliana. Institute of Science and Technology Austria.
View
2014 | Published | Thesis | IST-REx-ID: 1404
Stock, M. (2014). Evolution of a fungal pathogen towards individual versus social immunity in ants. IST Austria.
View
2014 | Published | Journal Article | IST-REx-ID: 1912 |
Compagnon, J., Barone, V., Rajshekar, S., Kottmeier, R., Pranjic-Ferscha, K., Behrndt, M., & Heisenberg, C.-P. J. (2014). The notochord breaks bilateral symmetry by controlling cell shapes in the Zebrafish laterality organ. Developmental Cell. Cell Press. https://doi.org/10.1016/j.devcel.2014.11.003
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2014 | Published | Conference Paper | IST-REx-ID: 2167 |
Daca, P., Henzinger, T. A., Krenn, W., & Nickovic, D. (2014). Compositional specifications for IOCO testing. In IEEE 7th International Conference on Software Testing, Verification and Validation. Cleveland, USA: IEEE. https://doi.org/10.1109/ICST.2014.50
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2014 | Published | Conference Paper | IST-REx-ID: 2063
Chatterjee, K., Chmelik, M., & Daca, P. (2014). CEGAR for qualitative analysis of probabilistic systems (Vol. 8559, pp. 473–490). Presented at the CAV: Computer Aided Verification, Vienna, Austria: Springer. https://doi.org/10.1007/978-3-319-08867-9_31
View
| Files available
| DOI
2014 | Published | Conference Paper | IST-REx-ID: 2159 |
Mabillard, I., & Wagner, U. (2014). Eliminating Tverberg points, I. An analogue of the Whitney trick. In Proceedings of the Annual Symposium on Computational Geometry (pp. 171–180). Kyoto, Japan: ACM. https://doi.org/10.1145/2582112.2582134
[Submitted Version]
View
| Files available
| DOI
2014 | Published | Journal Article | IST-REx-ID: 2023 |
Novak, S. (2014). Habitat heterogeneities versus spatial type frequency variances as driving forces of dispersal evolution. Ecology and Evolution. Wiley-Blackwell. https://doi.org/10.1002/ece3.1289
[Published Version]
View
| Files available
| DOI
2014 | Published | Journal Article | IST-REx-ID: 2255 |
Edelsbrunner, H., & Pausinger, F. (2014). Stable length estimates of tube-like shapes. Journal of Mathematical Imaging and Vision. Springer. https://doi.org/10.1007/s10851-013-0468-x
[Submitted Version]
View
| Files available
| DOI
2014 | Published | Journal Article | IST-REx-ID: 1923 |
Berthoumieux, H., Maître, J.-L., Heisenberg, C.-P. J., Paluch, E., Julicher, F., & Salbreux, G. (2014). Active elastic thin shell theory for cellular deformations. New Journal of Physics. IOP Publishing. https://doi.org/10.1088/1367-2630/16/6/065005
[Published Version]
View
| Files available
| DOI
2014 | Published | Journal Article | IST-REx-ID: 2029 |
Correggi, M., Giuliani, A., & Seiringer, R. (2014). Validity of spin-wave theory for the quantum Heisenberg model. EPL. IOP Publishing. https://doi.org/10.1209/0295-5075/108/20003
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2014 | Published | 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 | Published | 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