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
Biswas, Ranita, et al. “On the Connectivity and Smoothness of Discrete Spherical Circles.” Combinatorial Image Analysis, vol. 9448, Springer Nature, 2016, pp. 86–100, doi:10.1007/978-3-319-26145-4_7.
View
| DOI
2016 |Published| Journal Article | IST-REx-ID: 602
Bernecky, Carrie, et al. “Structure of Transcribing Mammalian RNA Polymerase II.” Nature, vol. 529, no. 7587, Nature Publishing Group, 2016, pp. 551–54, doi:10.1038/nature16482.
View
| DOI
2016 |Published| Journal Article | IST-REx-ID: 7761
Graves, Amy L., et al. “Pinning Susceptibility: The Effect of Dilute, Quenched Disorder on Jamming.” Physical Review Letters, vol. 116, no. 23, 235501, American Physical Society, 2016, doi:10.1103/physrevlett.116.235501.
View
| DOI
2016 |Published| Journal Article | IST-REx-ID: 8497
Féjoz, Jacques, et al. “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, 2016, pp. 2315–403, 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, Jaqueline, et al. “Relating the Structure of Geminal Amido Esters to Their Molecular Hyperpolarizability.” Journal of Physical Chemistry C, vol. 120, no. 51, American Chemical Society, 2016, pp. 29439–48, doi:10.1021/acs.jpcc.6b10724.
View
| DOI
2016 |Published| Journal Article | IST-REx-ID: 8493
Guardia, M., et al. “A Second Order Expansion of the Separatrix Map for Trigonometric Perturbations of a Priori Unstable Systems.” Communications in Mathematical Physics, vol. 348, Springer Nature, 2016, pp. 321–61, doi:10.1007/s00220-016-2705-9.
View
| DOI
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| 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| 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: 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: 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.)