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
Quantitative monitoring of software
T.A. Henzinger, in:, R. Bloem (Ed.), Software Verification, Springer Nature, 2022, pp. 3–6.
View | DOI

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

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

2022 | Journal Article | IST-REx-ID: 10922 | OA
Worst-case rigidity analysis and optimization for assemblies with mechanical joints
Z. Liu, J. Hu, H. Xu, P. Song, R. Zhang, B. Bickel, C.-W. Fu, Computer Graphics Forum 41 (2022).
View | Files available

2022 | Journal Article | IST-REx-ID: 10924 | OA
Quantum-enabled operation of a microwave-optical interface
R. Sahu, W.J. Hease, A.R. Rueda Sanchez, G.M. Arnold, L. Qiu, J.M. Fink, Nature Communications 13 (2022).
View | Files available | DOI | arXiv

Filters and Search Terms



Filter Publications