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.
5785 Publications
2021 | Preprint | IST-REx-ID: 9281 | 
Dubach G, Mühlböck F. Formal verification of Zagier’s one-sentence proof. arXiv. doi:10.48550/arXiv.2103.11389
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Preprint | IST-REx-ID: 10579 |
Kavcic B, Tkačik G. Token-driven totally asymmetric simple exclusion process. arXiv. doi:10.48550/arXiv.2112.13558
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Journal Article | IST-REx-ID: 10806 |
Calcabrini M, Van den Eynden D, Sanchez Ribot S, et al. Ligand conversion in nanocrystal synthesis: The oxidation of alkylamines to fatty acids by nitrate. JACS Au. 2021;1(11):1898-1903. doi:10.1021/jacsau.1c00349
[Published Version]
View
| Files available
| DOI
2021 | Journal Article | IST-REx-ID: 9698 |
Keith JA, Valentin Vassilev-Galindo V, Cheng B, et al. Combining machine learning and computational chemistry for predictive insights into chemical systems. Chemical Reviews. 2021;121(16):9816-9872. doi:10.1021/acs.chemrev.1c00107
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2021 | Journal Article | IST-REx-ID: 12309 |
Verzobio M. Primitive divisors of elliptic divisibility sequences for elliptic curves with j=1728. Acta Arithmetica. 2021;198(2):129-168. doi:10.4064/aa191016-30-7
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv