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.
4950 Publications
2014 | Research Data Reference | IST-REx-ID: 9739
K. Chatterjee, A. Pavlogiannis, B. Adlam, and M. Novak, “Detailed proofs for ‘The time scale of evolutionary innovation.’” Public Library of Science, 2014.
[Published Version]
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 2170 | 
J. Hearn, G. Stone, L. Bunnefeld, J. Nicholls, N. H. Barton, and K. Lohse, “Likelihood-based inference of population history from low-coverage de novo genome assemblies,” Molecular Ecology, vol. 23, no. 1. Wiley-Blackwell, pp. 198–211, 2014.
[Submitted Version]
View
| Files available
| DOI
2014 | Research Data Reference | IST-REx-ID: 9753 |
S. Tragust, L. V. Ugelvig, M. Chapuisat, J. Heinze, and S. Cremer, “Data from: Pupal cocoons affect sanitary brood care and limit fungal infections in ant colonies.” Dryad, 2014.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2014 | Research Data Reference | IST-REx-ID: 9752 |
K. Simmons et al., “Data from: Transformation of stimulus correlations by the retina.” Dryad, 2014.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2014 | Journal Article | IST-REx-ID: 9931
R. Dhar, T. Bergmiller, and A. Wagner, “Increased gene dosage plays a predominant role in the initial stages of evolution of duplicate TEM-1 beta lactamase genes,” Evolution, vol. 68, no. 6. Wiley, pp. 1775–1791, 2014.
View
| Files available
| DOI
| PubMed | Europe PMC
2014 | Research Data Reference | IST-REx-ID: 9932 |
R. Dhar, T. Bergmiller, and A. Wagner, “Data from: Increased gene dosage plays a predominant role in the initial stages of evolution of duplicate TEM-1 beta lactamase genes.” Dryad, 2014.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2014 | Journal Article | IST-REx-ID: 535 |
K. Chatterjee, M. H. Henzinger, S. Krinninger, and D. Nanongkai, “Polynomial-time algorithms for energy games with special weight structures,” Algorithmica, vol. 70, no. 3. Springer, pp. 457–492, 2014.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2014 | Book Chapter | IST-REx-ID: 6178
M. Smutny, M. Behrndt, P. Campinho, V. Ruprecht, and C.-P. J. Heisenberg, “UV laser ablation to measure cell and tissue-generated forces in the zebrafish embryo in vivo and ex vivo,” in Tissue Morphogenesis, vol. 1189, C. Nelson, Ed. New York, NY: Springer, 2014, pp. 219–235.
View
| DOI
| PubMed | Europe PMC
2014 | Book Chapter | IST-REx-ID: 10817
D. Günther, J. Reininghaus, H.-P. Seidel, and T. Weinkauf, “Notes on the simplification of the Morse-Smale complex,” in Topological Methods in Data Analysis and Visualization III., P.-T. Bremer, I. Hotz, V. Pascucci, and R. Peikert, Eds. Cham: Springer Nature, 2014, pp. 135–150.
View
| DOI
2014 | 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 | 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 | Journal Article | IST-REx-ID: 2255 |
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 | Conference Paper | IST-REx-ID: 2159 |
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 | Journal Article | IST-REx-ID: 2023 |
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 | Conference Paper | IST-REx-ID: 2218 |
P. Cerny, T. A. Henzinger, A. Radhakrishna, L. Ryzhyk, and T. Tarrach, “Regression-free synthesis for concurrency,” presented at the CAV: Computer Aided Verification, Vienna, Austria, 2014, vol. 8559, pp. 568–584.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
2014 | Conference Paper | IST-REx-ID: 2167 |
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 | 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 | Journal Article | IST-REx-ID: 2001
K. Mitosch and M. T. Bollenbach, “Bacterial responses to antibiotics and their combinations,” Environmental Microbiology Reports, vol. 6, no. 6. Wiley, pp. 545–557, 2014.
View
| Files available
| DOI