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
T.A. Henzinger, in:, R. Bloem (Ed.), Software Verification, Springer Nature, 2022, pp. 3–6.
2022 | Journal Article | IST-REx-ID: 10918 | 
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
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).
2022 | Journal Article | IST-REx-ID: 10920 |
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
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).
2022 | Journal Article | IST-REx-ID: 10922 |
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
Z. Liu, J. Hu, H. Xu, P. Song, R. Zhang, B. Bickel, C.-W. Fu, Computer Graphics Forum 41 (2022).
2022 | Journal Article | IST-REx-ID: 10924 |
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
R. Sahu, W.J. Hease, A.R. Rueda Sanchez, G.M. Arnold, L. Qiu, J.M. Fink, Nature Communications 13 (2022).