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.
361 Publications
2021 | Conference Paper | IST-REx-ID: 10414 | 
Chatterjee, Krishnendu, et al. “On Lexicographic Proof Rules for Probabilistic Termination.” 24th International Symposium on Formal Methods, vol. 13047, Springer Nature, 2021, pp. 619–39, doi:10.1007/978-3-030-90870-6_33.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | 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 | Journal Article | IST-REx-ID: 11533 |
Santos, S., 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, vol. 493, no. 1, Oxford University Press, 2020, pp. 141–60, doi:10.1093/mnras/staa093.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Journal Article | IST-REx-ID: 11539 |
Calhau, João, 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, vol. 493, no. 3, Oxford University Press, 2020, pp. 3341–62, doi:10.1093/mnras/staa476.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | 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 | Journal Article | IST-REx-ID: 11979 |
Gisbertz, Sebastian, et al. “Overcoming Limitations in Dual Photoredox/Nickel-Catalysed C–N Cross-Couplings Due to Catalyst Deactivation.” Nature Catalysis, vol. 3, no. 8, Springer Nature, 2020, pp. 611–20, doi:10.1038/s41929-020-0473-6.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2020 | Journal Article | IST-REx-ID: 8402 |
Rampelt, Heike, et al. “The Mitochondrial Carrier Pathway Transports Non-Canonical Substrates with an Odd Number of Transmembrane Segments.” BMC Biology, vol. 18, 2, Springer Nature, 2020, doi:10.1186/s12915-019-0733-6.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2020 | Conference Paper | IST-REx-ID: 8571 |
Geretti, Luca, et al. “ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.” EPiC Series in Computing, vol. 74, EasyChair, 2020, pp. 49–75, doi:10.29007/zkf6.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2020 | Conference Paper | IST-REx-ID: 9040 |
Alamdari, Par Alizadeh, et al. “Formal Methods with a Touch of Magic.” Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, TU Wien Academic Press, 2020, pp. 138–47, doi:10.34727/2020/isbn.978-3-85448-042-6_21.
[Published Version]
View
| Files available
| DOI
2020 | Book (Editor) | IST-REx-ID: 7474 |
Schlögl, Alois, et al., editors. Austrian High-Performance-Computing Meeting (AHPC2020). IST Austria, 2020, doi:10.15479/AT:ISTA:7474.
[Published Version]
View
| Files available
| DOI
2020 | Conference Paper | IST-REx-ID: 7952 |
Boissonnat, Jean-Daniel, and Mathijs Wintraecken. “The Topological Correctness of PL-Approximations of Isomanifolds.” 36th International Symposium on Computational Geometry, vol. 164, 20:1-20:18, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020, doi:10.4230/LIPIcs.SoCG.2020.20.
[Published Version]
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 13466 |
Bodensteiner, J., et al. “The Young Massive SMC Cluster NGC 330 Seen by MUSE.” Astronomy & Astrophysics, vol. 634, A51, EDP Sciences, 2020, doi:10.1051/0004-6361/201936743.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2020 | Research Data Reference | IST-REx-ID: 9885
Ucar, Mehmet C., and Reinhard Lipowsky. MURL_Dataz. American Chemical Society , 2020, doi:10.1021/acs.nanolett.9b04445.s002.
[Published Version]
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 7632 |
Tombaz, Tuce, et al. “Action Representation in the Mouse Parieto-Frontal Network.” Scientific Reports, vol. 10, no. 1, 5559, Springer Nature, 2020, doi:10.1038/s41598-020-62089-6.
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Journal Article | IST-REx-ID: 7792
Taboada-Gutiérrez, Javier, et al. “Broad Spectral Tuning of Ultra-Low-Loss Polaritons in a van Der Waals Crystal by Intercalation.” Nature Materials, vol. 19, Springer Nature, 2020, pp. 964–968, doi:10.1038/s41563-020-0665-0.
View
| DOI
| WoS
| PubMed | Europe PMC
2020 | Journal Article | IST-REx-ID: 7940 |
Yang, Yaping, and Gufang Zhao. “The PBW Theorem for Affine Yangians.” Transformation Groups, vol. 25, Springer Nature, 2020, pp. 1371–85, doi:10.1007/s00031-020-09572-6.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Journal Article | IST-REx-ID: 8091 |
Seiringer, Robert, and Jakob Yngvason. “Emergence of Haldane Pseudo-Potentials in Systems with Short-Range Interactions.” Journal of Statistical Physics, vol. 181, Springer, 2020, pp. 448–64, doi:10.1007/s10955-020-02586-0.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2020 | Journal Article | IST-REx-ID: 8568 |
Prehal, Christian, et al. “Persistent and Reversible Solid Iodine Electrodeposition in Nanoporous Carbons.” Nature Communications, vol. 11, 4838, Springer Nature, 2020, doi:10.1038/s41467-020-18610-6.
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Journal Article | IST-REx-ID: 7207 |
Martín-Belmonte, Alejandro, et al. “Reduction in the Neuronal Surface of Post and Presynaptic GABA>B< Receptors in the Hippocampus in a Mouse Model of Alzheimer’s Disease.” Brain Pathology, vol. 30, no. 3, Wiley, 2020, pp. 554–75, doi:10.1111/bpa.12802.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Journal Article | IST-REx-ID: 8973 |
Redig, Frank, et al. “Symmetric Simple Exclusion Process in Dynamic Environment: Hydrodynamics.” Electronic Journal of Probability, vol. 25, 138, Institute of Mathematical Statistics, 2020, doi:10.1214/20-EJP536.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv