Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.




6105 Publications

2023 | Published | Thesis | IST-REx-ID: 12726
Riedl, M. (2023). Synchronization in collectively moving active matter. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12726
View | Files available | DOI
 
2023 | Published | Thesis | IST-REx-ID: 14530 | OA
Riedl, M. (2023). Synchronization in collectively moving active matter. Institute of Science and Technology Austria. https://doi.org/10.15479/14530
[Updated Version] View | Files available | DOI
 
2023 | Published | Journal Article | IST-REx-ID: 12787 | OA
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. The Royal Society. https://doi.org/10.1098/rspa.2022.0685
[Published Version] View | Files available | DOI | WoS
 
2023 | Research Data Reference | IST-REx-ID: 14812 | OA
Stankowski, S. (2023). Data and code for: The genetic architecture of a recent transition to live-bearing in marine snails. Zenodo. https://doi.org/10.5281/ZENODO.8318995
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2023 | Research Data Reference | IST-REx-ID: 14919 | OA
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. https://doi.org/10.5281/ZENODO.8277285
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2023 | Research Data Reference | IST-REx-ID: 15027 | OA
Curk, S. (2023). aggregation_data. Figshare.
[Published Version] View | Files available | Download Published Version (ext.)
 
2023 | Research Data | IST-REx-ID: 13173 | OA
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. https://doi.org/10.15479/AT:ISTA:13173
[Published Version] View | Files available | DOI
 
2023 | Published | Conference Paper | IST-REx-ID: 14922 | OA
Esposito, A. R., & Mondelli, M. (2023). Concentration without independence via information measures. In Proceedings of 2023 IEEE International Symposium on Information Theory (pp. 400–405). Taipei, Taiwan: IEEE. https://doi.org/10.1109/isit54713.2023.10206899
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2023 | Published | Conference Paper | IST-REx-ID: 14083 | OA
Resch, N., Yuan, C., & Zhang, Y. (2023). Zero-rate thresholds and new capacity bounds for list-decoding and list-recovery. In 50th International Colloquium on Automata, Languages, and Programming (Vol. 261). Paderborn, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ICALP.2023.99
[Published Version] View | Files available | DOI | arXiv
 
2023 | Published | Conference Paper | IST-REx-ID: 14417 | OA
Baier, C., Chatterjee, K., Meggendorfer, T., & Piribauer, J. (2023). Entropic risk for turn-based stochastic games. In 48th International Symposium on Mathematical Foundations of Computer Science (Vol. 272). Bordeaux, France: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.MFCS.2023.15
[Published Version] View | Files available | DOI | arXiv
 
2023 | Published | Conference Abstract | IST-REx-ID: 14862 | OA
Rella, S., Kulikova, Y., Minnegalieva, A., & Kondrashov, F. (2023). Complex vaccination strategies prevent the emergence of vaccine resistance. In European Journal of Public Health (Vol. 33). Oxford University Press. https://doi.org/10.1093/eurpub/ckad160.597
[Published Version] View | Files available | DOI
 
2023 | Draft | Preprint | IST-REx-ID: 17173 | OA
Reker, J. (n.d.). Multi-point functional central limit theorem for Wigner Matrices. arXiv. https://doi.org/10.48550/arXiv.2307.11028
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2023 | Published | Conference Paper | IST-REx-ID: 12760 | OA
Henzinger, M., Neumann, S., Räcke, H., & Schmid, S. (2023). Dynamic maintenance of monotone dynamic programs and applications. In 40th International Symposium on Theoretical Aspects of Computer Science (Vol. 254). Hamburg, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.STACS.2023.36
[Published Version] View | Files available | DOI | WoS | arXiv
 
2023 | Published | Conference Paper | IST-REx-ID: 12467 | OA
Henzinger, T. A., Mazzocchi, N. A., & Sarac, N. E. (2023). Quantitative safety and liveness. In 26th International Conference Foundations of Software Science and Computation Structures (Vol. 13992, pp. 349–370). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-30829-1_17
[Published Version] View | Files available | DOI | WoS | arXiv
 
2023 | Published | Journal Article | IST-REx-ID: 12762 | OA
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. Springer Nature. https://doi.org/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 | OA
Chalupa, M., & Henzinger, T. A. (2023). Bubaak: Runtime monitoring of program verifiers. In Tools and Algorithms for the Construction and Analysis of Systems (Vol. 13994, pp. 535–540). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-30820-8_32
[Published Version] View | Files available | DOI | WoS
 
2023 | Published | Thesis | IST-REx-ID: 13331 | OA
Köse, S. (2023). Exterior algebra and combinatorics. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:13331
[Published Version] View | Files available | DOI
 
2023 | Published | Journal Article | IST-REx-ID: 12680 | OA
Ivanov, G., & Köse, S. (2023). Erdős-Ko-Rado and Hilton-Milner theorems for two-forms. Discrete Mathematics. Elsevier. https://doi.org/10.1016/j.disc.2023.113363
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2023 | Published | Conference Paper | IST-REx-ID: 12856 | OA
Chalupa, M., Mühlböck, F., Muroya Lei, S., & Henzinger, T. A. (2023). Vamos: Middleware for best-effort third-party monitoring. In Fundamental Approaches to Software Engineering (Vol. 13991, pp. 260–281). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-30826-0_15
[Published Version] View | Files available | DOI | WoS
 
2023 | Published | Conference Paper | IST-REx-ID: 13120 | OA
Dvorak, M., & Blanchette, J. (2023). Closure properties of general grammars - formally verified. In 14th International Conference on Interactive Theorem Proving (Vol. 268). Bialystok, Poland: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ITP.2023.15
[Published Version] View | Files available | DOI | WoS | arXiv
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed