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.
1790 Publications
2020 |Published| Conference Paper | IST-REx-ID: 8339 | 
N. Genise, D. Micciancio, C. Peikert, and M. Walter, “Improved discrete Gaussian and subgaussian analysis for lattice cryptography,” in 23rd IACR International Conference on the Practice and Theory of Public-Key Cryptography, Edinburgh, United Kingdom, 2020, vol. 12110, pp. 623–651.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2020 |Submitted| Preprint | IST-REx-ID: 8404 |
K. Weinhäupl, Y. Wang, A. Hessel, M. Brennich, K. Lindorff-Larsen, and P. Schanda, “Architecture and subunit dynamics of the mitochondrial TIM9·10·12 chaperone,” bioRxiv. Cold Spring Harbor Laboratory.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2020 |Published| Conference Paper | IST-REx-ID: 9040 |
P. A. Alamdari, G. Avni, T. A. Henzinger, and A. Lukina, “Formal methods with a touch of magic,” in Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, Online Conference, 2020, pp. 138–147.
[Published Version]
View
| Files available
| DOI
2020 |Published| Journal Article | IST-REx-ID: 9249 |
R. Biswas, G. Largeteau-Skapin, R. Zrour, and E. Andres, “Digital objects in rhombic dodecahedron grid,” Mathematical Morphology - Theory and Applications, vol. 4, no. 1. De Gruyter, pp. 143–158, 2020.
[Published Version]
View
| Files available
| DOI
2020 |Published| Conference Paper | IST-REx-ID: 9299 |
J. Pach, G. Tardos, and G. Tóth, “Crossings between non-homotopic edges,” in 28th International Symposium on Graph Drawing and Network Visualization, Virtual, Online, 2020, vol. 12590, pp. 359–371.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 |Published| Journal Article | IST-REx-ID: 9129
S. Shamekh, C. J. Muller, J.-P. Duvel, and F. D’Andrea, “How do ocean warm anomalies favor the aggregation of deep convective clouds?,” Journal of the Atmospheric Sciences, vol. 77, no. 11. American Meteorological Society, pp. 3733–3745, 2020.
View
| DOI
2020 |Published| Journal Article | IST-REx-ID: 9583 |
A. Ferber and M. A. Kwan, “Almost all Steiner triple systems are almost resolvable,” Forum of Mathematics, vol. 8. Cambridge University Press, 2020.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2020 |Published| Journal Article | IST-REx-ID: 9578 |
M. Bucić, M. A. Kwan, A. Pokrovskiy, B. Sudakov, T. Tran, and A. Z. Wagner, “Nearly-linear monotone paths in edge-ordered graphs,” Israel Journal of Mathematics, vol. 238, no. 2. Springer, pp. 663–685, 2020.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 |Published| Journal Article | IST-REx-ID: 9581 |
M. A. Kwan, “Almost all Steiner triple systems have perfect matchings,” Proceedings of the London Mathematical Society, vol. 121, no. 6. Wiley, pp. 1468–1495, 2020.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 |Published| Journal Article | IST-REx-ID: 12940 |
C. Meisenbichler, F. Kluibenschedl, and T. Müller, “A 3-in-1 hand-held ambient mass spectrometry interface for identification and 2D localization of chemicals on surfaces,” Analytical Chemistry, vol. 92, no. 21. American Chemical Society, pp. 14314–14318, 2020.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2020 |Published| Book (Editor) | IST-REx-ID: 7474 |
A. Schlögl, J. Kiss, and S. Elefante, Eds., Austrian High-Performance-Computing meeting (AHPC2020). Klosterneuburg, Austria: IST Austria, 2020.
[Published Version]
View
| Files available
| DOI
2020 |Published| Conference Paper | IST-REx-ID: 7808 |
M. Giacobbe, T. A. Henzinger, and M. 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, Dublin, Ireland, 2020, vol. 12079, pp. 79–97.
[Published Version]
View
| Files available
| DOI
2020 |Published| Conference Paper | IST-REx-ID: 7952 |
J.-D. Boissonnat and M. Wintraecken, “The topological correctness of PL-approximations of isomanifolds,” in 36th International Symposium on Computational Geometry, Zürich, Switzerland, 2020, vol. 164.
[Published Version]
View
| Files available
| DOI
2020 |Published| Conference Paper | IST-REx-ID: 7990 |
U. Wagner and E. Welzl, “Connectivity of triangulation flip graphs in the plane (Part II: Bistellar flips),” in 36th International Symposium on Computational Geometry, Zürich, Switzerland, 2020, vol. 164.
[Published Version]
View
| Files available
| DOI
| arXiv
2020 |Published| Conference Paper | IST-REx-ID: 7807 |
U. Wagner and E. Welzl, “Connectivity of triangulation flip graphs in the plane (Part I: Edge flips),” in Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, Salt Lake City, UT, United States, 2020, vol. 2020–January, pp. 2823–2841.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| arXiv
2020 |Published| Journal Article | IST-REx-ID: 13466 |
J. Bodensteiner et al., “The young massive SMC cluster NGC 330 seen by MUSE,” Astronomy & Astrophysics, vol. 634. EDP Sciences, 2020.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2020 |Published| Journal Article | IST-REx-ID: 13467 |
Y. L. L. Götberg, 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, vol. 634. EDP Sciences, 2020.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2020 |Published| Journal Article | IST-REx-ID: 13463 |
M. Renzo et al., “Predictions for the hydrogen-free ejecta of pulsational pair-instability supernovae,” Astronomy & Astrophysics, vol. 640. EDP Sciences, 2020.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv