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.
1621 Publications
2020 |Published| Conference Paper | IST-REx-ID: 9040 | 
Alamdari, Par Alizadeh, Guy Avni, Thomas A Henzinger, and Anna Lukina. “Formal Methods with a Touch of Magic.” In Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, 138–47. TU Wien Academic Press, 2020. https://doi.org/10.34727/2020/isbn.978-3-85448-042-6_21.
[Published Version]
View
| Files available
| DOI
2020 |Published| Book Chapter | IST-REx-ID: 9096
Schmid-Hempel, Paul, and Sylvia Cremer. “Parasites and Pathogens.” In Encyclopedia of Social Insects, edited by C Starr. Cham: Springer Nature, 2020. https://doi.org/10.1007/978-3-319-90306-4_94-1.
View
| DOI
2020 |Published| Journal Article | IST-REx-ID: 9249 |
Biswas, Ranita, Gaëlle Largeteau-Skapin, Rita Zrour, and Eric Andres. “Digital Objects in Rhombic Dodecahedron Grid.” Mathematical Morphology - Theory and Applications. De Gruyter, 2020. https://doi.org/10.1515/mathm-2020-0106.
[Published Version]
View
| Files available
| DOI
2020 |Published| Conference Paper | IST-REx-ID: 9299 |
Pach, János, Gábor Tardos, and Géza Tóth. “Crossings between Non-Homotopic Edges.” In 28th International Symposium on Graph Drawing and Network Visualization, 12590:359–71. LNCS. Springer Nature, 2020. https://doi.org/10.1007/978-3-030-68766-3_28.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 |Published| Journal Article | IST-REx-ID: 9129
Shamekh, Sara, Caroline J Muller, Jean-Philippe Duvel, and Fabio D’Andrea. “How Do Ocean Warm Anomalies Favor the Aggregation of Deep Convective Clouds?” Journal of the Atmospheric Sciences. American Meteorological Society, 2020. https://doi.org/10.1175/jas-d-18-0369.1.
View
| DOI
2020 |Published| Journal Article | IST-REx-ID: 9583 |
Ferber, Asaf, and Matthew Alan Kwan. “Almost All Steiner Triple Systems Are Almost Resolvable.” Forum of Mathematics. Cambridge University Press, 2020. https://doi.org/10.1017/fms.2020.29.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2020 |Published| Journal Article | IST-REx-ID: 9578 |
Bucić, Matija, Matthew Alan Kwan, Alexey Pokrovskiy, Benny Sudakov, Tuan Tran, and Adam Zsolt Wagner. “Nearly-Linear Monotone Paths in Edge-Ordered Graphs.” Israel Journal of Mathematics. Springer, 2020. https://doi.org/10.1007/s11856-020-2035-7.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 |Published| Journal Article | IST-REx-ID: 9581 |
Kwan, Matthew Alan. “Almost All Steiner Triple Systems Have Perfect Matchings.” Proceedings of the London Mathematical Society. Wiley, 2020. https://doi.org/10.1112/plms.12373.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 |Published| Journal Article | IST-REx-ID: 12940 |
Meisenbichler, Christina, Florian Kluibenschedl, and Thomas Müller. “A 3-in-1 Hand-Held Ambient Mass Spectrometry Interface for Identification and 2D Localization of Chemicals on Surfaces.” Analytical Chemistry. American Chemical Society, 2020. https://doi.org/10.1021/acs.analchem.0c02615.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2020 |Published| Book (Editor) | IST-REx-ID: 7474 |
Schlögl, Alois, Janos Kiss, and Stefano Elefante, eds. Austrian High-Performance-Computing Meeting (AHPC2020). Klosterneuburg, Austria: IST Austria, 2020. https://doi.org/10.15479/AT:ISTA:7474.
[Published Version]
View
| Files available
| DOI
2020 |Published| Conference Paper | IST-REx-ID: 7808 |
Giacobbe, Mirco, Thomas A Henzinger, and Mathias Lechner. “How Many Bits Does It Take to Quantize Your Neural Network?” In International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 12079:79–97. Springer Nature, 2020. https://doi.org/10.1007/978-3-030-45237-7_5.
[Published Version]
View
| Files available
| DOI
2020 |Published| Conference Paper | IST-REx-ID: 7952 |
Boissonnat, Jean-Daniel, and Mathijs Wintraecken. “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. https://doi.org/10.4230/LIPIcs.SoCG.2020.20.
[Published Version]
View
| Files available
| DOI
2020 |Published| Conference Paper | IST-REx-ID: 7990 |
Wagner, Uli, and Emo Welzl. “Connectivity of Triangulation Flip Graphs in the Plane (Part II: Bistellar Flips).” In 36th International Symposium on Computational Geometry, Vol. 164. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. https://doi.org/10.4230/LIPIcs.SoCG.2020.67.
[Published Version]
View
| Files available
| DOI
| arXiv
2020 |Published| Conference Paper | IST-REx-ID: 7807 |
Wagner, Uli, and Emo Welzl. “Connectivity of Triangulation Flip Graphs in the Plane (Part I: Edge Flips).” In Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, 2020–January:2823–41. SIAM, 2020. https://doi.org/10.1137/1.9781611975994.172.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| arXiv
2020 |Published| Journal Article | IST-REx-ID: 13466 |
Bodensteiner, J., H. Sana, L. Mahy, L. R. Patrick, A. de Koter, S. E. de Mink, C. J. Evans, et al. “The Young Massive SMC Cluster NGC 330 Seen by MUSE.” Astronomy & Astrophysics. EDP Sciences, 2020. https://doi.org/10.1051/0004-6361/201936743.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2020 |Published| Journal Article | IST-REx-ID: 13467 |
Götberg, Ylva Louise Linsdotter, S. E. de Mink, M. McQuinn, E. Zapartas, J. H. Groh, and C. Norman. “Contribution from Stars Stripped in Binaries to Cosmic Reionization of Hydrogen and Helium.” Astronomy & Astrophysics. EDP Sciences, 2020. https://doi.org/10.1051/0004-6361/201936669.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2020 |Published| Journal Article | IST-REx-ID: 13463 |
Renzo, M., R. Farmer, S. Justham, Ylva Louise Linsdotter Götberg, S. E. de Mink, E. Zapartas, P. Marchant, and N. Smith. “Predictions for the Hydrogen-Free Ejecta of Pulsational Pair-Instability Supernovae.” Astronomy & Astrophysics. EDP Sciences, 2020. https://doi.org/10.1051/0004-6361/202037710.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2020 |Published| Book Chapter | IST-REx-ID: 74 |
Akopyan, Arseniy, and Roman Karasev. “Gromov’s Waist of Non-Radial Gaussian Measures and Radial Non-Gaussian Measures.” In Geometric Aspects of Functional Analysis, edited by Bo’az Klartag and Emanuel Milman, 2256:1–27. LNM. Springer Nature, 2020. https://doi.org/10.1007/978-3-030-36020-7_1.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 |Published| Journal Article | IST-REx-ID: 7033 |
Donahue, RJ, Margaret E Maes, JA Grosser, and RW Nickells. “BAX-Depleted Retinal Ganglion Cells Survive and Become Quiescent Following Optic Nerve Damage.” Molecular Neurobiology. Springer Nature, 2020. https://doi.org/10.1007/s12035-019-01783-7.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
2020 |Published| Journal Article | IST-REx-ID: 7004 |
Rapcak, Miroslav, Yan Soibelman, Yaping Yang, and Gufang Zhao. “Cohomological Hall Algebras, Vertex Algebras and Instantons.” Communications in Mathematical Physics. Springer Nature, 2020. https://doi.org/10.1007/s00220-019-03575-5.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv