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 |Epub ahead of print| Journal Article | IST-REx-ID: 17459 | 
Pan, Yi, et al. “Langerhans Cells: Central Players in the Pathophysiology of Atopic Dermatitis.” Journal of the European Academy of Dermatology and Venereology, Wiley, 2024, doi:10.1111/jdv.20291.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17461 |
Cremer, Sylvia, and Christopher Pull. “Unconditional versus Condition-Dependent Social Immunity.” Trends in Parasitology, Elsevier, 2024, doi:10.1016/j.pt.2024.07.014.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2024 |Published| Journal Article | IST-REx-ID: 17475 |
Koval, Illya, and Matthew Alan Kwan. “Exponentially Many Graphs Are Determined by Their Spectrum.” Quarterly Journal of Mathematics, vol. 75, no. 3, Oxford University Press, 2024, pp. 869–99, doi:10.1093/qmath/haae030.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Research Data | IST-REx-ID: 17488 |
Satapathy, Roshan K., et al. Bilateral Interactions of Optic-Flow Sensitive Neurons Coordinate Course Control in Flies. Institute of Science and Technology Austria, 2024, doi:10.15479/AT:ISTA:17488.
View
| Files available
| DOI
2024 |Published| Journal Article | IST-REx-ID: 17495 |
Gäher, Lennard, et al. “RefinedRust: A Type System for High-Assurance Verification of Rust Programs.” Proceedings of the ACM on Programming Languages, vol. 8, no. PLDI, Association for Computing Machinery, 2024, pp. 1115–39, doi:10.1145/3656422.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2024 |Published| Journal Article | IST-REx-ID: 17497 |
Spies, Simon, et al. “Quiver: Guided Abductive Inference of Separation Logic Specifications in Coq.” Proceedings of the ACM on Programming Languages, vol. 8, no. PLDI, Association for Computing Machinery, 2024, pp. 889–913, doi:10.1145/3656413.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2024 |Published| Book Chapter | IST-REx-ID: 18052
Kleindienst, David, et al. “Automated Imaging and Analysis of Synapses in Freeze-Fracture Replica Samples with Deep Learning.” New Aspects in Analyzing the Synaptic Organization of the Brain, edited by Joachim H.R. Lübke and Astrid Rollenhagen, 1st ed., Springer Nature, 2024, pp. 123–37, doi:10.1007/978-1-0716-4019-7_8.
View
| DOI
2024 |Published| Journal Article | IST-REx-ID: 17517 |
Saade, M. Lynne, et al. “NuSTAR Observations of Candidate Subparsec Binary Supermassive Black Holes.” The Astrophysical Journal, vol. 966, no. 1, 104, American Astronomical Society, 2024, doi: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, 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, doi:10.1039/d4ee01912a.
View
| DOI
2024 |Submitted| Preprint | IST-REx-ID: 17634 |
Chalupa, Marek, et al. “QuAK: Quantitative Automata Kit.” ArXiv, 2409.03569, doi: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, et al. “Decipher the Wavelength and Intensity Using Photothermoelectric Detectors.” ACS Applied Materials and Interfaces, American Chemical Society, 2024, doi:10.1021/acsami.4c10489.
View
| DOI
| PubMed | Europe PMC
2024 |Published| Journal Article | IST-REx-ID: 17889 |
Torralba-Torregrosa, Alberto, 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, vol. 689, A44, EDP Sciences, 2024, doi:10.1051/0004-6361/202450318.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 |Published| Journal Article | IST-REx-ID: 17888 |
Pocull Belles, Guillem, et al. “Multiscale Spatial Analysis of Two Plant–Insect Interactions: Effects of Landscape, Resource Distribution, and Other Insects.” Landscape Ecology, vol. 39, no. 9, 172, Springer Nature, 2024, doi: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, vol. 110, no. 2, 024404, American Physical Society, 2024, doi:10.1103/PhysRevE.110.024404.
[Published Version]
View
| Files available
| DOI
2024 |Published| Conference Paper | IST-REx-ID: 17898
Lechner, Mathias, et al. “Overparametrization Helps Offline-to-Online Generalization of Closed-Loop Control from Pixels.” Proceedings of the 2024 IEEE International Conference on Robotics and Automation, Institute of Electrical and Electronics Engineers, 2024, pp. 2774–82, doi:10.1109/ICRA57147.2024.10610284.
View
| DOI
2024 |Published| Conference Paper | IST-REx-ID: 17893 |
Jin, Lifu, et al. “Properties of the Strong Data Processing Constant for Rényi Divergence.” Proceedings of the 2024 IEEE International Symposium on Information Theory, Institute of Electrical and Electronics Engineers, 2024, pp. 3178–83, doi: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, doi:10.15479/AT:ISTA:17362.
[Published Version]
View
| Files available
| DOI
2024 |Published| Conference Paper | IST-REx-ID: 17895
Dey, B. K., et al. “Computationally Efficient Codes for Strongly Dobrushin-Stambler Nonsymmetrizable Oblivious AVCs.” Proceedings of the 2024 IEEE International Symposium on Information Theory , Institute of Electrical and Electronics Engineers, 2024, pp. 1586–91, doi:10.1109/ISIT57864.2024.10619362.
View
| DOI
2024 |Published| Conference Paper | IST-REx-ID: 17894
Esposito, Amedeo Roberto, et al. “Variational Characterizations of Sibson’s α-Mutual Information.” Proceedings of the 2024 IEEE International Symposium on Information Theory , Institute of Electrical and Electronics Engineers, 2024, pp. 2110–15, doi: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, e1011376, Public Library of Science, 2024, doi:10.1371/journal.pgen.1011376.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC