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.
1953 Publications
2016 |Published| Journal Article | IST-REx-ID: 12625 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Seasonal surface velocities of a Himalayan glacier derived by automated correlation of unmanned aerial vehicle imagery
P. Kraaijenbrink, S.W. Meijer, J.M. Shea, F. Pellicciotti, S.M. De Jong, W.W. Immerzeel, Annals of Glaciology 57 (2016) 103–113.
[Published Version]
View
| DOI
| Download Published Version (ext.)
P. Kraaijenbrink, S.W. Meijer, J.M. Shea, F. Pellicciotti, S.M. De Jong, W.W. Immerzeel, Annals of Glaciology 57 (2016) 103–113.
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| Journal Article | IST-REx-ID: 12615
Modelling the hydrological response of debris-free and debris-covered glaciers to present climatic conditions in the semiarid Andes of central Chile
A. Ayala, F. Pellicciotti, S. MacDonell, J. McPhee, S. Vivero, C. Campos, P. Egli, Hydrological Processes 30 (2016) 4036–4058.
View
| DOI
A. Ayala, F. Pellicciotti, S. MacDonell, J. McPhee, S. Vivero, C. Campos, P. Egli, Hydrological Processes 30 (2016) 4036–4058.
2016 |Published| Journal Article | IST-REx-ID: 12617 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Heterogeneous glacier thinning patterns over the last 40 years in Langtang Himal, Nepal
S. Ragettli, T. Bolch, F. Pellicciotti, The Cryosphere 10 (2016) 2075–2097.
[Published Version]
View
| DOI
| Download Published Version (ext.)
S. Ragettli, T. Bolch, F. Pellicciotti, The Cryosphere 10 (2016) 2075–2097.
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| Journal Article | IST-REx-ID: 1662 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Approximation and convergence of the intrinsic volume
H. Edelsbrunner, F. Pausinger, Advances in Mathematics 287 (2016) 674–703.
[Published Version]
View
| Files available
| DOI
H. Edelsbrunner, F. Pausinger, Advances in Mathematics 287 (2016) 674–703.
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: 1093 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Linear distances between Markov chains
P. Daca, T.A. Henzinger, J. Kretinsky, T. Petrov, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.
[Published Version]
View
| Files available
| DOI
P. Daca, T.A. Henzinger, J. Kretinsky, T. Petrov, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 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: 1071 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Optimal reachability and a space time tradeoff for distance queries in constant treewidth graphs
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, in:, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik, 2016.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, in:, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik, 2016.
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.
2016 |Published| Conference Paper | IST-REx-ID: 1205 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Safety assured formal model driven design of the multifunction vehicle bus controller
Y. Jiang, H. Liu, H. Song, H. Kong, M. Gu, J. Sun, L. Sha, in:, Springer, 2016, pp. 757–763.
[Submitted Version]
View
| Files available
| DOI
Y. Jiang, H. Liu, H. Song, H. Kong, M. Gu, J. Sun, L. Sha, in:, Springer, 2016, pp. 757–763.