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.

9078 Publications


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
Effects of mutations in phage restriction sites during escape from restriction–modification
M. Pleska, C.C. Guet, Biology Letters 13 (2017).
[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
Data for: Establishment in a new habitat by polygenic adaptation
A. Etheridge, N.H. Barton, (2017).
[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
 

2017 | Journal Article | IST-REx-ID: 1433 | OA
Phat - Persistent homology algorithms toolbox
U. Bauer, M. Kerber, J. Reininghaus, H. Wagner, Journal of Symbolic Computation 78 (2017) 76–90.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS
 

2017 | Journal Article | IST-REx-ID: 1407 | OA
Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
M. Svoreňová, J. Kretinsky, M. Chmelik, K. Chatterjee, I. Cěrná, C. Belta, Nonlinear Analysis: Hybrid Systems 23 (2017) 230–253.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2017 | Journal Article | IST-REx-ID: 1367 | OA
Adaptive physically based models in computer graphics
P. Manteaux, C. Wojtan, R. Narain, S. Redon, F. Faure, M. Cani, Computer Graphics Forum 36 (2017) 312–337.
[Submitted Version] View | Files available | DOI | WoS
 

2017 | Journal Article | IST-REx-ID: 1338 | OA
From non-preemptive to preemptive scheduling using synchronization synthesis
P. Cerny, E. Clarke, T.A. Henzinger, A. Radhakrishna, L. Ryzhyk, R. Samanta, T. Tarrach, Formal Methods in System Design 50 (2017) 97–139.
[Published Version] View | Files available | DOI | WoS
 

2017 | Journal Article | IST-REx-ID: 1351 | OA
Model checking the evolution of gene regulatory networks
M. Giacobbe, C.C. Guet, A. Gupta, T.A. Henzinger, T. Paixao, T. Petrov, Acta Informatica 54 (2017) 765–787.
[Published Version] View | Files available | DOI | WoS
 

2017 | Journal Article | IST-REx-ID: 1336 | OA
Towards a runtime comparison of natural and artificial evolution
T. Paixao, J. Pérez Heredia, D. Sudholt, B. Trubenova, Algorithmica 78 (2017) 681–713.
[Published Version] View | Files available | DOI | WoS
 

2017 | Journal Article | IST-REx-ID: 1337 | OA
Universality for general Wigner-type matrices
O.H. Ajanki, L. Erdös, T.H. Krüger, Probability Theory and Related Fields 169 (2017) 667–727.
[Published Version] View | Files available | DOI | WoS
 

2017 | Journal Article | IST-REx-ID: 1294 | OA
Trading performance for stability in Markov decision processes
T. Brázdil, K. Chatterjee, V. Forejt, A. Kučera, Journal of Computer and System Sciences 84 (2017) 144–170.
[Published Version] View | Files available | DOI | WoS
 

2017 | Journal Article | IST-REx-ID: 1228 | OA
Are reprogrammed cells a useful tool for studying dopamine dysfunction in psychotic disorders? A review of the current evidence
U. Sauerzopf, R. Sacco, G. Novarino, M. Niello, A. Weidenauer, N. Praschak Rieder, H. Sitte, M. Willeit, European Journal of Neuroscience 45 (2017) 45–57.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

Search

Filter Publications