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, Simon, Lennard Gäher, Michael Joachim Sammler, and Derek Dreyer. “Quiver: Guided Abductive Inference of Separation Logic Specifications in Coq.” Proceedings of the ACM on Programming Languages. Association for Computing Machinery, 2024. https://doi.org/10.1145/3656413.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2024 |Published| Book Chapter | IST-REx-ID: 18052
Kleindienst, David, Tommaso Costanzo, and Ryuichi Shigemoto. “Automated Imaging and Analysis of Synapses in Freeze-Fracture Replica Samples with Deep Learning.” In New Aspects in Analyzing the Synaptic Organization of the Brain, edited by Joachim H.R. Lübke and Astrid Rollenhagen, 1st ed., 123–37. New York: Springer Nature, 2024. https://doi.org/10.1007/978-1-0716-4019-7_8.
View
| DOI
2024 |Published| Journal Article | IST-REx-ID: 17517 |
Saade, M. Lynne, Murray Brightman, Daniel Stern, Thomas Connor, S. G. Djorgovski, Daniel J. D’Orazio, K. E. S. Ford, et al. “NuSTAR Observations of Candidate Subparsec Binary Supermassive Black Holes.” The Astrophysical Journal. American Astronomical Society, 2024. 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, Ren, Shiqi Wang, Linlin Yang, Sharona Horta, Yang Ding, Chong Di, Xuesong Zhang, et al. “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, 2024. https://doi.org/10.1039/d4ee01912a.
View
| DOI
2024 |Submitted| Preprint | IST-REx-ID: 17634 |
Chalupa, Marek, Thomas A Henzinger, Nicolas Adrien Mazzocchi, and Naci E Sarac. “QuAK: Quantitative Automata Kit.” ArXiv, n.d. 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, Jiamin, Shengduo Xu, Yi Shuai, Qiang Sun, Huangshui Ma, Chao Wang, Haijuan Wu, Shanshan Tan, Zegao Wang, and Lei Yang. “Decipher the Wavelength and Intensity Using Photothermoelectric Detectors.” ACS Applied Materials and Interfaces. American Chemical Society, 2024. https://doi.org/10.1021/acsami.4c10489.
View
| DOI
| PubMed | Europe PMC
2024 |Published| Journal Article | IST-REx-ID: 17889 |
Torralba-Torregrosa, Alberto, Jorryt J Matthee, Rohan P. Naidu, Ruari Mackenzie, Gabriele Pezzulli, Anne Hutter, Pablo Arnalte-Mur, et al. “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, 2024. 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, Guillem, Carina Baskett, and Nicholas H Barton. “Multiscale Spatial Analysis of Two Plant–Insect Interactions: Effects of Landscape, Resource Distribution, and Other Insects.” Landscape Ecology. Springer Nature, 2024. https://doi.org/10.1007/s10980-024-01899-9.
[Published Version]
View
| Files available
| DOI
2024 |Published| Journal Article | IST-REx-ID: 17892 |
Olmeda, Fabrizio, and Steffen Rulands. “Field Theory of Enzyme-Substrate Systems with Restricted Long-Range Interactions.” Physical Review E. American Physical Society, 2024. https://doi.org/10.1103/PhysRevE.110.024404.
[Published Version]
View
| Files available
| DOI
2024 |Published| Conference Paper | IST-REx-ID: 17898
Lechner, Mathias, Ramin Hasani, Alexander Amini, Tsun Hsuan Wang, Thomas A Henzinger, and Daniela Rus. “Overparametrization Helps Offline-to-Online Generalization of Closed-Loop Control from Pixels.” In Proceedings of the 2024 IEEE International Conference on Robotics and Automation, 2774–82. Institute of Electrical and Electronics Engineers, 2024. https://doi.org/10.1109/ICRA57147.2024.10610284.
View
| DOI
2024 |Published| Conference Paper | IST-REx-ID: 17893 |
Jin, Lifu, Amedeo Roberto Esposito, and Michael Gastpar. “Properties of the Strong Data Processing Constant for Rényi Divergence.” In Proceedings of the 2024 IEEE International Symposium on Information Theory, 3178–83. Institute of Electrical and Electronics Engineers, 2024. https://doi.org/10.1109/ISIT57864.2024.10619367.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Research Data | IST-REx-ID: 17362 |
Elkrewi, Marwan N, and Beatriz Vicoso. “Data for: ‘Single-Nucleus Atlas of the Artemia Female Reproductive System Suggests Germline Repression of the Z Chromosome.’” Institute of Science and Technology Austria, 2024. 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., S. Jaggi, M. Langberg, A. D. Sarwate, and Yihan Zhang. “Computationally Efficient Codes for Strongly Dobrushin-Stambler Nonsymmetrizable Oblivious AVCs.” In Proceedings of the 2024 IEEE International Symposium on Information Theory , 1586–91. Institute of Electrical and Electronics Engineers, 2024. https://doi.org/10.1109/ISIT57864.2024.10619362.
View
| DOI
2024 |Published| Conference Paper | IST-REx-ID: 17894
Esposito, Amedeo Roberto, Michael Gastpar, and Ibrahim Issa. “Variational Characterizations of Sibson’s α-Mutual Information.” In Proceedings of the 2024 IEEE International Symposium on Information Theory , 2110–15. Institute of Electrical and Electronics Engineers, 2024. https://doi.org/10.1109/ISIT57864.2024.10619378.
View
| DOI
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17890 |
Elkrewi, Marwan N, and Beatriz Vicoso. “Single-Nucleus Atlas of the Artemia Female Reproductive System Suggests Germline Repression of the Z Chromosome.” PLoS Genetics. Public Library of Science, 2024. 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, Hiromichi, Shigeo S Kimura, Zoltán Haiman, Rosalba Perna, and Imre Bartos. “Shock Cooling and Breakout Emission for Optical Flares Associated with Gravitational-Wave Events.” The Astrophysical Journal. American Astronomical Society, 2024. 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, Jake, Sandra Arroyo-Urea, and Javier García-Nafría. “DNA Cloning.” In Handbook of Molecular Biotechnology, edited by Dongyou Liu, 1st ed., 66–72. Boca Raton: CRC Press, 2024. https://doi.org/10.1201/9781003055211-8.
View
| DOI
2024 |Published| Journal Article | IST-REx-ID: 17535 |
Scoggins, Matthew T, and Zoltán Haiman. “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, 2024. 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, Kevin, Alexander Shevchenko, Hamed Hassani, and Marco Mondelli. “Compression of Structured Data with Autoencoders: Provable Benefit of Nonlinearities and Depth.” In Proceedings of the 41st International Conference on Machine Learning, 235:24964–15. ML Research Press, 2024.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2024 |Published| Thesis | IST-REx-ID: 17465
Shevchenko, Alexander. “High-Dimensional Limits in Artificial Neural Networks.” Institute of Science and Technology Austria, 2024. https://doi.org/10.15479/at:ista:17465.
[Published Version]
View
| Files available
| DOI