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.

9447 Publications


2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17884 | OA
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 |Epub ahead of print| Journal Article | IST-REx-ID: 17886 | OA
Zendrikov, D., & Paraskevov, A. (2024). The vitals for steady nucleation maps of spontaneous spiking coherence in autonomous two-dimensional neuronal networks. Neural Networks. Elsevier. https://doi.org/10.1016/j.neunet.2024.106589
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2024 |Published| Journal Article | IST-REx-ID: 17887 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 |Submitted| Preprint | IST-REx-ID: 18057 | OA
Mukhopadhyay, S., Lancheros Naranjo, D. A., Senior, J. L., & Higginbotham, A. P. (n.d.). Dual relaxation oscillations in a Josephson junction array. arXiv. https://doi.org/10.48550/arXiv.2408.07829
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2024 |Published| Conference Paper | IST-REx-ID: 18061 | OA
Frantar, E., & Alistarh, D.-A. (2024). QMoE: Sub-1-bit compression of trillion parameter models. In P. Gibbons, G. Pekhimenko, & C. De Sa (Eds.), Proceedings of Machine Learning and Systems (Vol. 6). Santa Clara, CA, USA.
[Published Version] View | Files available | Download Published Version (ext.)
 

2024 |Published| Conference Paper | IST-REx-ID: 18062 | OA
Frantar, E., Ruiz, C. R., Houlsby, N., Alistarh, D.-A., & Evci, U. (2024). Scaling laws for sparsely-connected foundation models. In The Twelfth International Conference on Learning Representations. Vienna, Austria.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 

2024 |Published| Conference Paper | IST-REx-ID: 17469 | OA
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
 

2024 |Published| Thesis | IST-REx-ID: 17490 | OA
Markov, I. (2024). Communication-efficient distributed training of deep neural networks: An algorithms and systems perspective. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:17490
[Published Version] View | Files available | DOI
 

2024 |Published| Conference Paper | IST-REx-ID: 17456 | OA
Markov, I., Alimohammadi, K., Frantar, E., & Alistarh, D.-A. (2024). L-GreCo: Layerwise-adaptive gradient compression for efficient data-parallel deep learning. In P. Gibbons, G. Pekhimenko, & C. De Sa (Eds.), Proceedings of Machine Learning and Systems (Vol. 6). Athens, Greece: Association for Computing Machinery.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 

2024 |Epub ahead of print| Journal Article | IST-REx-ID: 18073 | OA
Kettel, P., Marosits, L., Spinetti, E., Rechberger, M., Giannini, C., Radler, P., … Karagöz, G. E. (2024). Disordered regions in the IRE1α ER lumenal domain mediate its stress-induced clustering. EMBO Journal. Embo Press. https://doi.org/10.1038/s44318-024-00207-0
[Published Version] View | DOI | Download Published Version (ext.)
 

2024 |Epub ahead of print| Journal Article | IST-REx-ID: 18074 | OA
Fialova, M. (2024). Aharonov–Casher theorems for Dirac operators on manifolds with boundary and APS boundary condition. Annales Henri Poincare. Springer Nature. https://doi.org/10.1007/s00023-024-01482-7
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2024 |Published| Journal Article | IST-REx-ID: 18072 | OA
Hernandez-Armendariz, A., Sorichetti, V., Hayashi, Y., Koskova, Z., Brunner, A., Ellenberg, J., … Cuylen-Haering, S. (2024). A liquid-like coat mediates chromosome clustering during mitotic exit. Molecular Cell. Cell Press. https://doi.org/10.1016/j.molcel.2024.07.022
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2024 |Published| Conference Paper | IST-REx-ID: 18071 | OA
Tsimos, G., Kichidis, A., Sonnino, A., & Kokoris Kogias, E. (2024). HammerHead: Leader reputation for dynamic scheduling. In Proceedings - International Conference on Distributed Computing Systems (pp. 1377–1387). Jersey City, NJ, United States: IEEE. https://doi.org/10.1109/ICDCS60910.2024.00129
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2024 |Published| Conference Paper | IST-REx-ID: 18070
Chatterjee, B., Kungurtsev, V., & Alistarh, D.-A. (2024). Federated SGD with local asynchrony. In Proceedings of the 44th International Conference on Distributed Computing Systems (pp. 857–868). Jersey City, NJ, United States: IEEE. https://doi.org/10.1109/ICDCS60910.2024.00084
View | DOI
 

2024 |Published| Conference Paper | IST-REx-ID: 18066 | OA
Avni, G., Goharshady, E. K., Henzinger, T. A., & Mallik, K. (2024). Bidding games with charging. In 35th International Conference on Concurrency Theory (Vol. 311). Calgary, Canada: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2024.8
[Published Version] View | Files available | DOI | arXiv
 

2024 |Published| Conference Paper | IST-REx-ID: 18067 | OA
Boker, U., Henzinger, T. A., Lehtinen, K., & Prakash, A. (2024). History-determinism vs fair simulation. In 35th International Conference on Concurrency Theory (Vol. 311). Calgary, Canada: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2024.12
[Published Version] View | Files available | DOI | arXiv
 

2024 |Published| Journal Article | IST-REx-ID: 18063 | OA
Peng, Y., Ji, K., Mao, Y., Wang, Y., Korbei, B., Luschnig, C., … Tan, S. (2024). Polarly localized Bro1 domain proteins regulate PIN-FORMED abundance and root gravitropic growth in Arabidopsis. Communications Biology. Springer Nature. https://doi.org/10.1038/s42003-024-06747-9
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2024 |Published| Journal Article | IST-REx-ID: 18069 | OA
Neufeld, C., Van Dokkum, P., Asali, Y., Covelo-Paz, A., Leja, J., Lin, J., … Xiao, M. (2024). FRESCO: The Paschen-α star-forming sequence at cosmic noon. Astrophysical Journal. IOP Publishing. https://doi.org/10.3847/1538-4357/ad6158
[Published Version] View | Files available | DOI
 

2024 |Published| Conference Paper | IST-REx-ID: 18068 | OA
Henzinger, T. A., Mazzocchi, N. A., & Sarac, N. E. (2024). Strategic dominance: A new preorder for nondeterministic processes. In 35th International Conference on Concurrency Theory (Vol. 311). Calgary, Canada: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2024.29
[Published Version] View | Files available | DOI | arXiv
 

2024 |Epub ahead of print| Journal Article | IST-REx-ID: 18065 | OA
Hou, X., Pan, Y., & Zhou, Q. (2024). Dynamical classification of analytic one-frequency quasi-periodic SO(3,R)-cocycles. Advances in Mathematics. Elsevier. https://doi.org/10.1016/j.aim.2024.109943
[Published Version] View | DOI | Download Published Version (ext.)
 

2024 |Epub ahead of print| Journal Article | IST-REx-ID: 18064 | OA
Chan, S. (2024). The average number of integral points on the congruent number curves. Advances in Mathematics. Elsevier. https://doi.org/10.1016/j.aim.2024.109946
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

Search

Filter Publications