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

extern<>1

Search

Filter Publications