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.
9087 Publications
2020 | 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 | 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 | 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 | Journal Article | IST-REx-ID: 13341 |
Y. Anahory et al., “SQUID-on-tip with single-electron spin sensitivity for high-field and ultra-low temperature nanomagnetic imaging,” Nanoscale, vol. 12, no. 5. Royal Society of Chemistry, pp. 3174–3182, 2020.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | 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