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.
1790 Publications
2016 |Published| Technical Report | IST-REx-ID: 5447 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
1 Anonymous, 2 Anonymous, and 3 Anonymous, Average-case analysis of programs: Automated recurrence analysis for almost-linear bounds. IST Austria, 2016.
[Published Version]
View
| Files available
2016 |Published| Technical Report | IST-REx-ID: 5448 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
1 Anonymous, 2 Anonymous, 3 Anonymous, and 4 Anonymous, Data-centric dynamic partial order reduction. IST Austria, 2016.
[Published Version]
View
| Files available
| arXiv
2016 |Published| Journal Article | IST-REx-ID: 7294
A. M. Escamilla-Pérez et al., “Lithium insertion properties of mesoporous nanocrystalline TiO2 and TiO2–V2O5 microspheres prepared by non-hydrolytic sol–gel,” Journal of Sol-Gel Science and Technology, vol. 79, no. 2. Springer Nature, pp. 270–278, 2016.
View
| DOI
2016 |Published| Journal Article | IST-REx-ID: 8497
J. Féjoz, M. Guàrdia, V. Kaloshin, and P. Roldán, “Kirkwood gaps and diffusion along mean motion resonances in the restricted planar three-body problem,” Journal of the European Mathematical Society, vol. 18, no. 10. European Mathematical Society Publishing House, pp. 2315–2403, 2016.
View
| DOI
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: 12622 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
M. Heynen, E. Miles, S. Ragettli, P. Buri, W. W. Immerzeel, and F. Pellicciotti, “Air temperature variability in a high-elevation Himalayan catchment,” Annals of Glaciology, vol. 57, no. 71. International Glaciological Society, pp. 212–222, 2016.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2016 |Published| Journal Article | IST-REx-ID: 12623 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
P. Buri, F. Pellicciotti, J. F. Steiner, E. S. Miles, and W. W. Immerzeel, “A grid-based model of backwasting of supraglacial ice cliffs on debris-covered glaciers,” Annals of Glaciology, vol. 57, no. 71. International Glaciological Society, pp. 199–211, 2016.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2016 |Published| Journal Article | IST-REx-ID: 12613 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
P. Buri, E. S. Miles, J. F. Steiner, W. W. Immerzeel, P. Wagnon, and F. Pellicciotti, “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, pp. 2471–2493, 2016.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2016 |Published| Conference Paper | IST-REx-ID: 1341 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
G. Avni, T. A. Henzinger, and O. Kupferman, “Dynamic resource allocation games,” presented at the SAGT: Symposium on Algorithmic Game Theory, Liverpool, United Kingdom, 2016, vol. 9928, pp. 153–166.
[Preprint]
View
| Files available
| DOI
2016 |Published| Thesis | IST-REx-ID: 1121 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
H. Acar, “Selective barriers to horizontal gene transfer,” Institute of Science and Technology Austria, 2016.
[Published Version]
View
| Files available
2016 |Published| Thesis | IST-REx-ID: 1123 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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
2016 |Published| Conference Paper | IST-REx-ID: 1234 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
P. Daca, T. A. Henzinger, J. Kretinsky, and T. Petrov, “Faster statistical model checking for unbounded temporal properties,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Eindhoven, The Netherlands, 2016, vol. 9636, pp. 112–129.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2016 |Published| Conference Paper | IST-REx-ID: 1230 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
P. Daca, A. Gupta, and T. A. Henzinger, “Abstraction-driven concolic testing,” presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, St. Petersburg, FL, USA, 2016, vol. 9583, pp. 328–347.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)