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.
9626 Publications
2024 |Published| Journal Article | IST-REx-ID: 17497 | 
Spies, S., Gäher, L., Sammler, M. J., & Dreyer, D. (2024). Quiver: Guided abductive inference of separation logic specifications in coq. Proceedings of the ACM on Programming Languages. Association for Computing Machinery. https://doi.org/10.1145/3656413
[Published Version]
View
| DOI
| Download Published Version (ext.)
2024 |Published| Book Chapter | IST-REx-ID: 18052
Kleindienst, D., Costanzo, T., & Shigemoto, R. (2024). Automated Imaging and Analysis of Synapses in Freeze-Fracture Replica Samples with Deep Learning. In J. H. R. Lübke & A. Rollenhagen (Eds.), New Aspects in Analyzing the Synaptic Organization of the Brain (1st ed., pp. 123–137). New York: Springer Nature. https://doi.org/10.1007/978-1-0716-4019-7_8
View
| DOI
2024 |Published| Journal Article | IST-REx-ID: 17517 |
Saade, M. L., Brightman, M., Stern, D., Connor, T., Djorgovski, S. G., D’Orazio, D. J., … Walton, D. J. (2024). NuSTAR observations of candidate subparsec binary supermassive black holes. The Astrophysical Journal. American Astronomical Society. https://doi.org/10.3847/1538-4357/ad372e
[Published Version]
View
| DOI
| Download Published Version (ext.)
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17897
He, R., Wang, S., Yang, L., Horta, S., Ding, Y., Di, C., … Cabot, A. (2024). Active site switching on high entropy phosphides as bifunctional oxygen electrocatalysts for rechargeable/robust Zn-air battery. Energy and Environmental Science. Royal Society of Chemistry. https://doi.org/10.1039/d4ee01912a
View
| DOI
2024 |Submitted| Preprint | IST-REx-ID: 17634 |
Chalupa, M., Henzinger, T. A., Mazzocchi, N. A., & Sarac, N. E. (n.d.). QuAK: Quantitative Automata Kit. arXiv. https://doi.org/10.48550/arXiv.2409.03569
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17896
Zhou, J., Xu, S., Shuai, Y., Sun, Q., Ma, H., Wang, C., … Yang, L. (2024). Decipher the wavelength and intensity using photothermoelectric detectors. ACS Applied Materials and Interfaces. American Chemical Society. https://doi.org/10.1021/acsami.4c10489
View
| DOI
| PubMed | Europe PMC
2024 |Published| Journal Article | IST-REx-ID: 17889 |
Torralba-Torregrosa, A., Matthee, J. J., Naidu, R. P., Mackenzie, R., Pezzulli, G., Hutter, A., … Sobral, D. (2024). Anatomy of an ionized bubble: NIRCam grism spectroscopy of the z = 6.6 double-peaked Lyman- α emitter COLA1 and its environment. Astronomy and Astrophysics. EDP Sciences. https://doi.org/10.1051/0004-6361/202450318
[Published Version]
View
| Files available
| DOI
| arXiv
2024 |Published| Journal Article | IST-REx-ID: 17888 |
Pocull Belles, G., Baskett, C., & Barton, N. H. (2024). Multiscale spatial analysis of two plant–insect interactions: Effects of landscape, resource distribution, and other insects. Landscape Ecology. Springer Nature. https://doi.org/10.1007/s10980-024-01899-9
[Published Version]
View
| Files available
| DOI
2024 |Published| Journal Article | IST-REx-ID: 17892 |
Olmeda, F., & Rulands, S. (2024). Field theory of enzyme-substrate systems with restricted long-range interactions. Physical Review E. American Physical Society. https://doi.org/10.1103/PhysRevE.110.024404
[Published Version]
View
| Files available
| DOI
2024 |Published| Conference Paper | IST-REx-ID: 17898
Lechner, M., Hasani, R., Amini, A., Wang, T. H., Henzinger, T. A., & Rus, D. (2024). Overparametrization helps offline-to-online generalization of closed-loop control from pixels. In Proceedings of the 2024 IEEE International Conference on Robotics and Automation (pp. 2774–2782). Yokohama, Japan: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/ICRA57147.2024.10610284
View
| DOI
2024 |Published| Conference Paper | IST-REx-ID: 17893 |
Jin, L., Esposito, A. R., & Gastpar, M. (2024). Properties of the strong data processing constant for Rényi divergence. In Proceedings of the 2024 IEEE International Symposium on Information Theory (pp. 3178–3183). Athens, Greece: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/ISIT57864.2024.10619367
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Research Data | IST-REx-ID: 17362 |
Elkrewi, M. N., & Vicoso, B. (2024). Data for: “Single-nucleus atlas of the Artemia female reproductive system suggests germline repression of the Z chromosome.” Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:17362
[Published Version]
View
| Files available
| DOI
2024 |Published| Conference Paper | IST-REx-ID: 17895
Dey, B. K., Jaggi, S., Langberg, M., Sarwate, A. D., & Zhang, Y. (2024). Computationally efficient codes for strongly Dobrushin-Stambler nonsymmetrizable oblivious AVCs. In Proceedings of the 2024 IEEE International Symposium on Information Theory (pp. 1586–1591). Athens, Greece: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/ISIT57864.2024.10619362
View
| DOI
2024 |Published| Conference Paper | IST-REx-ID: 17894
Esposito, A. R., Gastpar, M., & Issa, I. (2024). Variational characterizations of Sibson’s α-mutual information. In Proceedings of the 2024 IEEE International Symposium on Information Theory (pp. 2110–2115). Athens, Greece: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/ISIT57864.2024.10619378
View
| DOI
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17890 |
Elkrewi, M. N., & Vicoso, B. (2024). Single-nucleus atlas of the Artemia female reproductive system suggests germline repression of the Z chromosome. PLoS Genetics. Public Library of Science. https://doi.org/10.1371/journal.pgen.1011376
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2024 |Published| Journal Article | IST-REx-ID: 17531 |
Tagawa, H., Kimura, S. S., Haiman, Z., Perna, R., & Bartos, I. (2024). Shock cooling and breakout emission for optical flares associated with gravitational-wave events. The Astrophysical Journal. American Astronomical Society. https://doi.org/10.3847/1538-4357/ad2e0b
[Published Version]
View
| DOI
| Download Published Version (ext.)
2024 |Published| Book Chapter | IST-REx-ID: 18058
Watson, J., Arroyo-Urea, S., & García-Nafría, J. (2024). DNA Cloning. In D. Liu (Ed.), Handbook of Molecular Biotechnology (1st ed., pp. 66–72). Boca Raton: CRC Press. https://doi.org/10.1201/9781003055211-8
View
| DOI
2024 |Published| Journal Article | IST-REx-ID: 17535 |
Scoggins, M. T., & Haiman, Z. (2024). Diagnosing the massive-seed pathway to high-redshift black holes: statistics of the evolving black hole to host galaxy mass ratio. Monthly Notices of the Royal Astronomical Society. Oxford University Press. https://doi.org/10.1093/mnras/stae1449
[Published Version]
View
| DOI
| Download Published Version (ext.)
2024 |Published| Conference Paper | IST-REx-ID: 17469 |
Kögler, K., Shevchenko, A., Hassani, H., & Mondelli, M. (2024). Compression of structured data with autoencoders: Provable benefit of nonlinearities and depth. In Proceedings of the 41st International Conference on Machine Learning (Vol. 235, pp. 24964–25015). Vienna, Austria: ML Research Press.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2024 |Published| Thesis | IST-REx-ID: 17465
Shevchenko, A. (2024). High-dimensional limits in artificial neural networks. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:17465
[Published Version]
View
| Files available
| DOI