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| Book Chapter | IST-REx-ID: 5809
On the connectivity and smoothness of discrete spherical circles
R. Biswas, P. Bhowmick, V.E. Brimkov, in:, Combinatorial Image Analysis, Springer Nature, Cham, 2016, pp. 86–100.
View
| DOI
R. Biswas, P. Bhowmick, V.E. Brimkov, in:, Combinatorial Image Analysis, Springer Nature, Cham, 2016, pp. 86–100.
2016 |Published| Journal Article | IST-REx-ID: 602
Structure of transcribing mammalian RNA polymerase II
C. Bernecky, F. Herzog, W. Baumeister, J. Plitzko, P. Cramer, Nature 529 (2016) 551–554.
View
| DOI
C. Bernecky, F. Herzog, W. Baumeister, J. Plitzko, P. Cramer, Nature 529 (2016) 551–554.
2016 |Published| Journal Article | IST-REx-ID: 7761
Pinning susceptibility: The effect of dilute, quenched disorder on jamming
A.L. Graves, S. Nashed, E. Padgett, C.P. Goodrich, A.J. Liu, J.P. Sethna, Physical Review Letters 116 (2016).
View
| DOI
A.L. Graves, S. Nashed, E. Padgett, C.P. Goodrich, A.J. Liu, J.P. Sethna, Physical Review Letters 116 (2016).
2016 |Published| Journal Article | IST-REx-ID: 8497
Kirkwood gaps and diffusion along mean motion resonances in the restricted planar three-body problem
J. Féjoz, M. Guàrdia, V. Kaloshin, P. Roldán, Journal of the European Mathematical Society 18 (2016) 2315–2403.
View
| DOI
J. Féjoz, M. Guàrdia, V. Kaloshin, P. Roldán, Journal of the European Mathematical Society 18 (2016) 2315–2403.
2016 |Published| Journal Article | IST-REx-ID: 850
Local fitness landscape of the green fluorescent protein
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
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.
2016 |Published| Journal Article | IST-REx-ID: 92
Relating the structure of geminal Amido Esters to their molecular hyperpolarizability
J. Cole, T. Lin, C. Ashcroft, J. Pérez Moreno, Y. Tan, P. Venkatesan, A.P. Higginbotham, P. Pattison, A. Edwards, R. Piltz, K. Clays, A. Ilangovan, Journal of Physical Chemistry C 120 (2016) 29439–29448.
View
| DOI
J. Cole, T. Lin, C. Ashcroft, J. Pérez Moreno, Y. Tan, P. Venkatesan, A.P. Higginbotham, P. Pattison, A. Edwards, R. Piltz, K. Clays, A. Ilangovan, Journal of Physical Chemistry C 120 (2016) 29439–29448.
2016 |Published| Journal Article | IST-REx-ID: 8493
A second order expansion of the separatrix map for trigonometric perturbations of a priori unstable systems
M. Guardia, V. Kaloshin, J. Zhang, Communications in Mathematical Physics 348 (2016) 321–361.
View
| DOI
M. Guardia, V. Kaloshin, J. Zhang, Communications in Mathematical Physics 348 (2016) 321–361.
2016 |Published| Journal Article | IST-REx-ID: 12622 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Air temperature variability in a high-elevation Himalayan catchment
M. Heynen, E. Miles, S. Ragettli, P. Buri, W.W. Immerzeel, F. Pellicciotti, Annals of Glaciology 57 (2016) 212–222.
[Published Version]
View
| DOI
| Download Published Version (ext.)
M. Heynen, E. Miles, S. Ragettli, P. Buri, W.W. Immerzeel, F. Pellicciotti, Annals of Glaciology 57 (2016) 212–222.
2016 |Published| Journal Article | IST-REx-ID: 12623 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
A grid-based model of backwasting of supraglacial ice cliffs on debris-covered glaciers
P. Buri, F. Pellicciotti, J.F. Steiner, E.S. Miles, W.W. Immerzeel, Annals of Glaciology 57 (2016) 199–211.
[Published Version]
View
| DOI
| Download Published Version (ext.)
P. Buri, F. Pellicciotti, J.F. Steiner, E.S. Miles, W.W. Immerzeel, Annals of Glaciology 57 (2016) 199–211.
2016 |Published| Journal Article | IST-REx-ID: 12613 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
A physically based 3‐D model of ice cliff evolution over debris‐covered glaciers
P. Buri, E.S. Miles, J.F. Steiner, W.W. Immerzeel, P. Wagnon, F. Pellicciotti, Journal of Geophysical Research: Earth Surface 121 (2016) 2471–2493.
[Published Version]
View
| DOI
| Download Published Version (ext.)
P. Buri, E.S. Miles, J.F. Steiner, W.W. Immerzeel, P. Wagnon, F. Pellicciotti, Journal of Geophysical Research: Earth Surface 121 (2016) 2471–2493.
2016 |Published| Conference Paper | IST-REx-ID: 1341 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Dynamic resource allocation games
G. Avni, T.A. Henzinger, O. Kupferman, in:, Springer, 2016, pp. 153–166.
[Preprint]
View
| Files available
| DOI
G. Avni, T.A. Henzinger, O. Kupferman, in:, Springer, 2016, pp. 153–166.
2016 |Published| Thesis | IST-REx-ID: 1121 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Selective barriers to horizontal gene transfer
H. Acar, Selective Barriers to Horizontal Gene Transfer, Institute of Science and Technology Austria, 2016.
[Published Version]
View
| Files available
H. Acar, Selective Barriers to Horizontal Gene Transfer, Institute of Science and Technology Austria, 2016.
2016 |Published| Thesis | IST-REx-ID: 1123 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Eliminating higher-multiplicity intersections: an r-fold Whitney trick for the topological Tverberg conjecture
I. Mabillard, Eliminating Higher-Multiplicity Intersections: An r-Fold Whitney Trick for the Topological Tverberg Conjecture, Institute of Science and Technology Austria, 2016.
[Published Version]
View
| Files available
I. Mabillard, Eliminating Higher-Multiplicity Intersections: An r-Fold Whitney Trick for the Topological Tverberg Conjecture, Institute of Science and Technology Austria, 2016.
2016 |Published| Conference Paper | IST-REx-ID: 1234 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Faster statistical model checking for unbounded temporal properties
P. Daca, T.A. Henzinger, J. Kretinsky, T. Petrov, in:, Springer, 2016, pp. 112–129.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
P. Daca, T.A. Henzinger, J. Kretinsky, T. Petrov, in:, Springer, 2016, pp. 112–129.
2016 |Published| Conference Paper | IST-REx-ID: 1230 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Abstraction-driven concolic testing
P. Daca, A. Gupta, T.A. Henzinger, in:, Springer, 2016, pp. 328–347.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
P. Daca, A. Gupta, T.A. Henzinger, in:, Springer, 2016, pp. 328–347.
2016 |Published| Conference Paper | IST-REx-ID: 1391 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Array folds logic
P. Daca, T.A. Henzinger, A. Kupriyanov, in:, Springer, 2016, pp. 230–248.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
P. Daca, T.A. Henzinger, A. Kupriyanov, in:, Springer, 2016, pp. 230–248.
2016 |Published| Journal Article | IST-REx-ID: 1243
Bacterial autoimmunity due to a restriction-modification system
M. Pleska, L. Qian, R. Okura, T. Bergmiller, Y. Wakamoto, E. Kussell, C.C. Guet, Current Biology 26 (2016) 404–409.
View
| Files available
| DOI
M. Pleska, L. Qian, R. Okura, T. Bergmiller, Y. Wakamoto, E. Kussell, C.C. Guet, Current Biology 26 (2016) 404–409.
2016 |Published| Conference Paper | IST-REx-ID: 1229 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Offline witness encryption
H.M. Abusalah, G. Fuchsbauer, K.Z. Pietrzak, in:, Springer, 2016, pp. 285–303.
[Submitted Version]
View
| Files available
| DOI
H.M. Abusalah, G. Fuchsbauer, K.Z. Pietrzak, in:, Springer, 2016, pp. 285–303.
2016 |Published| Conference Paper | IST-REx-ID: 1236 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Constrained PRFs for unbounded inputs
H.M. Abusalah, G. Fuchsbauer, K.Z. Pietrzak, in:, Springer, 2016, pp. 413–428.
[Submitted Version]
View
| Files available
| DOI
H.M. Abusalah, G. Fuchsbauer, K.Z. Pietrzak, in:, Springer, 2016, pp. 413–428.
2016 |Published| Conference Paper | IST-REx-ID: 1235 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Constrained PRFs for unbounded inputs with short keys
H.M. Abusalah, G. Fuchsbauer, in:, Springer, 2016, pp. 445–463.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
H.M. Abusalah, G. Fuchsbauer, in:, Springer, 2016, pp. 445–463.