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.
1624 Publications
2024 |Published| Journal Article | IST-REx-ID: 13271 | 
Zhang, H. (2024). Some convexity and monotonicity results of trace functionals. Annales Henri Poincare. Springer Nature. https://doi.org/10.1007/s00023-023-01345-7
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2024 |Published| Journal Article | IST-REx-ID: 15180 |
Matthee JJ, Naidu RP, Brammer G, Chisholm J, Eilers A-C, Goulding A, Greene J, Kashino D, Labbe I, Lilly SJ, Mackenzie R, Oesch PA, Weibel A, Wuyts S, Xiao M, Bordoloi R, Bouwens R, van Dokkum P, Illingworth G, Kramarenko I, Maseda MV, Mason C, Meyer RA, Nelson EJ, Reddy NA, Shivaei I, Simcoe RA, Yue M. 2024. Little Red Dots: An abundant population of faint active galactic nuclei at z ∼ 5 revealed by the EIGER and FRESCO JWST surveys. The Astrophysical Journal. 963(2), 129.
[Published Version]
View
| Files available
| DOI
2023 |Published| Journal Article | IST-REx-ID: 12158 |
Zeller, P., Yeung, J., Viñas Gaza, H., de Barbanson, B. A., Bhardwaj, V., Florescu, M., … van Oudenaarden, A. (2023). Single-cell sortChIC identifies hierarchical chromatin dynamics during hematopoiesis. Nature Genetics. Springer Nature. https://doi.org/10.1038/s41588-022-01260-3
[Published Version]
View
| Files available
| DOI
2023 |Published| Book Chapter | IST-REx-ID: 12720
Arroyo-Urea, S., Watson, J., & García-Nafría, J. (2023). Molecular Cloning Using In Vivo DNA Assembly. In G. Scarlett (Ed.), DNA Manipulation and Analysis (Vol. 2633, pp. 33–44). New York, NY, United States: Springer Nature. https://doi.org/10.1007/978-1-0716-3004-4_3
View
| DOI
| PubMed | Europe PMC
2023 |Published| Conference Poster | IST-REx-ID: 12736 |
Aksenov, V., Brown, T. A., Fedorov, A., & Kokorin, I. (2023). Unexpected scaling in path copying trees. Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (pp. 438–440). Montreal, QB, Canada: Association for Computing Machinery. https://doi.org/10.1145/3572848.3577512
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 |Published| Conference Paper | IST-REx-ID: 12854 |
Chalupa, M., & Henzinger, T. A. (2023). Bubaak: Runtime monitoring of program verifiers. In Tools and Algorithms for the Construction and Analysis of Systems (Vol. 13994, pp. 535–540). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-30820-8_32
[Published Version]
View
| Files available
| DOI
2023 |Published| Conference Paper | IST-REx-ID: 12856 |
Chalupa, M., Mühlböck, F., Muroya Lei, S., & Henzinger, T. A. (2023). Vamos: Middleware for best-effort third-party monitoring. In Fundamental Approaches to Software Engineering (Vol. 13991, pp. 260–281). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-30826-0_15
[Published Version]
View
| Files available
| DOI
2023 |Published| Conference Paper | IST-REx-ID: 13143 |
Hoffmann, C., Hubáček, P., Kamath, C., & Pietrzak, K. Z. (2023). Certifying giant nonprimes. In Public-Key Cryptography - PKC 2023 (Vol. 13940, pp. 530–553). Atlanta, GA, United States: Springer Nature. https://doi.org/10.1007/978-3-031-31368-4_19
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2023 |Published| Conference Paper | IST-REx-ID: 13142 |
Chatterjee, K., Henzinger, T. A., Lechner, M., & Zikelic, D. (2023). A learner-verifier framework for neural network controllers and certificates of stochastic systems. In Tools and Algorithms for the Construction and Analysis of Systems (Vol. 13993, pp. 3–25). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-30823-9_1
[Published Version]
View
| Files available
| DOI
2023 |Published| Conference Paper | IST-REx-ID: 13141 |
Anand, A., Mallik, K., Nayak, S. P., & Schmuck, A. K. (2023). Computing adequately permissive assumptions for synthesis. In TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems (Vol. 13994, pp. 211–228). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-30820-8_15
[Published Version]
View
| Files available
| DOI
2023 |Published| Conference Paper | IST-REx-ID: 12467 |
Henzinger, T. A., Mazzocchi, N. A., & Sarac, N. E. (2023). Quantitative safety and liveness. In 26th International Conference Foundations of Software Science and Computation Structures (Vol. 13992, pp. 349–370). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-30829-1_17
[Published Version]
View
| Files available
| DOI
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 12737
García-Romero, Á., Waters, J. E., Jethwa, R. B., Bond, A. D., Colebatch, A. L., García-Rodríguez, R., & Wright, D. S. (2023). Highly adaptive nature of group 15 tris(quinolyl) ligands─studies with coinage metals. Inorganic Chemistry. American Chemical Society. https://doi.org/10.1021/acs.inorgchem.3c00057
View
| DOI
| WoS
| PubMed | Europe PMC
2023 |Published| Journal Article | IST-REx-ID: 12788 |
Karle, V., Ghazaryan, A., & Lemeshko, M. (2023). Topological charges of periodically kicked molecules. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.130.103202
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 12839 |
Ljubotina, M., Desaules, J. Y., Serbyn, M., & Papić, Z. (2023). Superdiffusive energy transport in kinetically constrained models. Physical Review X. American Physical Society. https://doi.org/10.1103/PhysRevX.13.011033
[Published Version]
View
| Files available
| DOI
| WoS
2023 |Epub ahead of print| Journal Article | IST-REx-ID: 13129 |
Clozeau, N., Josien, M., Otto, F., & Xu, Q. (2023). Bias in the representative volume element method: Periodize the ensemble instead of its realizations. Foundations of Computational Mathematics. Springer Nature. https://doi.org/10.1007/s10208-023-09613-y
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
2023 |Published| Journal Article | IST-REx-ID: 13970 |
Madani, A., Sletten, E. T., Cavedon, C., Seeberger, P. H., & Pieber, B. (2023). Visible-light-mediated oxidative debenzylation of 3-O-Benzyl-1,2:5,6-di-O-isopropylidene-α-D-glucofuranose. Organic Syntheses. Organic Syntheses. https://doi.org/10.15227/orgsyn.100.0271
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 |Published| Journal Article | IST-REx-ID: 12331 |
Wang, S., Chang, C., Bai, S., Qin, B., Zhu, Y., Zhan, S., … Zhao, L. D. (2023). Fine tuning of defects enables high carrier mobility and enhanced thermoelectric performance of n-type PbTe. Chemistry of Materials. American Chemical Society. https://doi.org/10.1021/acs.chemmater.2c03542
[Published Version]
View
| Files available
| DOI
| WoS
2023 |Published| Journal Article | IST-REx-ID: 12106 |
Yeung, J., Florescu, M., Zeller, P., De Barbanson, B. A., Wellenstein, M. D., & Van Oudenaarden, A. (2023). scChIX-seq infers dynamic relationships between histone modifications in single cells. Nature Biotechnology. Springer Nature. https://doi.org/10.1038/s41587-022-01560-3
[Published Version]
View
| Files available
| DOI
| WoS
2023 |Published| Journal Article | IST-REx-ID: 12183 |
Boccato, C., & Seiringer, R. (2023). The Bose Gas in a box with Neumann boundary conditions. Annales Henri Poincare. Springer Nature. https://doi.org/10.1007/s00023-022-01252-3
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 13989 |
Hales, J., Bajpai, U., Liu, T., Baykusheva, D. R., Li, M., Mitrano, M., & Wang, Y. (2023). Witnessing light-driven entanglement using time-resolved resonant inelastic X-ray scattering. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-023-38540-3
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
| arXiv