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.

3831 Publications

2022 | Conference Paper | IST-REx-ID: 10891
Henzinger TA. 2022. Quantitative monitoring of software. Software Verification. NSV: Numerical Software VerificationLNCS vol. 13124, 3–6.
View | DOI

2022 | Journal Article | IST-REx-ID: 10918 | OA
Emtenani S, Martin ET, György A, Bicher J, Genger J-W, Köcher T, Akhmanova M, Pereira Guarda M, Roblek M, Bergthaler A, Hurd TR, Rangan P, Siekhaus DE. 2022. Macrophage mitochondrial bioenergetics and tissue invasion are boosted by an Atossa-Porthos axis in Drosophila. The Embo Journal., e109049.
View | Files available | DOI

2022 | Journal Article | IST-REx-ID: 10920 | OA
Jirovec D, Mutter PM, Hofmann AC, Crippa A, Rychetsky M, Craig DL, Kukucka J, Martins F, Ballabio A, Ares N, Chrastina D, Isella G, Burkard G, Katsaros G. 2022. Dynamics of hole singlet-triplet qubits with large g-factor differences. Physical Review Letters. 128(12), 126803.
View | Files available | DOI | arXiv

2022 | Journal Article | IST-REx-ID: 10922 | OA
Liu Z, Hu J, Xu H, Song P, Zhang R, Bickel B, Fu C-W. 2022. Worst-case rigidity analysis and optimization for assemblies with mechanical joints. Computer Graphics Forum. 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. 2022. Quantum-enabled operation of a microwave-optical interface. Nature Communications. 13, 1276.
View | Files available | DOI | arXiv

Filters and Search Terms



Filter Publications