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, Teng, et al. “Mismatched Estimation of Non-Symmetric Rank-One Matrices Corrupted by Structured Noise.” Proceedings of 2023 IEEE International Symposium on Information Theory, IEEE, 2023, pp. 1178–83, doi:10.1109/isit54713.2023.10206671.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 17078 |
Dass, Avinash Vicholous, et al. “RNA Oligomerisation without Added Catalyst from 2′,3′‐cyclic Nucleotides by Drying at Air-Water Interfaces.” ChemSystemsChem, vol. 5, no. 1, e202200026, Wiley, 2023, doi:10.1002/syst.202200026.
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 12709 |
Corbet, René, et al. “Computing the Multicover Bifiltration.” Discrete and Computational Geometry, vol. 70, Springer Nature, 2023, pp. 376–405, doi:10.1007/s00454-022-00476-8.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14780 |
Ding, Xiucai, and Hong Chang Ji. “Spiked Multiplicative Random Matrices and Principal Components.” Stochastic Processes and Their Applications, vol. 163, Elsevier, 2023, pp. 25–60, doi:10.1016/j.spa.2023.05.009.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Thesis | IST-REx-ID: 12726
Riedl, Michael. Synchronization in Collectively Moving Active Matter. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:12726.
View
| Files available
| DOI
2023 | Published | Thesis | IST-REx-ID: 14530 |
Riedl, Michael. Synchronization in Collectively Moving Active Matter. Institute of Science and Technology Austria, 2023, doi:10.15479/14530.
[Updated Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 12787 |
Svoboda, Jakub, et al. “Coexistence Times in the Moran Process with Environmental Heterogeneity.” Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences, vol. 479, no. 2271, 20220685, The Royal Society, 2023, doi:10.1098/rspa.2022.0685.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Research Data Reference | IST-REx-ID: 14812 |
Stankowski, Sean. Data and Code for: The Genetic Architecture of a Recent Transition to Live-Bearing in Marine Snails. Zenodo, 2023, doi:10.5281/ZENODO.8318995.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Research Data Reference | IST-REx-ID: 14919 |
Shaw, Thomas, et al. Air Temperature and Near-Surface Meteorology Datasets on Three Swiss Glaciers - Extreme 2022 Summer. Zenodo, 2023, doi:10.5281/ZENODO.8277285.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Research Data Reference | IST-REx-ID: 15027 |
Curk, Samo. Aggregation_data. Figshare, 2023.
[Published Version]
View
| Files available
| Download Published Version (ext.)
2023 | Research Data | IST-REx-ID: 13173 |
Shigemoto, Ryuichi. Transition from Tonic to Phasic Neurotransmitter Release by Presynaptic GABAB Receptor Activation in Medial Habenula Terminals. Institute of Science and Technology Austria, 2023, doi:10.15479/AT:ISTA:13173.
[Published Version]
View
| Files available
| DOI
2023 | Published | Conference Paper | IST-REx-ID: 14922 |
Esposito, Amedeo Roberto, and Marco Mondelli. “Concentration without Independence via Information Measures.” Proceedings of 2023 IEEE International Symposium on Information Theory, IEEE, 2023, pp. 400–05, doi:10.1109/isit54713.2023.10206899.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 14083 |
Resch, Nicolas, et al. “Zero-Rate Thresholds and New Capacity Bounds for List-Decoding and List-Recovery.” 50th International Colloquium on Automata, Languages, and Programming, vol. 261, 99, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023, doi:10.4230/LIPIcs.ICALP.2023.99.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 14417 |
Baier, Christel, et al. “Entropic Risk for Turn-Based Stochastic Games.” 48th International Symposium on Mathematical Foundations of Computer Science, vol. 272, 15, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023, doi:10.4230/LIPIcs.MFCS.2023.15.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Conference Abstract | IST-REx-ID: 14862 |
Rella, Simon, et al. “Complex Vaccination Strategies Prevent the Emergence of Vaccine Resistance.” European Journal of Public Health, vol. 33, no. Supplement_2, ckad160.597, Oxford University Press, 2023, doi:10.1093/eurpub/ckad160.597.
[Published Version]
View
| Files available
| DOI
2023 | Draft | Preprint | IST-REx-ID: 17173 |
Reker, Jana. “Multi-Point Functional Central Limit Theorem for Wigner Matrices.” ArXiv, 2307.11028, doi:10.48550/arXiv.2307.11028.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 12760 |
Henzinger, Monika, et al. “Dynamic Maintenance of Monotone Dynamic Programs and Applications.” 40th International Symposium on Theoretical Aspects of Computer Science, vol. 254, 36, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023, doi:10.4230/LIPIcs.STACS.2023.36.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 12467 |
Henzinger, Thomas A., et al. “Quantitative Safety and Liveness.” 26th International Conference Foundations of Software Science and Computation Structures, vol. 13992, Springer Nature, 2023, pp. 349–70, doi:10.1007/978-3-031-30829-1_17.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 12762 |
Lombardi, Fabrizio, et al. “Statistical Modeling of Adaptive Neural Networks Explains Co-Existence of Avalanches and Oscillations in Resting Human Brain.” Nature Computational Science, vol. 3, Springer Nature, 2023, pp. 254–63, doi:10.1038/s43588-023-00410-9.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 12854 |
Chalupa, Marek, and Thomas A. Henzinger. “Bubaak: Runtime Monitoring of Program Verifiers.” Tools and Algorithms for the Construction and Analysis of Systems, vol. 13994, Springer Nature, 2023, pp. 535–40, doi:10.1007/978-3-031-30820-8_32.
[Published Version]
View
| Files available
| DOI
| WoS