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.
1621 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: 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| 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
2016 |Published| Conference Paper | IST-REx-ID: 1235 |
Abusalah HM, Fuchsbauer G. 2016. Constrained PRFs for unbounded inputs with short keys. ACNS: Applied Cryptography and Network Security, LNCS, vol. 9696, 445–463.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)