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 LV, Tourdot E, Heinze J, Doums C, Cremer S. Increased grooming after repeated brood care provides sanitary benefits in a clonal ant. Behavioral Ecology and Sociobiology. 2014;68(10):1701-1710. doi: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. Changes of glaciers in the Andes of Chile and priorities for future work. Science of The Total Environment. 2014;493:1197-1210. doi:10.1016/j.scitotenv.2013.10.055
View
| DOI
2014 |Published| Journal Article | IST-REx-ID: 14019
Vasilatou K, Michaud JM, Baykusheva DR, Grassi G, Merkt F. The cyclopropene radical cation: Rovibrational level structure at low energies from high-resolution photoelectron spectra. The Journal of Chemical Physics. 2014;141(6). doi:10.1063/1.4890744
View
| DOI
| PubMed | Europe PMC
2014 |Published| Thesis | IST-REx-ID: 1402
Marhavá P. Molecular mechanisms of patterning and subcellular trafficking in Arabidopsis thaliana. 2014.
View
2014 |Published| Conference Paper | IST-REx-ID: 2159 | 
Mabillard I, Wagner U. Eliminating Tverberg points, I. An analogue of the Whitney trick. In: Proceedings of the Annual Symposium on Computational Geometry. ACM; 2014:171-180. doi:10.1145/2582112.2582134
[Submitted Version]
View
| Files available
| DOI
2014 |Published| Conference Paper | IST-REx-ID: 2218 |
Cerny P, Henzinger TA, Radhakrishna A, Ryzhyk L, Tarrach T. Regression-free synthesis for concurrency. In: Vol 8559. Springer; 2014:568-584. doi: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 KZ, Rybar M. The exact PRF-security of NMAC and HMAC. In: Garay J, Gennaro R, eds. Vol 8616. Springer; 2014:113-130. doi: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. Embeddability in the 3 sphere is decidable. In: Proceedings of the Annual Symposium on Computational Geometry. ACM; 2014:78-84. doi: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 TA, Otop J, Velner Y. Quantitative Fair Simulation Games. IST Austria; 2014. doi: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. Searching for collective behavior in a large network of sensory neurons. PLoS Computational Biology. 2014;10(1). doi: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 AM, Stott JP, et al. The dynamics of z=0.8 H-alpha-selected star-forming galaxies from KMOS/CF-HiZELS. The Astrophysical Journal. 2013;779(2). doi:10.1088/0004-637x/779/2/139
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 |Published| Conference Paper | IST-REx-ID: 11856 |
Henzinger MH, Krinninger S, Nanongkai D. Dynamic approximate all-pairs shortest paths: Breaking the O(mn) barrier and derandomization. In: 54th Annual Symposium on Foundations of Computer Science. Institute of Electrical and Electronics Engineers; 2013:538-547. doi:10.1109/focs.2013.64
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 |Published| Journal Article | IST-REx-ID: 11973
Pieber B, Kappe CO. Direct aerobic oxidation of 2-benzylpyridines in a gas-liquid continuous-flow regime using propylene carbonate as a solvent. Green Chemistry. 2013;15(2):320-324. doi:10.1039/c2gc36896j
View
| DOI
2013 |Published| Journal Article | IST-REx-ID: 12642 |
Petersen L, Pellicciotti F, Juszak I, Carenzo M, Brock B. 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. 2013;54(63):120-130. doi:10.3189/2013aog63a477
[Published Version]
View
| DOI
| Download Published Version (ext.)
2013 |Published| Journal Article | IST-REx-ID: 1304
Haikala V, Jösch MA, Borst A, Mauss A. Optogenetic control of fly optomotor responses. Journal of Neuroscience. 2013;33(34):13927-13934. doi:10.1523/JNEUROSCI.0340-13.2013
View
| DOI
2013 |Published| Journal Article | IST-REx-ID: 2129 |
Gigli N, Maas J. Gromov-Hausdorff convergence of discrete transportation metrics. SIAM Journal on Mathematical Analysis. 2013;45(2):879-899. doi: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. Neural development is dependent on the function of specificity protein 2 in cell cycle progression. Development. 2013;140(3):552-561. doi: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. Mathematical Foundations of Computer Science 2013. Vol 8087. Springer; 2013:VI-854. doi:10.1007/978-3-642-40313-2
View
| DOI
2013 |Published| Conference Paper | IST-REx-ID: 2298 |
Dragoi C, Enea C, Sighireanu M. Local shape analysis for overlaid data structures. In: Vol 7935. Springer; 2013:150-171. doi: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. Realization of stripes and slabs in two and three dimensions. Physical Review B. 2013;88(6). doi:10.1103/PhysRevB.88.064401
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv