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.
5982 Publications
2023 | Published | Conference Paper | IST-REx-ID: 14923 | 
Fu T, Liu Y, Barbier J, Mondelli M, Liang S, Hou T. 2023. Mismatched estimation of non-symmetric rank-one matrices corrupted by structured noise. Proceedings of 2023 IEEE International Symposium on Information Theory. ISIT: International Symposium on Information Theory, 1178–1183.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 17078 |
Dass AV, Wunnava S, Langlais J, von der Esch B, Krusche M, Ufer L, Chrisam N, Dubini RCA, Gartner F, Angerpointner S, Dirscherl CF, Rovo P, Mast CB, Šponer JE, Ochsenfeld C, Frey E, Braun D. 2023. RNA oligomerisation without added catalyst from 2′,3′‐cyclic nucleotides by drying at air-water interfaces. ChemSystemsChem. 5(1), e202200026.
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 12709 |
Corbet R, Kerber M, Lesnick M, Osang GF. 2023. Computing the multicover bifiltration. Discrete and Computational Geometry. 70, 376–405.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14780 |
Ding X, Ji HC. 2023. Spiked multiplicative random matrices and principal components. Stochastic Processes and their Applications. 163, 25–60.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Thesis | IST-REx-ID: 12726
Riedl M. 2023. Synchronization in collectively moving active matter. Institute of Science and Technology Austria.
View
| Files available
| DOI
2023 | Published | Thesis | IST-REx-ID: 14530 |
Riedl M. 2023. Synchronization in collectively moving active matter. Institute of Science and Technology Austria.
[Updated Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 12787 |
Svoboda J, Tkadlec J, Kaveh K, Chatterjee K. 2023. Coexistence times in the Moran process with environmental heterogeneity. Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences. 479(2271), 20220685.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Research Data Reference | IST-REx-ID: 14812 |
Stankowski S. 2023. Data and code for: The genetic architecture of a recent transition to live-bearing in marine snails, Zenodo, 10.5281/ZENODO.8318995.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Research Data Reference | IST-REx-ID: 14919 |
Shaw T, Buri P, McCarthy M, Miles E, Pellicciotti F. 2023. Air temperature and near-surface meteorology datasets on three Swiss glaciers - Extreme 2022 Summer, Zenodo, 10.5281/ZENODO.8277285.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Research Data Reference | IST-REx-ID: 15027 |
Curk S. 2023. aggregation_data, Figshare.
[Published Version]
View
| Files available
| Download Published Version (ext.)
2023 | Research Data | IST-REx-ID: 13173 |
Shigemoto R. 2023. Transition from tonic to phasic neurotransmitter release by presynaptic GABAB receptor activation in medial habenula terminals, Institute of Science and Technology Austria, 10.15479/AT:ISTA:13173.
[Published Version]
View
| Files available
| DOI
2023 | Published | Conference Paper | IST-REx-ID: 14922 |
Esposito AR, Mondelli M. 2023. Concentration without independence via information measures. Proceedings of 2023 IEEE International Symposium on Information Theory. ISIT: International Symposium on Information Theory, 400–405.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 14083 |
Resch N, Yuan C, Zhang Y. 2023. Zero-rate thresholds and new capacity bounds for list-decoding and list-recovery. 50th International Colloquium on Automata, Languages, and Programming. ICALP: Automata, Languages and Programming, LIPIcs, vol. 261, 99.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 14417 |
Baier C, Chatterjee K, Meggendorfer T, Piribauer J. 2023. Entropic risk for turn-based stochastic games. 48th International Symposium on Mathematical Foundations of Computer Science. MFCS: Mathematical Foundations of Computer Science, LIPIcs, vol. 272, 15.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Conference Abstract | IST-REx-ID: 14862 |
Rella S, Kulikova Y, Minnegalieva A, Kondrashov F. 2023. Complex vaccination strategies prevent the emergence of vaccine resistance. European Journal of Public Health. vol. 33, ckad160.597.
[Published Version]
View
| Files available
| DOI
2023 | Draft | Preprint | IST-REx-ID: 17173 |
Reker J. Multi-point functional central limit theorem for Wigner Matrices. arXiv, 2307.11028.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 12760 |
Henzinger M, Neumann S, Räcke H, Schmid S. 2023. Dynamic maintenance of monotone dynamic programs and applications. 40th International Symposium on Theoretical Aspects of Computer Science. STACS: Symposium on Theoretical Aspects of Computer Science, LIPIcs, vol. 254, 36.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 12467 |
Henzinger TA, Mazzocchi NA, Sarac NE. 2023. Quantitative safety and liveness. 26th International Conference Foundations of Software Science and Computation Structures. FOSSACS: Foundations of Software Science and Computation Structures, LNCS, vol. 13992, 349–370.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 12762 |
Lombardi F, Pepic S, Shriki O, Tkačik G, De Martino D. 2023. Statistical modeling of adaptive neural networks explains co-existence of avalanches and oscillations in resting human brain. Nature Computational Science. 3, 254–263.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 12854 |
Chalupa M, Henzinger TA. 2023. Bubaak: Runtime monitoring of program verifiers. Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 13994, 535–540.
[Published Version]
View
| Files available
| DOI
| WoS