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 | 
Kraaijenbrink, Philip, et al. “Seasonal Surface Velocities of a Himalayan Glacier Derived by Automated Correlation of Unmanned Aerial Vehicle Imagery.” Annals of Glaciology, vol. 57, no. 71, International Glaciological Society, 2016, pp. 103–13, doi:10.3189/2016aog71a072.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2016 |Published| Journal Article | IST-REx-ID: 12622 |
Heynen, Martin, et al. “Air Temperature Variability in a High-Elevation Himalayan Catchment.” Annals of Glaciology, vol. 57, no. 71, International Glaciological Society, 2016, pp. 212–22, doi:10.3189/2016aog71a076.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2016 |Published| Journal Article | IST-REx-ID: 12623 |
Buri, Pascal, et al. “A Grid-Based Model of Backwasting of Supraglacial Ice Cliffs on Debris-Covered Glaciers.” Annals of Glaciology, vol. 57, no. 71, International Glaciological Society, 2016, pp. 199–211, doi:10.3189/2016aog71a059.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2016 |Published| Journal Article | IST-REx-ID: 12613 |
Buri, Pascal, et al. “A Physically Based 3‐D Model of Ice Cliff Evolution over Debris‐covered Glaciers.” Journal of Geophysical Research: Earth Surface, vol. 121, no. 12, American Geophysical Union, 2016, pp. 2471–93, doi:10.1002/2016jf004039.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2016 |Published| Journal Article | IST-REx-ID: 12615
Ayala, A., et al. “Modelling the Hydrological Response of Debris-Free and Debris-Covered Glaciers to Present Climatic Conditions in the Semiarid Andes of Central Chile.” Hydrological Processes, vol. 30, no. 22, Wiley, 2016, pp. 4036–58, doi:10.1002/hyp.10971.
View
| DOI
2016 |Published| Journal Article | IST-REx-ID: 12617 |
Ragettli, Silvan, et al. “Heterogeneous Glacier Thinning Patterns over the Last 40 Years in Langtang Himal, Nepal.” The Cryosphere, vol. 10, no. 5, Copernicus Publications, 2016, pp. 2075–97, doi:10.5194/tc-10-2075-2016.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2016 |Published| Conference Paper | IST-REx-ID: 1341 |
Avni, Guy, et al. Dynamic Resource Allocation Games. Vol. 9928, Springer, 2016, pp. 153–66, doi:10.1007/978-3-662-53354-3_13.
[Preprint]
View
| Files available
| DOI
2016 |Published| Thesis | IST-REx-ID: 1121 |
Acar, Hande. Selective Barriers to Horizontal Gene Transfer. Institute of Science and Technology Austria, 2016.
[Published Version]
View
| Files available
2016 |Published| Journal Article | IST-REx-ID: 1662 |
Edelsbrunner, Herbert, and Florian Pausinger. “Approximation and Convergence of the Intrinsic Volume.” Advances in Mathematics, vol. 287, Academic Press, 2016, pp. 674–703, doi:10.1016/j.aim.2015.10.004.
[Published Version]
View
| Files available
| DOI
2016 |Published| Thesis | IST-REx-ID: 1123 |
Mabillard, Isaac. 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
2016 |Published| Conference Paper | IST-REx-ID: 1093 |
Daca, Przemyslaw, et al. Linear Distances between Markov Chains. Vol. 59, 20, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016, doi:10.4230/LIPIcs.CONCUR.2016.20.
[Published Version]
View
| Files available
| DOI
2016 |Published| Conference Paper | IST-REx-ID: 1234 |
Daca, Przemyslaw, et al. Faster Statistical Model Checking for Unbounded Temporal Properties. Vol. 9636, Springer, 2016, pp. 112–29, doi:10.1007/978-3-662-49674-9_7.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2016 |Published| Conference Paper | IST-REx-ID: 1230 |
Daca, Przemyslaw, et al. Abstraction-Driven Concolic Testing. Vol. 9583, Springer, 2016, pp. 328–47, doi:10.1007/978-3-662-49122-5_16.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2016 |Published| Conference Paper | IST-REx-ID: 1391 |
Daca, Przemyslaw, et al. Array Folds Logic. Vol. 9780, Springer, 2016, pp. 230–48, doi:10.1007/978-3-319-41540-6_13.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2016 |Published| Journal Article | IST-REx-ID: 1243
Pleska, Maros, et al. “Bacterial Autoimmunity Due to a Restriction-Modification System.” Current Biology, vol. 26, no. 3, Cell Press, 2016, pp. 404–09, doi:10.1016/j.cub.2015.12.041.
View
| Files available
| DOI
2016 |Published| Conference Paper | IST-REx-ID: 1071 |
Chatterjee, Krishnendu, et al. Optimal Reachability and a Space Time Tradeoff for Distance Queries in Constant Treewidth Graphs. Vol. 57, 28, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik, 2016, doi:10.4230/LIPIcs.ESA.2016.28.
[Published Version]
View
| Files available
| DOI
2016 |Published| Conference Paper | IST-REx-ID: 1229 |
Abusalah, Hamza M., et al. Offline Witness Encryption. Vol. 9696, Springer, 2016, pp. 285–303, doi:10.1007/978-3-319-39555-5_16.
[Submitted Version]
View
| Files available
| DOI
2016 |Published| Conference Paper | IST-REx-ID: 1236 |
Abusalah, Hamza M., et al. Constrained PRFs for Unbounded Inputs. Vol. 9610, Springer, 2016, pp. 413–28, doi:10.1007/978-3-319-29485-8_24.
[Submitted Version]
View
| Files available
| DOI
2016 |Published| Conference Paper | IST-REx-ID: 1235 |
Abusalah, Hamza M., and Georg Fuchsbauer. Constrained PRFs for Unbounded Inputs with Short Keys. Vol. 9696, Springer, 2016, pp. 445–63, doi:10.1007/978-3-319-39555-5_24.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
2016 |Published| Conference Paper | IST-REx-ID: 1205 |
Jiang, Yu, et al. Safety Assured Formal Model Driven Design of the Multifunction Vehicle Bus Controller. Vol. 9995, Springer, 2016, pp. 757–63, doi:10.1007/978-3-319-48989-6_47.
[Submitted Version]
View
| Files available
| DOI