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 | OA
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 | OA
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 | OA
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 | OA
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


Filter Publications