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
Synchronization in collectively moving active matter
M. Riedl, Synchronization in Collectively Moving Active Matter, Institute of Science and Technology Austria, 2023.
View
| Files available
| DOI
M. Riedl, Synchronization in Collectively Moving Active Matter, Institute of Science and Technology Austria, 2023.
2023 | Published | Thesis | IST-REx-ID: 14530 | 
Synchronization in collectively moving active matter
M. Riedl, Synchronization in Collectively Moving Active Matter, Institute of Science and Technology Austria, 2023.
[Updated Version]
View
| Files available
| DOI
M. Riedl, Synchronization in Collectively Moving Active Matter, Institute of Science and Technology Austria, 2023.
2023 | Published | Journal Article | IST-REx-ID: 12787 |
Coexistence times in the Moran process with environmental heterogeneity
J. Svoboda, J. Tkadlec, K. Kaveh, K. Chatterjee, Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences 479 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
J. Svoboda, J. Tkadlec, K. Kaveh, K. Chatterjee, Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences 479 (2023).
2023 | Research Data Reference | IST-REx-ID: 14812 |
Data and code for: The genetic architecture of a recent transition to live-bearing in marine snails
S. Stankowski, (2023).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
S. Stankowski, (2023).
2023 | Research Data Reference | IST-REx-ID: 14919 |
Air temperature and near-surface meteorology datasets on three Swiss glaciers - Extreme 2022 Summer
T. Shaw, P. Buri, M. McCarthy, E. Miles, F. Pellicciotti, (2023).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
T. Shaw, P. Buri, M. McCarthy, E. Miles, F. Pellicciotti, (2023).
2023 | Research Data Reference | IST-REx-ID: 15027 |
aggregation_data
S. Curk, (2023).
[Published Version]
View
| Files available
| Download Published Version (ext.)
S. Curk, (2023).
2023 | Research Data | IST-REx-ID: 13173 |
Transition from tonic to phasic neurotransmitter release by presynaptic GABAB receptor activation in medial habenula terminals
R. Shigemoto, (2023).
[Published Version]
View
| Files available
| DOI
R. Shigemoto, (2023).
2023 | Published | Conference Paper | IST-REx-ID: 14922 |
Concentration without independence via information measures
A.R. Esposito, M. Mondelli, in:, Proceedings of 2023 IEEE International Symposium on Information Theory, IEEE, 2023, pp. 400–405.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
A.R. Esposito, M. Mondelli, in:, Proceedings of 2023 IEEE International Symposium on Information Theory, IEEE, 2023, pp. 400–405.
2023 | Published | Conference Paper | IST-REx-ID: 14083 |
Zero-rate thresholds and new capacity bounds for list-decoding and list-recovery
N. Resch, C. Yuan, Y. Zhang, in:, 50th International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
[Published Version]
View
| Files available
| DOI
| arXiv
N. Resch, C. Yuan, Y. Zhang, in:, 50th International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
2023 | Published | Conference Paper | IST-REx-ID: 14417 |
Entropic risk for turn-based stochastic games
C. Baier, K. Chatterjee, T. Meggendorfer, J. Piribauer, in:, 48th International Symposium on Mathematical Foundations of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
[Published Version]
View
| Files available
| DOI
| arXiv
C. Baier, K. Chatterjee, T. Meggendorfer, J. Piribauer, in:, 48th International Symposium on Mathematical Foundations of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
2023 | Published | Conference Abstract | IST-REx-ID: 14862 |
Complex vaccination strategies prevent the emergence of vaccine resistance
S. Rella, Y. Kulikova, A. Minnegalieva, F. Kondrashov, in:, European Journal of Public Health, Oxford University Press, 2023.
[Published Version]
View
| Files available
| DOI
S. Rella, Y. Kulikova, A. Minnegalieva, F. Kondrashov, in:, European Journal of Public Health, Oxford University Press, 2023.
2023 | Draft | Preprint | IST-REx-ID: 17173 |
Multi-point functional central limit theorem for Wigner Matrices
J. Reker, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
J. Reker, ArXiv (n.d.).
2023 | Published | Conference Paper | IST-REx-ID: 12760 |
Dynamic maintenance of monotone dynamic programs and applications
M. Henzinger, S. Neumann, H. Räcke, S. Schmid, in:, 40th International Symposium on Theoretical Aspects of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
M. Henzinger, S. Neumann, H. Räcke, S. Schmid, in:, 40th International Symposium on Theoretical Aspects of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
2023 | Published | Conference Paper | IST-REx-ID: 12467 |
Quantitative safety and liveness
T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 26th International Conference Foundations of Software Science and Computation Structures, Springer Nature, 2023, pp. 349–370.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 26th International Conference Foundations of Software Science and Computation Structures, Springer Nature, 2023, pp. 349–370.
2023 | Published | Journal Article | IST-REx-ID: 12762 |
Statistical modeling of adaptive neural networks explains co-existence of avalanches and oscillations in resting human brain
F. Lombardi, S. Pepic, O. Shriki, G. Tkačik, D. De Martino, Nature Computational Science 3 (2023) 254–263.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
| arXiv
F. Lombardi, S. Pepic, O. Shriki, G. Tkačik, D. De Martino, Nature Computational Science 3 (2023) 254–263.
2023 | Published | Conference Paper | IST-REx-ID: 12854 |
Bubaak: Runtime monitoring of program verifiers
M. Chalupa, T.A. Henzinger, in:, Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2023, pp. 535–540.
[Published Version]
View
| Files available
| DOI
| WoS
M. Chalupa, T.A. Henzinger, in:, Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2023, pp. 535–540.
2023 | Published | Thesis | IST-REx-ID: 13331 |
Exterior algebra and combinatorics
S. Köse, Exterior Algebra and Combinatorics, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
S. Köse, Exterior Algebra and Combinatorics, Institute of Science and Technology Austria, 2023.
2023 | Published | Journal Article | IST-REx-ID: 12680 |
Erdős-Ko-Rado and Hilton-Milner theorems for two-forms
G. Ivanov, S. Köse, Discrete Mathematics 346 (2023).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
G. Ivanov, S. Köse, Discrete Mathematics 346 (2023).
2023 | Published | Conference Paper | IST-REx-ID: 12856 |
Vamos: Middleware for best-effort third-party monitoring
M. Chalupa, F. Mühlböck, S. Muroya Lei, T.A. Henzinger, in:, Fundamental Approaches to Software Engineering, Springer Nature, 2023, pp. 260–281.
[Published Version]
View
| Files available
| DOI
| WoS
M. Chalupa, F. Mühlböck, S. Muroya Lei, T.A. Henzinger, in:, Fundamental Approaches to Software Engineering, Springer Nature, 2023, pp. 260–281.
2023 | Published | Conference Paper | IST-REx-ID: 13120 |
Closure properties of general grammars - formally verified
M. Dvorak, J. Blanchette, in:, 14th International Conference on Interactive Theorem Proving, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
M. Dvorak, J. Blanchette, in:, 14th International Conference on Interactive Theorem Proving, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.