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.




5366 Publications

2014 | Published | Journal Article | IST-REx-ID: 2235 | OA
M. Fürst, D. Mcmahon, J. Osborne, R. Paxton, and M. Brown, “Disease associations between honeybees and bumblebees as a threat to wild pollinators,” Nature, vol. 506, no. 7488. Nature Publishing Group, pp. 364–366, 2014.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 
2014 | Published | Conference Paper | IST-REx-ID: 2236 | OA
D. Jetchev and K. Z. Pietrzak, “How to fake auxiliary input,” presented at the TCC: Theory of Cryptography Conference, San Diego, USA, 2014, vol. 8349, pp. 566–590.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 
2014 | Published | Conference Paper | IST-REx-ID: 2239
U. Boker, T. A. Henzinger, and A. Radhakrishna, “Battery transition systems,” presented at the POPL: Principles of Programming Languages, San Diego, USA, 2014, vol. 49, no. 1, pp. 595–606.
View | DOI
 
2014 | Published | Book | IST-REx-ID: 6853
H. Edelsbrunner, A Short Course in Computational Geometry and Topology, 1st ed. Cham: Springer Nature, 2014.
View | Files available | DOI
 
2014 | Draft | Working Paper | IST-REx-ID: 7038 | OA
K. Huszár and M. Rolinek, Playful Math - An introduction to mathematical games. IST Austria.
[Published Version] View | Files available
 
2014 | Published | Journal Article | IST-REx-ID: 3263 | OA
G. Tkačik, A. Ghosh, E. Schneidman, and R. Segev, “Adaptation to changes in higher-order stimulus statistics in the salamander retina,” PLoS One, vol. 9, no. 1. Public Library of Science, 2014.
[Published Version] View | Files available | DOI
 
2014 | Published | Thesis | IST-REx-ID: 1403
M. Behrndt, “Forces driving epithelial spreading in zebrafish epiboly,” IST Austria, 2014.
View | Files available
 
2014 | Published | Thesis | IST-REx-ID: 1395
M. Konrad, “Immune defences in ants: Effects of social immunisation and a fungal ectosymbiont in the ant Lasius neglectus,” Institute of Science and Technology Austria, 2014.
View
 
2014 | Published | Thesis | IST-REx-ID: 1402
P. Marhavá, “Molecular mechanisms of patterning and subcellular trafficking in Arabidopsis thaliana,” Institute of Science and Technology Austria, 2014.
View
 
2014 | Published | Thesis | IST-REx-ID: 1404
M. Stock, “Evolution of a fungal pathogen towards individual versus social immunity in ants,” IST Austria, 2014.
View
 
2014 | Published | Journal Article | IST-REx-ID: 1912 | OA
J. Compagnon et al., “The notochord breaks bilateral symmetry by controlling cell shapes in the Zebrafish laterality organ,” Developmental Cell, vol. 31, no. 6. Cell Press, pp. 774–783, 2014.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2014 | Published | Conference Paper | IST-REx-ID: 2167 | OA
P. Daca, T. A. Henzinger, W. Krenn, and D. Nickovic, “Compositional specifications for IOCO testing,” in IEEE 7th International Conference on Software Testing, Verification and Validation, Cleveland, USA, 2014.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2014 | Published | Conference Paper | IST-REx-ID: 2063
K. Chatterjee, M. Chmelik, and P. Daca, “CEGAR for qualitative analysis of probabilistic systems,” presented at the CAV: Computer Aided Verification, Vienna, Austria, 2014, vol. 8559, pp. 473–490.
View | Files available | DOI
 
2014 | Published | Conference Paper | IST-REx-ID: 2159 | OA
I. Mabillard and U. Wagner, “Eliminating Tverberg points, I. An analogue of the Whitney trick,” in Proceedings of the Annual Symposium on Computational Geometry, Kyoto, Japan, 2014, pp. 171–180.
[Submitted Version] View | Files available | DOI
 
2014 | Published | Journal Article | IST-REx-ID: 2023 | OA
S. Novak, “Habitat heterogeneities versus spatial type frequency variances as driving forces of dispersal evolution,” Ecology and Evolution, vol. 4, no. 24. Wiley-Blackwell, pp. 4589–4597, 2014.
[Published Version] View | Files available | DOI
 
2014 | Published | Journal Article | IST-REx-ID: 2255 | OA
H. Edelsbrunner and F. Pausinger, “Stable length estimates of tube-like shapes,” Journal of Mathematical Imaging and Vision, vol. 50, no. 1. Springer, pp. 164–177, 2014.
[Submitted Version] View | Files available | DOI
 
2014 | Published | Journal Article | IST-REx-ID: 1923 | OA
H. Berthoumieux, J.-L. Maître, C.-P. J. Heisenberg, E. Paluch, F. Julicher, and G. Salbreux, “Active elastic thin shell theory for cellular deformations,” New Journal of Physics, vol. 16. IOP Publishing, 2014.
[Published Version] View | Files available | DOI
 
2014 | Published | Journal Article | IST-REx-ID: 2029 | OA
M. Correggi, A. Giuliani, and R. Seiringer, “Validity of spin-wave theory for the quantum Heisenberg model,” EPL, vol. 108, no. 2. IOP Publishing, 2014.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 
2014 | Published | Journal Article | IST-REx-ID: 1999
N. Stroeymeyt, B. E. Casillas Perez, and S. Cremer, “Organisational immunity in social insects,” Current Opinion in Insect Science, vol. 5, no. 1. Elsevier, pp. 1–15, 2014.
View | Files available | DOI
 
2013 | Published | Journal Article | IST-REx-ID: 10396 | OA
A. Schlögl, P. M. Jonas, C. Schmidt-Hieber, and S. J. Guzman, “Stimfit: A fast visualization and analysis environment for cellular neurophysiology,” Biomedical Engineering / Biomedizinische Technik, vol. 58, no. SI-1-Track-G. De Gruyter, 2013.
[Submitted Version] View | Files available | DOI | PubMed | Europe PMC
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed