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.
4941 Publications
2023 | Journal Article | IST-REx-ID: 13179 | 
Koval, Nikita, et al. “CQS: A Formally-Verified Framework for Fair and Abortable Synchronization.” Proceedings of the ACM on Programming Languages, vol. 7, 116, Association for Computing Machinery , 2023, doi:10.1145/3591230.
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 13180 |
Browning, Timothy D., et al. “Local Solubility for a Family of Quadrics over a Split Quadric Surface.” Involve, vol. 16, no. 2, Mathematical Sciences Publishers, 2023, pp. 331–42, doi:10.2140/involve.2023.16.331.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Conference Abstract | IST-REx-ID: 13162 |
Elefante, Stefano, et al. “Cryo-EM Software Packages: A Sys-Admins Point of View.” ASHPC23 - Austrian-Slovenian HPC Meeting 2023, EuroCC, pp. 42–42.
[Submitted Version]
View
| Files available
2023 | Conference Abstract | IST-REx-ID: 13161 |
Schlögl, Alois, et al. “Running Windows-Applications on a Linux HPC Cluster Using WINE.” ASHPC23 - Austrian-Slovenian HPC Meeting 2023, EuroCC, pp. 59–59.
[Submitted Version]
View
| Files available
2023 | Journal Article | IST-REx-ID: 13251 |
Wei, Yujing, et al. “Bond Polarizability as a Probe of Local Crystal Fields in Hybrid Lead-Halide Perovskites.” The Journal of Physical Chemistry Letters, vol. 14, no. 27, American Chemical Society, 2023, pp. 6309–14, doi:10.1021/acs.jpclett.3c01158.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv