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.

9087 Publications


2017 | Journal Article | IST-REx-ID: 12612 | OA
Spatial, seasonal and interannual variability of supraglacial ponds in the Langtang Valley of Nepal, 1999–2013
E.S. MILES, I.C. WILLIS, N.S. ARNOLD, J. STEINER, F. Pellicciotti, Journal of Glaciology 63 (2017) 88–105.
[Published Version] View | DOI | Download Published Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 12610 | OA
Pond dynamics and supraglacial-englacial connectivity on debris-covered Lirung Glacier, Nepal
E.S. Miles, J. Steiner, I. Willis, P. Buri, W.W. Immerzeel, A. Chesnokova, F. Pellicciotti, Frontiers in Earth Science 5 (2017).
[Published Version] View | DOI | Download Published Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 12609 | OA
Melt and surface sublimation across a glacier in a dry environment: distributed energy-balance modelling of Juncal Norte Glacier, Chile
A. AYALA, F. Pellicciotti, N. PELEG, P. BURLANDO, Journal of Glaciology 63 (2017) 803–822.
[Published Version] View | DOI | Download Published Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 12608 | OA [Published Version] View | DOI | Download Published Version (ext.)
 

2017 | Conference Abstract | IST-REx-ID: 12905 | OA
Scientific Computing at IST Austria
A. Schlögl, J. Kiss, in:, AHPC17 – Austrian HPC Meeting 2017, FSP Scientific Computing, 2017, p. 28.
[Published Version] View | Files available | Download Published Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 13160 | OA
Index appearance record for transforming Rabin automata into parity automata
J. Kretinsky, T. Meggendorfer, C. Waldmann, M. Weininger, in:, Tools and Algorithms for the Construction and Analysis of Systems, Springer, 2017, pp. 443–460.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 13381 | OA
Tunable porous nanoallotropes prepared by post-assembly etching of binary nanoparticle superlattices
T. Udayabhaskararao, T. Altantzis, L. Houben, M. Coronado-Puchau, J. Langer, R. Popovitz-Biro, L.M. Liz-Marzán, L. Vuković, P. Král, S. Bals, R. Klajn, Science 358 (2017) 514–518.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 13380
Out-of-equilibrium aggregates and coatings during seeded growth of metallic nanoparticles
M. Sawczyk, R. Klajn, Journal of the American Chemical Society 139 (2017) 17973–17978.
View | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 13383
Irreversible bleaching of donor-acceptor stenhouse adducts on the surfaces of magnetite nanoparticles
J. Ahrens, T. Bian, T. Vexler, R. Klajn, ChemPhotoChem 1 (2017) 230–236.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 13384
Clathrates grow up
D. Samanta, R. Klajn, Science 355 (2017) 912–912.
View | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 13382 | OA
Chemical systems out of equilibrium
J.H. van Esch, R. Klajn, S. Otto, Chemical Society Reviews 46 (2017) 5474–5475.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 13477 | OA
Delay-time distribution of core-collapse supernovae with late events resulting from binary interaction
E. Zapartas, S.E. de Mink, R.G. Izzard, S.-C. Yoon, C. Badenes, Y.L.L. Götberg, A. de Koter, C.J. Neijssel, M. Renzo, A. Schootemeijer, T.S. Shrotriya, Astronomy & Astrophysics 601 (2017).
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 13476 | OA
Ionizing spectra of stars that lose their envelope through interaction with a binary companion: Role of metallicity
Y.L.L. Götberg, S.E. de Mink, J.H. Groh, Astronomy & Astrophysics 608 (2017).
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 14031 | OA
Signatures of electronic structure in bicircular high-harmonic spectroscopy
D.R. Baykusheva, S. Brennecke, M. Lein, H.J. Wörner, Physical Review Letters 119 (2017).
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2017 | Journal Article | IST-REx-ID: 14004 | OA
Signatures of electronic structure in bicircular high-harmonic spectroscopy
D.R. Baykusheva, S. Brennecke, M. Lein, H.J. Wörner, Physical Review Letters 119 (2017).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 14005 | OA
Dynamics of valence-shell electrons and nuclei probed by strong-field holography and rescattering
S.G. Walt, N. Bhargava Ram, M. Atala, N.I. Shvetsov-Shilovski, A. von Conta, D.R. Baykusheva, M. Lein, H.J. Wörner, Nature Communications 8 (2017).
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 14008
Time-resolved x-ray absorption spectroscopy with a water window high-harmonic source
Y. Pertot, C. Schmidt, M. Matthews, A. Chauvet, M. Huppert, V. Svoboda, A. von Conta, A. Tehlar, D.R. Baykusheva, J.-P. Wolf, H.J. Wörner, Science 355 (2017) 264–267.
View | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 14006
Theory of attosecond delays in molecular photoionization
D.R. Baykusheva, H.J. Wörner, The Journal of Chemical Physics 146 (2017).
View | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 14009
Spin-orbit delays in photoemission
I. Jordan, M. Huppert, S. Pabst, A.S. Kheifets, D.R. Baykusheva, H.J. Wörner, Physical Review A 95 (2017).
View | DOI
 

