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.
465 Publications
2014 |
Published |
Journal Article |
IST-REx-ID: 535 |
K. Chatterjee, M. 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.)
| WoS
| arXiv
2014 |
Published |
Conference Paper |
IST-REx-ID: 1872 |
A. Gupta, L. Kovács, B. Kragl, and A. Voronkov, “Extensional crisis and proving identity,” in 12th International Symposium on Automated Technology for Verification and Analysis, Sydney, Australia, 2014, vol. 8837, pp. 185–200.
[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 |
Published |
Journal Article |
IST-REx-ID: 2250 |
D. Kuchibhatla et al., “Powerful sequence similarity search methods and in-depth manual analyses can identify remote homologs in many apparently ‘orphan’ viral proteins,” Journal of Virology, vol. 88, no. 1. ASM, pp. 10–20, 2014.
[Published Version]
View
| Files available
| DOI
| WoS
2014 |
Published |
Journal Article |
IST-REx-ID: 2716 |
K. Chatterjee, M. Randour, and J. Raskin, “Strategy synthesis for multi-dimensional quantitative objectives,” Acta Informatica, vol. 51, no. 3–4. Springer, pp. 129–163, 2014.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
earlier version | 2014 |
Published |
Journal Article |
IST-REx-ID: 254
T. D. Browning, “The polynomial sieve and equal sums of like polynomials,” International Mathematics Research Notices, vol. 2015, no. 7. Oxford University Press, pp. 1987–2019, 2014.
View
| Files available
| DOI
2014 |
Published |
Thesis | PhD |
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 | PhD |
IST-REx-ID: 1404
M. Stock, “Evolution of a fungal pathogen towards individual versus social immunity in ants,” Institute of Science and Technology Austria, 2014.
View
2014 |
Published |
Thesis | PhD |
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 | PhD |
IST-REx-ID: 1403
M. Behrndt, “Forces driving epithelial spreading in zebrafish epiboly,” Institute of Science and Technology Austria, 2014.
View
| Files available
2014 |
Published |
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
| WoS
2014 |
Published |
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 |
Published |
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
| WoS
2014 |
Published |
Journal Article |
IST-REx-ID: 22547 |
S. Fatichi and V. Y. Ivanov, “Interannual variability of evapotranspiration and vegetation productivity,” Water Resources Research, vol. 50, no. 4. American Geophysical Union, pp. 3275–3294, 2014.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2014 |
Published |
Journal Article |
IST-REx-ID: 22541 |
S. Fatichi, S. Leuzinger, and C. Körner, “Moving beyond photosynthesis: from carbon source to sink‐driven vegetation modeling,” New Phytologist, vol. 201, no. 4. Wiley, pp. 1086–1095, 2014.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2014 |
Published |
Journal Article |
IST-REx-ID: 22560 |
S. Fatichi, M. J. Zeeman, J. Fuhrer, and P. Burlando, “Ecohydrological effects of management on subalpine grasslands: From local to catchment scale,” Water Resources Research, vol. 50, no. 1. American Geophysical Union, pp. 148–164, 2014.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2014 |
Published |
Journal Article |
IST-REx-ID: 2036 |
M. Lagator, N. Colegrave, and P. Neve, “Selection history and epistatic interactions impact dynamics of adaptation to novel environmental stresses,” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 281, no. 1794. Royal Society, 2014.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS