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.
6244 Publications
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17884 | 
Obr, M., Percipalle, M., Chernikova, D., Yang, H., Thader, A., Pinke, G., … Schur, F. K. (2024). Distinct stabilization of the human T cell leukemia virus type 1 immature Gag lattice. Nature Structural & Molecular Biology. Springer Nature. https://doi.org/10.1038/s41594-024-01390-8
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2024 |Published| Journal Article | IST-REx-ID: 17887 |
Abels, H., Fischer, J. L., & Moser, M. (2024). Approximation of classical two-phase flows of viscous incompressible fluids by a Navier–Stokes/Allen–Cahn system. Archive for Rational Mechanics and Analysis. Springer Nature. https://doi.org/10.1007/s00205-024-02020-9
[Published Version]
View
| Files available
| DOI
| arXiv
2024 |Published| Journal Article | IST-REx-ID: 17885 |
Kofler, L., Grundmann, L., Gerhalter, M., Prattes, M., Merl-Pham, J., Zisser, G., … Bergler, H. (2024). The novel ribosome biogenesis inhibitor usnic acid blocks nucleolar pre-60S maturation. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-024-51754-3
[Published Version]
View
| Files available
| DOI
2024 |Published| Journal Article | IST-REx-ID: 17891 |
Edelsbrunner, H., Ölsböck, K., & Wagner, H. (2024). Understanding higher-order interactions in information space. Entropy. MDPI. https://doi.org/10.3390/e26080637
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2024 |Published| Journal Article | IST-REx-ID: 17463 |
Pillai, A., Idris, A., Philomin, A., Weidle, C., Skotheim, R., Leung, P. J. Y., … Baker, D. (2024). De novo design of allosterically switchable protein assemblies. Nature. Springer Nature. https://doi.org/10.1038/s41586-024-07813-2
[Published Version]
View
| Files available
| DOI
2024 |Published| Journal Article | IST-REx-ID: 17458 |
Cecalev, D., Vicoso, B., & Galupa, R. (2024). Compensation of gene dosage on the mammalian X. Development. The Company of Biologists. https://doi.org/10.1242/dev.202891
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17457 |
Ritzau-Jost, A., Gsell, F., Sell, J., Sachs, S., Montanaro-Punzengruber, J.-C., Kirmann, T., … Hallermann, S. (2024). LGI1 autoantibodies enhance synaptic transmission by presynaptic Kv1 loss and increased action potential broadening. Neurology, Neuroimmunology and Neuroinflammation. Wolters Kluwer. https://doi.org/10.1212/NXI.0000000000200284
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17459 |
Pan, Y., Hochgerner, M., Cichon, M. A., Benezeder, T., Bieber, T., & Wolf, P. (2024). Langerhans cells: Central players in the pathophysiology of atopic dermatitis. Journal of the European Academy of Dermatology and Venereology. Wiley. https://doi.org/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, S., & Pull, C. (2024). Unconditional versus condition-dependent social immunity. Trends in Parasitology. Elsevier. https://doi.org/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, I., & Kwan, M. A. (2024). Exponentially many graphs are determined by their spectrum. Quarterly Journal of Mathematics. Oxford University Press. https://doi.org/10.1093/qmath/haae030
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Research Data | IST-REx-ID: 17488 |
Satapathy, R. K., Jösch, M. A., Symonova, O., & Pokusaeva, V. (2024). Bilateral interactions of optic-flow sensitive neurons coordinate course control in flies. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:17488
View
| Files available
| DOI
2024 |Published| Journal Article | IST-REx-ID: 17495 |
Gäher, L., Sammler, M. J., Jung, R., Krebbers, R., & Dreyer, D. (2024). RefinedRust: A type system for high-assurance verification of rust programs. Proceedings of the ACM on Programming Languages. Association for Computing Machinery. https://doi.org/10.1145/3656422
[Published Version]
View
| DOI
| Download Published Version (ext.)
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| 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 |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 |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: 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