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. https://doi.org/10.1007/978-3-030-95561-8_1
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. https://doi.org/10.15252/embj.2021109049
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. https://doi.org/10.1103/PhysRevLett.128.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. 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. https://doi.org/10.1038/s41467-022-28924-2
View | Files available | DOI | arXiv
 

Search

Filter Publications