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.
5774 Publications
2017 | Journal Article | IST-REx-ID: 12609 |
AYALA A, Pellicciotti F, PELEG N, BURLANDO P. Melt and surface sublimation across a glacier in a dry environment: distributed energy-balance modelling of Juncal Norte Glacier, Chile. Journal of Glaciology. 2017;63(241):803-822. doi:10.1017/jog.2017.46
[Published Version]
View
| DOI
| Download Published Version (ext.)
2017 | Journal Article | IST-REx-ID: 12608 |
SHAW TE, BROCK BW, AYALA Á, RUTTER N, Pellicciotti F. Centreline and cross-glacier air temperature variability on an Alpine glacier: Assessing temperature distribution methods and their influence on melt model calculations. Journal of Glaciology. 2017;63(242):973-988. doi:10.1017/jog.2017.65
[Published Version]
View
| DOI
| Download Published Version (ext.)
2017 | Conference Abstract | IST-REx-ID: 12905 |
Schlögl A, Kiss J. Scientific Computing at IST Austria. In: AHPC17 – Austrian HPC Meeting 2017. FSP Scientific Computing; 2017:28.
[Published Version]
View
| Files available
| Download Published Version (ext.)
2017 | Conference Paper | IST-REx-ID: 13160 |
Kretinsky J, Meggendorfer T, Waldmann C, Weininger M. Index appearance record for transforming Rabin automata into parity automata. In: Tools and Algorithms for the Construction and Analysis of Systems. Vol 10205. Springer; 2017:443-460. doi:10.1007/978-3-662-54577-5_26
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2017 | Journal Article | IST-REx-ID: 13381 |
Udayabhaskararao T, Altantzis T, Houben L, et al. Tunable porous nanoallotropes prepared by post-assembly etching of binary nanoparticle superlattices. Science. 2017;358(6362):514-518. doi:10.1126/science.aan6046
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 13382 |
van Esch JH, Klajn R, Otto S. Chemical systems out of equilibrium. Chemical Society Reviews. 2017;46(18):5474-5475. doi:10.1039/c7cs90088k
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 13477 |
Zapartas E, de Mink SE, Izzard RG, et al. Delay-time distribution of core-collapse supernovae with late events resulting from binary interaction. Astronomy & Astrophysics. 2017;601(A&A). doi:10.1051/0004-6361/201629685
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2017 | Journal Article | IST-REx-ID: 13476 |
Götberg YLL, de Mink SE, Groh JH. Ionizing spectra of stars that lose their envelope through interaction with a binary companion: Role of metallicity. Astronomy & Astrophysics. 2017;608. doi:10.1051/0004-6361/201730472
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2017 | Journal Article | IST-REx-ID: 14031 |
Baykusheva DR, Brennecke S, Lein M, Wörner HJ. Signatures of electronic structure in bicircular high-harmonic spectroscopy. Physical Review Letters. 2017;119(20). doi:10.1103/physrevlett.119.203201
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
2017 | Journal Article | IST-REx-ID: 14004 |
Baykusheva DR, Brennecke S, Lein M, Wörner HJ. Signatures of electronic structure in bicircular high-harmonic spectroscopy. Physical Review Letters. 2017;119(20). doi:10.1103/physrevlett.119.203201
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2017 | Journal Article | IST-REx-ID: 14005 |
Walt SG, Bhargava Ram N, Atala M, et al. Dynamics of valence-shell electrons and nuclei probed by strong-field holography and rescattering. Nature Communications. 2017;8. doi:10.1038/ncomms15651
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 14007 |
Baykusheva DR, Wörner HJ. Comment on ‘Time delays in molecular photoionization.’ Journal of Physics B: Atomic, Molecular and Optical Physics. 2017;50(7). doi:10.1088/1361-6455/aa62b5
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2017 | Conference Paper | IST-REx-ID: 950 |
Avni G, Henzinger TA, Chonev VK. Infinite-duration bidding games. In: Vol 85. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2017. doi:10.4230/LIPIcs.CONCUR.2017.21
[Published Version]
View
| Files available
| DOI
| arXiv
2017 | Conference Paper | IST-REx-ID: 683 |
Lubiw A, Masárová Z, Wagner U. A proof of the orbit conjecture for flipping edge labelled triangulations. In: Vol 77. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2017. doi:10.4230/LIPIcs.SoCG.2017.49
[Published Version]
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 1155 |
Daca P. Statistical and logical methods for property checking. 2017. doi:10.15479/AT:ISTA:TH_730
[Published Version]
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 6291 |
Payne P. Bacterial herd and social immunity to phages. 2017.
[Published Version]
View
| Files available
2017 | Journal Article | IST-REx-ID: 561 |
Pleska M, Guet CC. Effects of mutations in phage restriction sites during escape from restriction–modification. Biology Letters. 2017;13(12). doi:10.1098/rsbl.2017.0646
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2017 | Thesis | IST-REx-ID: 818 |
Mitosch K. Timing, variability and cross-protection in bacteria – insights from dynamic gene expression responses to antibiotics. 2017. doi:10.15479/AT:ISTA:th_862
[Published Version]
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 666 |
Mitosch K, Rieckh G, Bollenbach MT. Noisy response to antibiotic stress predicts subsequent single cell survival in an acidic environment. Cell Systems. 2017;4(4):393-403. doi:10.1016/j.cels.2017.03.001
[Published Version]
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 821 |
Pavlogiannis A. Algorithmic advances in program analysis and their applications. 2017. doi:10.15479/AT:ISTA:th_854
[Published Version]
View
| Files available
| DOI