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| Technical Report | IST-REx-ID: 5446 | 
Termination and worst-case analysis of recursive programs
1 Anonymous, 2 Anonymous, 3 Anonymous, Termination and Worst-Case Analysis of Recursive Programs, IST Austria, 2016.
[Published Version]
View
| Files available
1 Anonymous, 2 Anonymous, 3 Anonymous, Termination and Worst-Case Analysis of Recursive Programs, IST Austria, 2016.
2016 |Published| Technical Report | IST-REx-ID: 5447 |
Average-case analysis of programs: Automated recurrence analysis for almost-linear bounds
1 Anonymous, 2 Anonymous, 3 Anonymous, Average-Case Analysis of Programs: Automated Recurrence Analysis for Almost-Linear Bounds, IST Austria, 2016.
[Published Version]
View
| Files available
1 Anonymous, 2 Anonymous, 3 Anonymous, Average-Case Analysis of Programs: Automated Recurrence Analysis for Almost-Linear Bounds, IST Austria, 2016.
2016 |Published| Technical Report | IST-REx-ID: 5448 |
Data-centric dynamic partial order reduction
1 Anonymous, 2 Anonymous, 3 Anonymous, 4 Anonymous, Data-Centric Dynamic Partial Order Reduction, IST Austria, 2016.
[Published Version]
View
| Files available
| arXiv
1 Anonymous, 2 Anonymous, 3 Anonymous, 4 Anonymous, Data-Centric Dynamic Partial Order Reduction, IST Austria, 2016.
2016 |Published| Conference Paper | IST-REx-ID: 5806
On functionality of quadraginta octants of naive sphere with application to circle drawing
R. Biswas, P. Bhowmick, in:, Discrete Geometry for Computer Imagery, Springer Nature, Cham, 2016, pp. 256–267.
View
| DOI
R. Biswas, P. Bhowmick, in:, Discrete Geometry for Computer Imagery, Springer Nature, Cham, 2016, pp. 256–267.
2016 |Published| Book Chapter | IST-REx-ID: 5805
On some local topological properties of naive discrete sphere
N. Sen, R. Biswas, P. Bhowmick, in:, Computational Topology in Image Context, Springer Nature, Cham, 2016, pp. 253–264.
View
| DOI
N. Sen, R. Biswas, P. Bhowmick, in:, Computational Topology in Image Context, Springer Nature, Cham, 2016, pp. 253–264.
2016 |Published| Book Chapter | IST-REx-ID: 5809
On the connectivity and smoothness of discrete spherical circles
R. Biswas, P. Bhowmick, V.E. Brimkov, in:, Combinatorial Image Analysis, Springer Nature, Cham, 2016, pp. 86–100.
View
| DOI
R. Biswas, P. Bhowmick, V.E. Brimkov, in:, Combinatorial Image Analysis, Springer Nature, Cham, 2016, pp. 86–100.
2016 |Published| Journal Article | IST-REx-ID: 602
Structure of transcribing mammalian RNA polymerase II
C. Bernecky, F. Herzog, W. Baumeister, J. Plitzko, P. Cramer, Nature 529 (2016) 551–554.
View
| DOI
C. Bernecky, F. Herzog, W. Baumeister, J. Plitzko, P. Cramer, Nature 529 (2016) 551–554.
2016 |Published| Journal Article | IST-REx-ID: 7294
Lithium insertion properties of mesoporous nanocrystalline TiO2 and TiO2–V2O5 microspheres prepared by non-hydrolytic sol–gel
A.M. Escamilla-Pérez, N. Louvain, M. Kaschowitz, S.A. Freunberger, O. Fontaine, B. Boury, N. Brun, P.H. Mutin, Journal of Sol-Gel Science and Technology 79 (2016) 270–278.
View
| DOI
A.M. Escamilla-Pérez, N. Louvain, M. Kaschowitz, S.A. Freunberger, O. Fontaine, B. Boury, N. Brun, P.H. Mutin, Journal of Sol-Gel Science and Technology 79 (2016) 270–278.
2016 |Published| Journal Article | IST-REx-ID: 7761
Pinning susceptibility: The effect of dilute, quenched disorder on jamming
A.L. Graves, S. Nashed, E. Padgett, C.P. Goodrich, A.J. Liu, J.P. Sethna, Physical Review Letters 116 (2016).
View
| DOI
A.L. Graves, S. Nashed, E. Padgett, C.P. Goodrich, A.J. Liu, J.P. Sethna, Physical Review Letters 116 (2016).
2016 |Published| Journal Article | IST-REx-ID: 8497
Kirkwood gaps and diffusion along mean motion resonances in the restricted planar three-body problem
J. Féjoz, M. Guàrdia, V. Kaloshin, P. Roldán, Journal of the European Mathematical Society 18 (2016) 2315–2403.
View
| DOI
J. Féjoz, M. Guàrdia, V. Kaloshin, P. Roldán, Journal of the European Mathematical Society 18 (2016) 2315–2403.
2016 |Published| Journal Article | IST-REx-ID: 850
Local fitness landscape of the green fluorescent protein
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
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.
2016 |Published| Journal Article | IST-REx-ID: 92
Relating the structure of geminal Amido Esters to their molecular hyperpolarizability
J. Cole, T. Lin, C. Ashcroft, J. Pérez Moreno, Y. Tan, P. Venkatesan, A.P. Higginbotham, P. Pattison, A. Edwards, R. Piltz, K. Clays, A. Ilangovan, Journal of Physical Chemistry C 120 (2016) 29439–29448.
View
| DOI
J. Cole, T. Lin, C. Ashcroft, J. Pérez Moreno, Y. Tan, P. Venkatesan, A.P. Higginbotham, P. Pattison, A. Edwards, R. Piltz, K. Clays, A. Ilangovan, Journal of Physical Chemistry C 120 (2016) 29439–29448.
2016 |Published| Journal Article | IST-REx-ID: 8452
A ring-shaped conduit connects the mother cell and forespore during sporulation in Bacillus subtilis
C.D.A. Rodrigues, X. Henry, E. Neumann, V. Kurauskas, L. Bellard, Y. Fichou, P. Schanda, G. Schoehn, D.Z. Rudner, C. Morlot, Proceedings of the National Academy of Sciences 113 (2016) 11585–11590.
View
| DOI
C.D.A. Rodrigues, X. Henry, E. Neumann, V. Kurauskas, L. Bellard, Y. Fichou, P. Schanda, G. Schoehn, D.Z. Rudner, C. Morlot, Proceedings of the National Academy of Sciences 113 (2016) 11585–11590.
2016 |Published| Journal Article | IST-REx-ID: 8493
A second order expansion of the separatrix map for trigonometric perturbations of a priori unstable systems
M. Guardia, V. Kaloshin, J. Zhang, Communications in Mathematical Physics 348 (2016) 321–361.
View
| DOI
M. Guardia, V. Kaloshin, J. Zhang, Communications in Mathematical Physics 348 (2016) 321–361.
2016 |Published| Journal Article | IST-REx-ID: 1322 |
Asymmetric power boosts extortion in an economic experiment
C. Hilbe, K. Hagel, M. Milinski, PLoS One 11 (2016).
[Published Version]
View
| Files available
| DOI
C. Hilbe, K. Hagel, M. Milinski, PLoS One 11 (2016).
2016 |Published| Journal Article | IST-REx-ID: 12625 |
Seasonal surface velocities of a Himalayan glacier derived by automated correlation of unmanned aerial vehicle imagery
P. Kraaijenbrink, S.W. Meijer, J.M. Shea, F. Pellicciotti, S.M. De Jong, W.W. Immerzeel, Annals of Glaciology 57 (2016) 103–113.
[Published Version]
View
| DOI
| Download Published Version (ext.)
P. Kraaijenbrink, S.W. Meijer, J.M. Shea, F. Pellicciotti, S.M. De Jong, W.W. Immerzeel, Annals of Glaciology 57 (2016) 103–113.
2016 |Published| Journal Article | IST-REx-ID: 12622 |
Air temperature variability in a high-elevation Himalayan catchment
M. Heynen, E. Miles, S. Ragettli, P. Buri, W.W. Immerzeel, F. Pellicciotti, Annals of Glaciology 57 (2016) 212–222.
[Published Version]
View
| DOI
| Download Published Version (ext.)
M. Heynen, E. Miles, S. Ragettli, P. Buri, W.W. Immerzeel, F. Pellicciotti, Annals of Glaciology 57 (2016) 212–222.
2016 |Published| Journal Article | IST-REx-ID: 12623 |
A grid-based model of backwasting of supraglacial ice cliffs on debris-covered glaciers
P. Buri, F. Pellicciotti, J.F. Steiner, E.S. Miles, W.W. Immerzeel, Annals of Glaciology 57 (2016) 199–211.
[Published Version]
View
| DOI
| Download Published Version (ext.)
P. Buri, F. Pellicciotti, J.F. Steiner, E.S. Miles, W.W. Immerzeel, Annals of Glaciology 57 (2016) 199–211.
2016 |Published| Journal Article | IST-REx-ID: 12613 |
A physically based 3‐D model of ice cliff evolution over debris‐covered glaciers
P. Buri, E.S. Miles, J.F. Steiner, W.W. Immerzeel, P. Wagnon, F. Pellicciotti, Journal of Geophysical Research: Earth Surface 121 (2016) 2471–2493.
[Published Version]
View
| DOI
| Download Published Version (ext.)
P. Buri, E.S. Miles, J.F. Steiner, W.W. Immerzeel, P. Wagnon, F. Pellicciotti, Journal of Geophysical Research: Earth Surface 121 (2016) 2471–2493.
2016 |Published| Journal Article | IST-REx-ID: 12615
Modelling the hydrological response of debris-free and debris-covered glaciers to present climatic conditions in the semiarid Andes of central Chile
A. Ayala, F. Pellicciotti, S. MacDonell, J. McPhee, S. Vivero, C. Campos, P. Egli, Hydrological Processes 30 (2016) 4036–4058.
View
| DOI
A. Ayala, F. Pellicciotti, S. MacDonell, J. McPhee, S. Vivero, C. Campos, P. Egli, Hydrological Processes 30 (2016) 4036–4058.