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.
1850 Publications
2016 |Published| Journal Article | IST-REx-ID: 850
Sarkisyan K, Bolotin D, Meer M, Usmanova D, Mishin A, Sharonov G, Ivankov D, Bozhanova N, Baranov M, Soylemez O, Bogatyreva N, Vlasov P, Egorov E, Logacheva M, Kondrashov A, Chudakov D, Putintseva E, Mamedov I, Tawfik D, Lukyanov K, Kondrashov F. 2016. Local fitness landscape of the green fluorescent protein. Nature. 533, 397–401.
View
| DOI
2016 |Published| Journal Article | IST-REx-ID: 92
Cole J, Lin T, Ashcroft C, Pérez Moreno J, Tan Y, Venkatesan P, Higginbotham AP, Pattison P, Edwards A, Piltz R, Clays K, Ilangovan A. 2016. Relating the structure of geminal Amido Esters to their molecular hyperpolarizability. Journal of Physical Chemistry C. 120(51), 29439–29448.
View
| DOI
2016 |Published| Journal Article | IST-REx-ID: 8452
Rodrigues CDA, Henry X, Neumann E, Kurauskas V, Bellard L, Fichou Y, Schanda P, Schoehn G, Rudner DZ, Morlot C. 2016. A ring-shaped conduit connects the mother cell and forespore during sporulation in Bacillus subtilis. Proceedings of the National Academy of Sciences. 113(41), 11585–11590.
View
| DOI
2016 |Published| Journal Article | IST-REx-ID: 12625 | 
Kraaijenbrink P, Meijer SW, Shea JM, Pellicciotti F, De Jong SM, Immerzeel WW. 2016. Seasonal surface velocities of a Himalayan glacier derived by automated correlation of unmanned aerial vehicle imagery. Annals of Glaciology. 57(71), 103–113.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2016 |Published| Journal Article | IST-REx-ID: 12622 |
Heynen M, Miles E, Ragettli S, Buri P, Immerzeel WW, Pellicciotti F. 2016. Air temperature variability in a high-elevation Himalayan catchment. Annals of Glaciology. 57(71), 212–222.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2016 |Published| Journal Article | IST-REx-ID: 12623 |
Buri P, Pellicciotti F, Steiner JF, Miles ES, Immerzeel WW. 2016. A grid-based model of backwasting of supraglacial ice cliffs on debris-covered glaciers. Annals of Glaciology. 57(71), 199–211.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2016 |Published| Journal Article | IST-REx-ID: 12613 |
Buri P, Miles ES, Steiner JF, Immerzeel WW, Wagnon P, Pellicciotti F. 2016. A physically based 3‐D model of ice cliff evolution over debris‐covered glaciers. Journal of Geophysical Research: Earth Surface. 121(12), 2471–2493.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2016 |Published| Journal Article | IST-REx-ID: 12615
Ayala A, Pellicciotti F, MacDonell S, McPhee J, Vivero S, Campos C, Egli P. 2016. Modelling the hydrological response of debris-free and debris-covered glaciers to present climatic conditions in the semiarid Andes of central Chile. Hydrological Processes. 30(22), 4036–4058.
View
| DOI
2016 |Published| Journal Article | IST-REx-ID: 12617 |
Ragettli S, Bolch T, Pellicciotti F. 2016. Heterogeneous glacier thinning patterns over the last 40 years in Langtang Himal, Nepal. The Cryosphere. 10(5), 2075–2097.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2016 |Published| Conference Paper | IST-REx-ID: 1341 |
Avni G, Henzinger TA, Kupferman O. 2016. Dynamic resource allocation games. SAGT: Symposium on Algorithmic Game Theory, LNCS, vol. 9928, 153–166.
[Preprint]
View
| Files available
| DOI
2016 |Published| Thesis | IST-REx-ID: 1121 |
Acar H. 2016. Selective barriers to horizontal gene transfer. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
2016 |Published| Thesis | IST-REx-ID: 1123 |
Mabillard I. 2016. Eliminating higher-multiplicity intersections: an r-fold Whitney trick for the topological Tverberg conjecture. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
2016 |Published| Conference Paper | IST-REx-ID: 1234 |
Daca P, Henzinger TA, Kretinsky J, Petrov T. 2016. Faster statistical model checking for unbounded temporal properties. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 9636, 112–129.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2016 |Published| Conference Paper | IST-REx-ID: 1230 |
Daca P, Gupta A, Henzinger TA. 2016. Abstraction-driven concolic testing. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS, vol. 9583, 328–347.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2016 |Published| Conference Paper | IST-REx-ID: 1391 |
Daca P, Henzinger TA, Kupriyanov A. 2016. Array folds logic. CAV: Computer Aided Verification, LNCS, vol. 9780, 230–248.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2016 |Published| Journal Article | IST-REx-ID: 1243
Pleska M, Qian L, Okura R, Bergmiller T, Wakamoto Y, Kussell E, Guet CC. 2016. Bacterial autoimmunity due to a restriction-modification system. Current Biology. 26(3), 404–409.
View
| Files available
| DOI
2016 |Published| Conference Paper | IST-REx-ID: 1229 |
Abusalah HM, Fuchsbauer G, Pietrzak KZ. 2016. Offline witness encryption. ACNS: Applied Cryptography and Network Security, LNCS, vol. 9696, 285–303.
[Submitted Version]
View
| Files available
| DOI
2016 |Published| Conference Paper | IST-REx-ID: 1236 |
Abusalah HM, Fuchsbauer G, Pietrzak KZ. 2016. Constrained PRFs for unbounded inputs. CT-RSA: Topics in Cryptology, LNCS, vol. 9610, 413–428.
[Submitted Version]
View
| Files available
| DOI