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.
366 Publications
2021 |Published| Conference Paper | IST-REx-ID: 9969 | 
Pietrzak KZ, Salem I, Schmid S, Yeo MX. LightPIR: Privacy-preserving route discovery for payment channel networks. In: IEEE; 2021. doi:10.23919/IFIPNetworking52078.2021.9472205
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
| arXiv
2021 |Published| Journal Article | IST-REx-ID: 7939 |
Censor-Hillel K, Dory M, Korhonen J, Leitersdorf D. Fast approximate shortest paths in the congested clique. Distributed Computing. 2021;34:463-487. doi:10.1007/s00446-020-00380-5
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
| arXiv
2021 |Published| Journal Article | IST-REx-ID: 15219 |
Richer HB, Caiazzo I, Du H, et al. Massive white dwarfs in young star clusters. The Astrophysical Journal. 2021;912(2). doi:10.3847/1538-4357/abdeb7
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 |Published| Conference Paper | IST-REx-ID: 10414 |
Chatterjee K, Goharshady EK, Novotný P, Zárevúcky J, Zikelic D. On lexicographic proof rules for probabilistic termination. In: 24th International Symposium on Formal Methods. Vol 13047. Springer Nature; 2021:619-639. doi:10.1007/978-3-030-90870-6_33
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 |Published| Journal Article | IST-REx-ID: 11503 |
Kusakabe H, Blaizot J, Garel T, Verhamme A, Bacon R, Richard J, Hashimoto T, Inami H, Conseil S, Guiderdoni B, Drake AB, Christian Herenz E, Schaye J, Oesch P, Matthee JJ, Anna Marino R, Borello Schmidt K, Pelló R, Maseda M, Leclercq F, Kerutt J, Mahler G. 2020. The MUSE Hubble Ultra Deep Field Survey: XIV. Evolution of the Lyα emitter fraction from z = 3 to z = 6. Astronomy & Astrophysics. 638, A12.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2020 |Published| Journal Article | IST-REx-ID: 11533 |
Santos S, Sobral D, Matthee JJ, et al. The evolution of rest-frame UV properties, Ly α EWs, and the SFR–stellar mass relation at z ∼ 2–6 for SC4K LAEs. Monthly Notices of the Royal Astronomical Society. 2020;493(1):141-160. doi:10.1093/mnras/staa093
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 |Published| Journal Article | IST-REx-ID: 11539 |
Calhau J, Sobral D, Santos S, et al. The X-ray and radio activity of typical and luminous Ly α emitters from z ∼ 2 to z ∼ 6: Evidence for a diverse, evolving population. Monthly Notices of the Royal Astronomical Society. 2020;493(3):3341-3362. doi:10.1093/mnras/staa476
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 |Published| Journal Article | IST-REx-ID: 11610 |
Zinn JC, Stello D, Elsworth Y, García RA, Kallinger T, Mathur S, Mosser B, Bugnet LA, Jones C, Hon M, Sharma S, Schönrich R, Warfield JT, Luger R, Pinsonneault MH, Johnson JA, Huber D, Aguirre VS, Chaplin WJ, Davies GR, Miglio A. 2020. The K2 galactic archaeology program data release 2: Asteroseismic results from campaigns 4, 6, and 7. The Astrophysical Journal Supplement Series. 251(2), 23.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 |Published| Journal Article | IST-REx-ID: 11979 |
Gisbertz S, Reischauer S, Pieber B. Overcoming limitations in dual photoredox/nickel-catalysed C–N cross-couplings due to catalyst deactivation. Nature Catalysis. 2020;3(8):611-620. doi:10.1038/s41929-020-0473-6
[Preprint]
View
| DOI
| Download Preprint (ext.)
2020 |Published| Journal Article | IST-REx-ID: 8402 |
Rampelt H, Sucec I, Bersch B, et al. The mitochondrial carrier pathway transports non-canonical substrates with an odd number of transmembrane segments. BMC Biology. 2020;18. doi:10.1186/s12915-019-0733-6
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2020 |Published| Conference Paper | IST-REx-ID: 8571 |
Geretti L, Alexandre Dit Sandretto J, Althoff M, et al. ARCH-COMP20 Category Report: Continuous and hybrid systems with nonlinear dynamics. In: EPiC Series in Computing. Vol 74. EasyChair; 2020:49-75. doi:10.29007/zkf6
[Published Version]
View
| DOI
| Download Published Version (ext.)
2020 |Published| Conference Paper | IST-REx-ID: 9040 |
Alamdari PA, Avni G, Henzinger TA, Lukina A. Formal methods with a touch of magic. In: Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design. TU Wien Academic Press; 2020:138-147. doi:10.34727/2020/isbn.978-3-85448-042-6_21
[Published Version]
View
| Files available
| DOI
2020 |Published| Book (Editor) | IST-REx-ID: 7474 |
Schlögl A, Kiss J, Elefante S, eds. Austrian High-Performance-Computing Meeting (AHPC2020). Klosterneuburg, Austria: IST Austria; 2020. doi:10.15479/AT:ISTA:7474
[Published Version]
View
| Files available
| DOI
2020 |Published| Conference Paper | IST-REx-ID: 7952 |
Boissonnat J-D, Wintraecken M. The topological correctness of PL-approximations of isomanifolds. In: 36th International Symposium on Computational Geometry. Vol 164. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2020. doi:10.4230/LIPIcs.SoCG.2020.20
[Published Version]
View
| Files available
| DOI
2020 |Published| Journal Article | IST-REx-ID: 13466 |
Bodensteiner J, Sana H, Mahy L, et al. The young massive SMC cluster NGC 330 seen by MUSE. Astronomy & Astrophysics. 2020;634. doi:10.1051/0004-6361/201936743
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2020 | Research Data Reference | IST-REx-ID: 9885
Ucar MC, Lipowsky R. MURL_Dataz. 2020. doi:10.1021/acs.nanolett.9b04445.s002
[Published Version]
View
| Files available
| DOI
2020 |Published| Journal Article | IST-REx-ID: 7632 |
Tombaz T, Dunn BA, Hovde K, et al. Action representation in the mouse parieto-frontal network. Scientific reports. 2020;10(1). doi:10.1038/s41598-020-62089-6
[Published Version]
View
| Files available
| DOI
| WoS
2020 |Published| Journal Article | IST-REx-ID: 7792
Taboada-Gutiérrez J, Álvarez-Pérez G, Duan J, et al. Broad spectral tuning of ultra-low-loss polaritons in a van der Waals crystal by intercalation. Nature Materials. 2020;19:964–968. doi:10.1038/s41563-020-0665-0
View
| DOI
| WoS
| PubMed | Europe PMC
2020 |Published| Journal Article | IST-REx-ID: 7940 |
Yang Y, Zhao G. The PBW theorem for affine Yangians. Transformation Groups. 2020;25:1371-1385. doi:10.1007/s00031-020-09572-6
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 |Published| Journal Article | IST-REx-ID: 8091 |
Seiringer R, Yngvason J. Emergence of Haldane pseudo-potentials in systems with short-range interactions. Journal of Statistical Physics. 2020;181:448-464. doi:10.1007/s10955-020-02586-0
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv