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.
7224 Publications
2022 | Conference Paper | IST-REx-ID: 10891
Henzinger TA. Quantitative monitoring of software. In: Bloem R, ed. Software Verification. Vol 13124. LNCS. Springer Nature; 2022:3-6. doi:10.1007/978-3-030-95561-8_1
View
| DOI
2022 | Journal Article | IST-REx-ID: 10918 | 
Emtenani S, Martin ET, György A, et al. Macrophage mitochondrial bioenergetics and tissue invasion are boosted by an Atossa-Porthos axis in Drosophila. The Embo Journal. 2022. doi:10.15252/embj.2021109049
View
| Files available
| DOI
2022 | Journal Article | IST-REx-ID: 10920 |
Jirovec D, Mutter PM, Hofmann AC, et al. Dynamics of hole singlet-triplet qubits with large g-factor differences. Physical Review Letters. 2022;128(12). doi:10.1103/PhysRevLett.128.126803
View
| Files available
| DOI
| arXiv
2022 | Journal Article | IST-REx-ID: 10922 |
Liu Z, Hu J, Xu H, et al. Worst-case rigidity analysis and optimization for assemblies with mechanical joints. Computer Graphics Forum. 2022;41(2).
View
| Files available
2022 | Journal Article | IST-REx-ID: 10924 |
Sahu R, Hease WJ, Rueda Sanchez AR, Arnold GM, Qiu L, Fink JM. Quantum-enabled operation of a microwave-optical interface. Nature Communications. 2022;13. doi:10.1038/s41467-022-28924-2
View
| Files available
| DOI
| arXiv