2017 | Journal Article | IST-REx-ID: 14007 | OA
Comment on ‘Time delays in molecular photoionization’
D.R. Baykusheva, H.J. Wörner, Journal of Physics B: Atomic, Molecular and Optical Physics 50 (2017).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Conference Paper | IST-REx-ID: 950 | OA
Infinite-duration bidding games
G. Avni, T.A. Henzinger, V.K. Chonev, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
[Published Version] View | Files available | DOI | arXiv
 

2017 | Conference Paper | IST-REx-ID: 683 | OA
A proof of the orbit conjecture for flipping edge labelled triangulations
A. Lubiw, Z. Masárová, U. Wagner, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
[Published Version] View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 1155 | OA
Statistical and logical methods for property checking
P. Daca, Statistical and Logical Methods for Property Checking, Institute of Science and Technology Austria, 2017.
[Published Version] View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 6291 | OA
Bacterial herd and social immunity to phages
P. Payne, Bacterial Herd and Social Immunity to Phages, Institute of Science and Technology Austria, 2017.
[Published Version] View | Files available
 

2017 | Journal Article | IST-REx-ID: 561 | OA [Published Version] View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2017 | Thesis | IST-REx-ID: 818 | OA
Timing, variability and cross-protection in bacteria – insights from dynamic gene expression responses to antibiotics
K. Mitosch, Timing, Variability and Cross-Protection in Bacteria – Insights from Dynamic Gene Expression Responses to Antibiotics, Institute of Science and Technology Austria, 2017.
[Published Version] View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 666 | OA
Noisy response to antibiotic stress predicts subsequent single cell survival in an acidic environment
K. Mitosch, G. Rieckh, M.T. Bollenbach, Cell Systems 4 (2017) 393–403.
[Published Version] View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 821 | OA
Algorithmic advances in program analysis and their applications
A. Pavlogiannis, Algorithmic Advances in Program Analysis and Their Applications, Institute of Science and Technology Austria, 2017.
[Published Version] View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 820 | OA
The lac operon in the wild
F. Jesse, The Lac Operon in the Wild, Institute of Science and Technology Austria, 2017.
[Published Version] View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 838 | OA
(The exact security of) Message authentication codes
M. Rybar, (The Exact Security of) Message Authentication Codes, Institute of Science and Technology Austria, 2017.
[Published Version] View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 6196 | OA
The exact security of PMAC
P. Gazi, K.Z. Pietrzak, M. Rybar, IACR Transactions on Symmetric Cryptology 2016 (2017) 145–161.
[Published Version] View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 837 | OA
Reactivation of the hippocampal cognitive map in goal-directed spatial tasks
H. Xu, Reactivation of the Hippocampal Cognitive Map in Goal-Directed Spatial Tasks, Institute of Science and Technology Austria, 2017.
[Published Version] View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 938 | OA
Investigations into cell polarity and trafficking in the plant model Arabidopsis thaliana
M. Adamowski, Investigations into Cell Polarity and Trafficking in the Plant Model Arabidopsis Thaliana , Institute of Science and Technology Austria, 2017.
[Published Version] View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 992 | OA
Complexity of constraint satisfaction
M. Rolinek, Complexity of Constraint Satisfaction, Institute of Science and Technology Austria, 2017.
[Published Version] View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 718 | OA
Expected sizes of poisson Delaunay mosaics and their discrete Morse functions
H. Edelsbrunner, A. Nikitenko, M. Reitzner, Advances in Applied Probability 49 (2017) 745–767.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2017 | Conference Paper | IST-REx-ID: 559 | OA
Beyond Hellman’s time-memory trade-offs with applications to proofs of space
H.M. Abusalah, J.F. Alwen, B. Cohen, D. Khilko, K.Z. Pietrzak, L. Reyzin, in:, Springer, 2017, pp. 357–379.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 550 | OA
Singularities of the density of states of random Gram matrices
J. Alt, Electronic Communications in Probability 22 (2017).
[Published Version] View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 647 | OA
Conic abstractions for hybrid systems
S. Bogomolov, M. Giacobbe, T.A. Henzinger, H. Kong, in:, Springer, 2017, pp. 116–132.
[Submitted Version] View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 631 | OA
Counterexample guided refinement of template polyhedra
S. Bogomolov, G. Frehse, M. Giacobbe, T.A. Henzinger, in:, Springer, 2017, pp. 589–606.
[Submitted Version] View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1144 | OA
Fluctuations of functions of Wigner matrices
L. Erdös, D.J. Schröder, Electronic Communications in Probability 21 (2017).
[Published Version] View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 486 | OA
Scattering-aware texture reproduction for 3D printing
O. Elek, D. Sumin, R. Zhang, T. Weyrich, K. Myszkowski, B. Bickel, A. Wilkie, J. Krivanek, ACM Transactions on Graphics 36 (2017).
[Submitted Version] View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 637 | OA
Be adaptive avoid overcommitting
Z. Jafargholi, C. Kamath Hosdurg, K. Klein, I. Komargodski, K.Z. Pietrzak, D. Wichs, in:, J. Katz, H. Shacham (Eds.), Springer, 2017, pp. 133–163.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 

2017 | Research Data Reference | IST-REx-ID: 9842 | OA [Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 14206 | OA
Greedy algorithms for cone constrained optimization with convergence guarantees
F. Locatello, M. Tschannen, G. Rätsch, M. Jaggi, in:, Advances in Neural Information Processing Systems, 2017.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2017 | Conference Paper | IST-REx-ID: 14205 | OA
A unified optimization view on generalized matching pursuit and Frank-Wolfe
F. Locatello, R. Khanna, M. Tschannen, M. Jaggi, in:, Proceedings of the 20th International Conference on Artificial Intelligence and Statistics, ML Research Press, 2017, pp. 860–868.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2017 | Thesis | IST-REx-ID: 202 | OA
Biology of restriction-modification systems at the single-cell and population level
M. Pleska, Biology of Restriction-Modification Systems at the Single-Cell and Population Level, Institute of Science and Technology Austria, 2017.
[Published Version] View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 6287 | OA
Discrete Morse theory for random complexes
A. Nikitenko, Discrete Morse Theory for Random Complexes , Institute of Science and Technology Austria, 2017.
[Published Version] View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 1127 | OA
Identification of novel regulators of PIN polarity and development of novel auxin sensor
T. Prat, Identification of Novel Regulators of PIN Polarity and Development of Novel Auxin Sensor, Institute of Science and Technology Austria, 2017.
[Published Version] View | Files available
 

2017 | Journal Article | IST-REx-ID: 2016 | OA
Exact goodness-of-fit testing for the Ising model
A. Martin Del Campo Sanchez, S.A. Cepeda Humerez, C. Uhler, Scandinavian Journal of Statistics 44 (2017) 285–306.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2017 | Journal Article | IST-REx-ID: 1528 | OA
Delocalization for a class of random block band matrices
Z. Bao, L. Erdös, Probability Theory and Related Fields 167 (2017) 673–776.
[Published Version] View | Files available | DOI | WoS
 

Search

Filter Publications