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.
1481 Publications
2014 |Published| Journal Article | IST-REx-ID: 2161
Westhus, C., Ugelvig, L. V., Tourdot, E., Heinze, J., Doums, C., & Cremer, S. (2014). Increased grooming after repeated brood care provides sanitary benefits in a clonal ant. Behavioral Ecology and Sociobiology. Springer. https://doi.org/10.1007/s00265-014-1778-8
View
| Files available
| DOI
2014 |Published| Journal Article | IST-REx-ID: 12634
Pellicciotti, F., Ragettli, S., Carenzo, M., & McPhee, J. (2014). Changes of glaciers in the Andes of Chile and priorities for future work. Science of The Total Environment. Elsevier. https://doi.org/10.1016/j.scitotenv.2013.10.055
View
| DOI
2014 |Published| Journal Article | IST-REx-ID: 14019
Vasilatou, K., Michaud, J. M., Baykusheva, D. R., Grassi, G., & Merkt, F. (2014). The cyclopropene radical cation: Rovibrational level structure at low energies from high-resolution photoelectron spectra. The Journal of Chemical Physics. AIP Publishing. https://doi.org/10.1063/1.4890744
View
| DOI
| PubMed | Europe PMC
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| 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| Conference Paper | IST-REx-ID: 2218 |
Cerny, P., Henzinger, T. A., Radhakrishna, A., Ryzhyk, L., & Tarrach, T. (2014). Regression-free synthesis for concurrency (Vol. 8559, pp. 568–584). Presented at the CAV: Computer Aided Verification, Vienna, Austria: Springer. https://doi.org/10.1007/978-3-319-08867-9_38
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
2014 |Published| Conference Paper | IST-REx-ID: 2082 |
Gazi, P., Pietrzak, K. Z., & Rybar, M. (2014). The exact PRF-security of NMAC and HMAC. In J. Garay & R. Gennaro (Eds.) (Vol. 8616, pp. 113–130). Presented at the CRYPTO: International Cryptology Conference, Santa Barbara, USA: Springer. https://doi.org/10.1007/978-3-662-44371-2_7
[Submitted Version]
View
| Files available
| DOI
2014 |Published| 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 |Published| 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 |Published| 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.)
2013 |Published| Journal Article | IST-REx-ID: 11520 |
Sobral, D., Swinbank, A. M., Stott, J. P., Matthee, J. J., Bower, R. G., Smail, I., … Sharples, R. M. (2013). The dynamics of z=0.8 H-alpha-selected star-forming galaxies from KMOS/CF-HiZELS. The Astrophysical Journal. IOP Publishing. https://doi.org/10.1088/0004-637x/779/2/139
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 |Published| Conference Paper | IST-REx-ID: 11856 |
Henzinger, M. H., Krinninger, S., & Nanongkai, D. (2013). Dynamic approximate all-pairs shortest paths: Breaking the O(mn) barrier and derandomization. In 54th Annual Symposium on Foundations of Computer Science (pp. 538–547). Berkeley, CA, United States: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/focs.2013.64
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 |Published| Journal Article | IST-REx-ID: 11973
Pieber, B., & Kappe, C. O. (2013). Direct aerobic oxidation of 2-benzylpyridines in a gas-liquid continuous-flow regime using propylene carbonate as a solvent. Green Chemistry. Royal Society of Chemistry. https://doi.org/10.1039/c2gc36896j
View
| DOI
2013 |Published| Journal Article | IST-REx-ID: 12642 |
Petersen, L., Pellicciotti, F., Juszak, I., Carenzo, M., & Brock, B. (2013). Suitability of a constant air temperature lapse rate over an Alpine glacier: Testing the Greuell and Böhm model as an alternative. Annals of Glaciology. International Glaciological Society. https://doi.org/10.3189/2013aog63a477
[Published Version]
View
| DOI
| Download Published Version (ext.)
2013 |Published| Journal Article | IST-REx-ID: 1304
Haikala, V., Jösch, M. A., Borst, A., & Mauss, A. (2013). Optogenetic control of fly optomotor responses. Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.0340-13.2013
View
| DOI
2013 |Published| Journal Article | IST-REx-ID: 2129 |
Gigli, N., & Maas, J. (2013). Gromov-Hausdorff convergence of discrete transportation metrics. SIAM Journal on Mathematical Analysis. Society for Industrial and Applied Mathematics . https://doi.org/10.1137/120886315
View
| DOI
| Download (ext.)
2013 |Published| Journal Article | IST-REx-ID: 2264 |
Liang, H., Xiao, G., Yin, H., Hippenmeyer, S., Horowitz, J., & Ghashghaei, T. (2013). Neural development is dependent on the function of specificity protein 2 in cell cycle progression. Development. Company of Biologists. https://doi.org/10.1242/dev.085621
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2013 |Published| Conference (Editor) | IST-REx-ID: 2292
Chatterjee, K., & Sgall, J. (Eds.). (2013). Mathematical Foundations of Computer Science 2013 (Vol. 8087, p. VI-854). Presented at the MFCS: Mathematical Foundations of Computer Science, Klosterneuburg, Austria: Springer. https://doi.org/10.1007/978-3-642-40313-2
View
| DOI
2013 |Published| Conference Paper | IST-REx-ID: 2298 |
Dragoi, C., Enea, C., & Sighireanu, M. (2013). Local shape analysis for overlaid data structures (Vol. 7935, pp. 150–171). Presented at the SAS: Static Analysis Symposium, Seattle, WA, United States: Springer. https://doi.org/10.1007/978-3-642-38856-9_10
[Submitted Version]
View
| Files available
| DOI
2013 |Published| Journal Article | IST-REx-ID: 2300 |
Giuliani, A., Lieb, É., & Seiringer, R. (2013). Realization of stripes and slabs in two and three dimensions. Physical Review B. American Physical Society. https://doi.org/10.1103/PhysRevB.88.064401
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv