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.

7224 Publications

2022 | Conference Paper | IST-REx-ID: 10891
Henzinger, T. A. (2022). Quantitative monitoring of software. In R. Bloem (Ed.), Software Verification (Vol. 13124, pp. 3–6). New Haven, CT, United States: Springer Nature.
View | DOI

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

2022 | Journal Article | IST-REx-ID: 10920 | OA
Jirovec, D., Mutter, P. M., Hofmann, A. C., Crippa, A., Rychetsky, M., Craig, D. L., … Katsaros, G. (2022). Dynamics of hole singlet-triplet qubits with large g-factor differences. Physical Review Letters. American Physical Society.
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. Wiley.
View | Files available

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


Filter Publications