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| Technical Report | IST-REx-ID: 5446 | 
Anonymous, 1, 2 Anonymous, and 3 Anonymous. Termination and Worst-Case Analysis of Recursive Programs. IST Austria, 2016.
[Published Version]
View
| Files available
2016 |Published| Technical Report | IST-REx-ID: 5447 |
Anonymous, 1, 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 |
Anonymous, 1, 2 Anonymous, 3 Anonymous, and 4 Anonymous. Data-Centric Dynamic Partial Order Reduction. IST Austria, 2016.
[Published Version]
View
| Files available
| arXiv
2016 |Published| Conference Paper | IST-REx-ID: 5806
Biswas, Ranita, and Partha Bhowmick. “On Functionality of Quadraginta Octants of Naive Sphere with Application to Circle Drawing.” In Discrete Geometry for Computer Imagery, 9647:256–67. Cham: Springer Nature, 2016. https://doi.org/10.1007/978-3-319-32360-2_20.
View
| DOI
2016 |Published| Book Chapter | IST-REx-ID: 5805
Sen, Nabhasmita, Ranita Biswas, and Partha Bhowmick. “On Some Local Topological Properties of Naive Discrete Sphere.” In Computational Topology in Image Context, 9667:253–64. Cham: Springer Nature, 2016. https://doi.org/10.1007/978-3-319-39441-1_23.
View
| DOI
2016 |Published| Book Chapter | IST-REx-ID: 5809
Biswas, Ranita, Partha Bhowmick, and Valentin E. Brimkov. “On the Connectivity and Smoothness of Discrete Spherical Circles.” In Combinatorial Image Analysis, 9448:86–100. Cham: Springer Nature, 2016. https://doi.org/10.1007/978-3-319-26145-4_7.
View
| DOI
2016 |Published| Journal Article | IST-REx-ID: 602
Bernecky, Carrie, Franz Herzog, Wolfgang Baumeister, Jürgen Plitzko, and Patrick Cramer. “Structure of Transcribing Mammalian RNA Polymerase II.” Nature. Nature Publishing Group, 2016. https://doi.org/10.1038/nature16482.
View
| DOI
2016 |Published| Journal Article | IST-REx-ID: 7761
Graves, Amy L., Samer Nashed, Elliot Padgett, Carl Peter Goodrich, Andrea J. Liu, and James P. Sethna. “Pinning Susceptibility: The Effect of Dilute, Quenched Disorder on Jamming.” Physical Review Letters. American Physical Society, 2016. https://doi.org/10.1103/physrevlett.116.235501.
View
| DOI
2016 |Published| Journal Article | IST-REx-ID: 8497
Féjoz, Jacques, Marcel Guàrdia, Vadim Kaloshin, and Pablo Roldán. “Kirkwood Gaps and Diffusion along Mean Motion Resonances in the Restricted Planar Three-Body Problem.” Journal of the European Mathematical Society. European Mathematical Society Publishing House, 2016. https://doi.org/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, Tzechia Lin, Christopher Ashcroft, Javier Pérez Moreno, Yizhou Tan, Perumal Venkatesan, Andrew P Higginbotham, et al. “Relating the Structure of Geminal Amido Esters to Their Molecular Hyperpolarizability.” Journal of Physical Chemistry C. American Chemical Society, 2016. https://doi.org/10.1021/acs.jpcc.6b10724.
View
| DOI
2016 |Published| Journal Article | IST-REx-ID: 8493
Guardia, M., Vadim Kaloshin, and J. Zhang. “A Second Order Expansion of the Separatrix Map for Trigonometric Perturbations of a Priori Unstable Systems.” Communications in Mathematical Physics. Springer Nature, 2016. https://doi.org/10.1007/s00220-016-2705-9.
View
| DOI
2016 |Published| Journal Article | IST-REx-ID: 12622 |
Heynen, Martin, Evan Miles, Silvan Ragettli, Pascal Buri, Walter W. Immerzeel, and Francesca Pellicciotti. “Air Temperature Variability in a High-Elevation Himalayan Catchment.” Annals of Glaciology. International Glaciological Society, 2016. https://doi.org/10.3189/2016aog71a076.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2016 |Published| Journal Article | IST-REx-ID: 12623 |
Buri, Pascal, Francesca Pellicciotti, Jakob F. Steiner, Evan S. Miles, and Walter W. Immerzeel. “A Grid-Based Model of Backwasting of Supraglacial Ice Cliffs on Debris-Covered Glaciers.” Annals of Glaciology. International Glaciological Society, 2016. https://doi.org/10.3189/2016aog71a059.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2016 |Published| Journal Article | IST-REx-ID: 12613 |
Buri, Pascal, Evan S. Miles, Jakob F. Steiner, Walter W. Immerzeel, Patrick Wagnon, and Francesca Pellicciotti. “A Physically Based 3‐D Model of Ice Cliff Evolution over Debris‐covered Glaciers.” Journal of Geophysical Research: Earth Surface. American Geophysical Union, 2016. https://doi.org/10.1002/2016jf004039.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2016 |Published| Conference Paper | IST-REx-ID: 1341 |
Avni, Guy, Thomas A Henzinger, and Orna Kupferman. “Dynamic Resource Allocation Games,” 9928:153–66. Springer, 2016. https://doi.org/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, Thomas A Henzinger, Jan Kretinsky, and Tatjana Petrov. “Faster Statistical Model Checking for Unbounded Temporal Properties,” 9636:112–29. Springer, 2016. https://doi.org/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, Ashutosh Gupta, and Thomas A Henzinger. “Abstraction-Driven Concolic Testing,” 9583:328–47. Springer, 2016. https://doi.org/10.1007/978-3-662-49122-5_16.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)