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 | OA
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 | OA
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| Conference Paper | IST-REx-ID: 5806
R. Biswas and P. Bhowmick, “On functionality of quadraginta octants of naive sphere with application to circle drawing,” in Discrete Geometry for Computer Imagery, Nantes, France, 2016, vol. 9647, pp. 256–267.
View | DOI
 

2016 |Published| Book Chapter | IST-REx-ID: 5805
N. Sen, R. Biswas, and P. Bhowmick, “On some local topological properties of naive discrete sphere,” in Computational Topology in Image Context, vol. 9667, Cham: Springer Nature, 2016, pp. 253–264.
View | DOI
 

2016 |Published| Book Chapter | IST-REx-ID: 5809
R. Biswas, P. Bhowmick, and V. E. Brimkov, “On the connectivity and smoothness of discrete spherical circles,” in Combinatorial image analysis, vol. 9448, Cham: Springer Nature, 2016, pp. 86–100.
View | DOI
 

2016 |Published| Journal Article | IST-REx-ID: 602
C. Bernecky, F. Herzog, W. Baumeister, J. Plitzko, and P. Cramer, “Structure of transcribing mammalian RNA polymerase II,” Nature, vol. 529, no. 7587. Nature Publishing Group, pp. 551–554, 2016.
View | DOI
 

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: 7761
A. L. Graves, S. Nashed, E. Padgett, C. P. Goodrich, A. J. Liu, and J. P. Sethna, “Pinning susceptibility: The effect of dilute, quenched disorder on jamming,” Physical Review Letters, vol. 116, no. 23. American Physical Society, 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: 92
J. Cole 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, pp. 29439–29448, 2016.
View | DOI
 

2016 |Published| Journal Article | IST-REx-ID: 8493
M. Guardia, V. Kaloshin, and J. Zhang, “A second order expansion of the separatrix map for trigonometric perturbations of a priori unstable systems,” Communications in Mathematical Physics, vol. 348. Springer Nature, pp. 321–361, 2016.
View | DOI
 

2016 |Published| Journal Article | IST-REx-ID: 12622 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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.)
 

Filters and Search Terms

isbn%3D978-3-642-40707-9

Search

Filter Publications