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.
5757 Publications
2020 | Conference Paper | IST-REx-ID: 7808 | 
Giacobbe M, Henzinger TA, Lechner M. 2020. How many bits does it take to quantize your neural network? International Conference on Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 12079, 79–97.
[Published Version]
View
| Files available
| DOI
2020 | Conference Paper | IST-REx-ID: 7952 |
Boissonnat J-D, Wintraecken M. 2020. The topological correctness of PL-approximations of isomanifolds. 36th International Symposium on Computational Geometry. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 164, 20:1-20:18.
[Published Version]
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 13341 |
Anahory Y, Naren HR, Lachman EO, Sinai SB, Uri A, Embon L, Yaakobi E, Myasoedov Y, Huber ME, Klajn R, Zeldov E. 2020. SQUID-on-tip with single-electron spin sensitivity for high-field and ultra-low temperature nanomagnetic imaging. Nanoscale. 12(5), 3174–3182.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Conference Paper | IST-REx-ID: 7990 |
Wagner U, Welzl E. 2020. Connectivity of triangulation flip graphs in the plane (Part II: Bistellar flips). 36th International Symposium on Computational Geometry. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 164, 67:1-67:16.
[Published Version]
View
| Files available
| DOI
| arXiv
2020 | Conference Paper | IST-REx-ID: 7807 |
Wagner U, Welzl E. 2020. Connectivity of triangulation flip graphs in the plane (Part I: Edge flips). Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms. SODA: Symposium on Discrete Algorithms vol. 2020–January, 2823–2841.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| arXiv
2020 | Research Data Reference | IST-REx-ID: 13073 |
Simon A, Fraisse C, El Ayari T, Liautard-Haag C, Strelkov P, Welch J, Bierne N. 2020. How do species barriers decay? concordance and local introgression in mosaic hybrid zones of mussels, Dryad, 10.5061/DRYAD.R4XGXD29N.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2020 | Research Data Reference | IST-REx-ID: 13065 |
Arnoux S, Fraisse C, Sauvage C. 2020. VCF files of synonymous SNPs related to: Genomic inference of complex domestication histories in three Solanaceae species, Dryad, 10.5061/DRYAD.Q2BVQ83HD.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2020 | Journal Article | IST-REx-ID: 13361 |
Grommet AB, Lee LM, Klajn R. 2020. Molecular photoswitching in confined spaces. Accounts of Chemical Research. 53(11), 2600–2610.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2020 | Journal Article | IST-REx-ID: 13362 |
Gemen J, Ahrens J, Shimon LJW, Klajn R. 2020. Modulating the optical properties of BODIPY dyes by noncovalent dimerization within a flexible coordination cage. Journal of the American Chemical Society. 142(41), 17721–17729.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2020 | Journal Article | IST-REx-ID: 13364 |
Canton M, Grommet AB, Pesce L, Gemen J, Li S, Diskin-Posner Y, Credi A, Pavan GM, Andréasson J, Klajn R. 2020. Improving fatigue resistance of dihydropyrene by encapsulation within a coordination cage. Journal of the American Chemical Society. 142(34), 14557–14565.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC