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 | OA
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 | Conference Paper | IST-REx-ID: 7808 | OA
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 | Conference Paper | IST-REx-ID: 7952 | OA
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 | Journal Article | IST-REx-ID: 13341 | OA
Anahory, Y., H. R. Naren, E. O. Lachman, S. Buhbut Sinai, A. Uri, L. Embon, E. Yaakobi, et al. “SQUID-on-Tip with Single-Electron Spin Sensitivity for High-Field and Ultra-Low Temperature Nanomagnetic Imaging.” Nanoscale. Royal Society of Chemistry, 2020. https://doi.org/10.1039/C9NR08578E.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Conference Paper | IST-REx-ID: 7990 | OA
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
 

Search

Filter Publications