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

extern<>1

Search

Filter Publications