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)
Anonymous 1, Anonymous 2, Anonymous 3. 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)
Anonymous 1, Anonymous 2, Anonymous 3, Anonymous 4. Data-Centric Dynamic Partial Order Reduction. IST Austria; 2016.
[Published Version]
View
| Files available
| arXiv
2016 |Published| Conference Paper | IST-REx-ID: 5806
Biswas R, Bhowmick P. On functionality of quadraginta octants of naive sphere with application to circle drawing. In: Discrete Geometry for Computer Imagery. Vol 9647. Cham: Springer Nature; 2016:256-267. doi:10.1007/978-3-319-32360-2_20
View
| DOI
2016 |Published| Book Chapter | IST-REx-ID: 5805
Sen N, Biswas R, Bhowmick P. On some local topological properties of naive discrete sphere. In: Computational Topology in Image Context. Vol 9667. Cham: Springer Nature; 2016:253-264. doi:10.1007/978-3-319-39441-1_23
View
| DOI
2016 |Published| Book Chapter | IST-REx-ID: 5809
Biswas R, Bhowmick P, Brimkov VE. On the connectivity and smoothness of discrete spherical circles. In: Combinatorial Image Analysis. Vol 9448. Cham: Springer Nature; 2016:86-100. doi:10.1007/978-3-319-26145-4_7
View
| DOI
2016 |Published| Journal Article | IST-REx-ID: 602
Bernecky C, Herzog F, Baumeister W, Plitzko J, Cramer P. Structure of transcribing mammalian RNA polymerase II. Nature. 2016;529(7587):551-554. doi:10.1038/nature16482
View
| DOI
2016 |Published| Journal Article | IST-REx-ID: 7294
Escamilla-Pérez AM, Louvain N, Kaschowitz M, 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. 2016;79(2):270-278. doi:10.1007/s10971-016-4037-9
View
| DOI
2016 |Published| Journal Article | IST-REx-ID: 7761
Graves AL, Nashed S, Padgett E, Goodrich CP, Liu AJ, Sethna JP. Pinning susceptibility: The effect of dilute, quenched disorder on jamming. Physical Review Letters. 2016;116(23). doi:10.1103/physrevlett.116.235501
View
| DOI
2016 |Published| Journal Article | IST-REx-ID: 8497
Féjoz J, Guàrdia M, Kaloshin V, Roldán P. Kirkwood gaps and diffusion along mean motion resonances in the restricted planar three-body problem. Journal of the European Mathematical Society. 2016;18(10):2315-2403. doi:10.4171/jems/642
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: 92
Cole J, Lin T, Ashcroft C, et al. Relating the structure of geminal Amido Esters to their molecular hyperpolarizability. Journal of Physical Chemistry C. 2016;120(51):29439-29448. doi:10.1021/acs.jpcc.6b10724
View
| DOI
2016 |Published| Journal Article | IST-REx-ID: 8493
Guardia M, Kaloshin V, Zhang J. A second order expansion of the separatrix map for trigonometric perturbations of a priori unstable systems. Communications in Mathematical Physics. 2016;348:321-361. doi:10.1007/s00220-016-2705-9
View
| DOI
2016 |Published| Journal Article | IST-REx-ID: 12622 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Heynen M, Miles E, Ragettli S, Buri P, Immerzeel WW, Pellicciotti F. Air temperature variability in a high-elevation Himalayan catchment. Annals of Glaciology. 2016;57(71):212-222. doi:10.3189/2016aog71a076
[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)
Buri P, Pellicciotti F, Steiner JF, Miles ES, Immerzeel WW. A grid-based model of backwasting of supraglacial ice cliffs on debris-covered glaciers. Annals of Glaciology. 2016;57(71):199-211. doi:10.3189/2016aog71a059
[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)
Buri P, Miles ES, Steiner JF, Immerzeel WW, Wagnon P, Pellicciotti F. A physically based 3‐D model of ice cliff evolution over debris‐covered glaciers. Journal of Geophysical Research: Earth Surface. 2016;121(12):2471-2493. doi:10.1002/2016jf004039
[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)
Avni G, Henzinger TA, Kupferman O. Dynamic resource allocation games. In: Vol 9928. Springer; 2016:153-166. doi:10.1007/978-3-662-53354-3_13
[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)
Acar H. Selective barriers to horizontal gene transfer. 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)
Mabillard I. Eliminating higher-multiplicity intersections: an r-fold Whitney trick for the topological Tverberg conjecture. 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)
Daca P, Henzinger TA, Kretinsky J, Petrov T. Faster statistical model checking for unbounded temporal properties. In: Vol 9636. Springer; 2016:112-129. 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 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Daca P, Gupta A, Henzinger TA. Abstraction-driven concolic testing. In: Vol 9583. Springer; 2016:328-347. doi:10.1007/978-3-662-49122-5_16
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)