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.
305 Publications
2023 | Published | Journal Article | IST-REx-ID: 14343 | 
Gaussian fluctuations in the equipartition principle for Wigner matrices
G. Cipolloni, L. Erdös, S.J. Henheik, O. Kolupaiev, Forum of Mathematics, Sigma 11 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
G. Cipolloni, L. Erdös, S.J. Henheik, O. Kolupaiev, Forum of Mathematics, Sigma 11 (2023).
2023 | Published | Thesis | IST-REx-ID: 14374 |
Boundary superconductivity in BCS theory
B. Roos, Boundary Superconductivity in BCS Theory, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
B. Roos, Boundary Superconductivity in BCS Theory, Institute of Science and Technology Austria, 2023.
2023 | Published | Journal Article | IST-REx-ID: 14421 |
Creation rate of Dirac particles at a point source
S.J. Henheik, R. Tumulka, Journal of Physics A: Mathematical and Theoretical 56 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
S.J. Henheik, R. Tumulka, Journal of Physics A: Mathematical and Theoretical 56 (2023).
2023 | Published | Journal Article | IST-REx-ID: 14425 |
Mechanistic insight on water dissociation on pristine low-index TiO2 surfaces from machine learning molecular dynamics simulations
Z. Zeng, F. Wodaczek, K. Liu, F. Stein, J. Hutter, J. Chen, B. Cheng, Nature Communications 14 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
| arXiv
Z. Zeng, F. Wodaczek, K. Liu, F. Stein, J. Hutter, J. Chen, B. Cheng, Nature Communications 14 (2023).
2023 | Published | Journal Article | IST-REx-ID: 14466 |
Dynamics and proliferation of turbulent stripes in plane-Poiseuille and plane-Couette flows
E. Marensi, G. Yalniz, B. Hof, Journal of Fluid Mechanics 974 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
E. Marensi, G. Yalniz, B. Hof, Journal of Fluid Mechanics 974 (2023).
2023 | Published | Conference Paper | IST-REx-ID: 14485 |
Brief announcement: BatchBoost: Universal batching for concurrent data structures
V. Aksenov, M. Anoprenko, A. Fedorov, M. Spear, in:, 37th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
[Published Version]
View
| Files available
| DOI
V. Aksenov, M. Anoprenko, A. Fedorov, M. Spear, in:, 37th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
2023 | Published | Thesis | IST-REx-ID: 14506 |
Advances in efficiency and privacy in payment channel network analysis
M.X. Yeo, Advances in Efficiency and Privacy in Payment Channel Network Analysis, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
M.X. Yeo, Advances in Efficiency and Privacy in Payment Channel Network Analysis, 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 | Thesis | IST-REx-ID: 14539 |
Automated verification and control of infinite state stochastic systems
D. Zikelic, Automated Verification and Control of Infinite State Stochastic Systems, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
D. Zikelic, Automated Verification and Control of Infinite State Stochastic Systems, Institute of Science and Technology Austria, 2023.
2023 | Epub ahead of print | Journal Article | IST-REx-ID: 14542 |
Universality in low-dimensional BCS theory
S.J. Henheik, A.B. Lauritsen, B. Roos, Reviews in Mathematical Physics (2023).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
S.J. Henheik, A.B. Lauritsen, B. Roos, Reviews in Mathematical Physics (2023).
2023 | Published | Thesis | IST-REx-ID: 14547 |
Resonant microwave spectroscopy of Al-InAs
D.T. Phan, Resonant Microwave Spectroscopy of Al-InAs, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
D.T. Phan, Resonant Microwave Spectroscopy of Al-InAs, Institute of Science and Technology Austria, 2023.
2023 | Published | Thesis | IST-REx-ID: 14587 |
Weak-strong stability and phase-field approximation of interface evolution problems in fluid mechanics and in material sciences
A. Marveggio, Weak-Strong Stability and Phase-Field Approximation of Interface Evolution Problems in Fluid Mechanics and in Material Sciences, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
A. Marveggio, Weak-Strong Stability and Phase-Field Approximation of Interface Evolution Problems in Fluid Mechanics and in Material Sciences, Institute of Science and Technology Austria, 2023.
2023 | Published | Journal Article | IST-REx-ID: 14628 |
Procedural metamaterials: A unified procedural graph for metamaterial design
L. Makatura, B. Wang, Y.-L. Chen, B. Deng, C. Wojtan, B. Bickel, W. Matusik, ACM Transactions on Graphics 42 (2023).
[Published Version]
View
| Files available
| DOI
L. Makatura, B. Wang, Y.-L. Chen, B. Deng, C. Wojtan, B. Bickel, W. Matusik, ACM Transactions on Graphics 42 (2023).
2023 | Published | Journal Article | IST-REx-ID: 12406 |
Density of the union of positive diagonal binary quadratic forms
Y. Diao, Acta Arithmetica 207 (2023) 1–17.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
Y. Diao, Acta Arithmetica 207 (2023) 1–17.
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
| 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 | Research Data | IST-REx-ID: 12497 |
Research data to: The rigid core and flexible surface of amyloid fibrils probed by magic-angle-spinning NMR spectroscopy of aromatic residues
L.M. Becker, P. Schanda, (2023).
[Published Version]
View
| Files available
| DOI
L.M. Becker, P. Schanda, (2023).
2023 | Published | Journal Article | IST-REx-ID: 12545 |
Wetting dynamics by mixtures of fast and slow self-propelled particles
M.N. Rojas Vega, P. De Castro, R. Soto, Physical Review E 107 (2023).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
M.N. Rojas Vega, P. De Castro, R. Soto, Physical Review E 107 (2023).
2023 | Published | Journal Article | IST-REx-ID: 12675 |
The rigid core and flexible surface of amyloid fibrils probed by Magic‐Angle Spinning NMR of aromatic residues
L.M. Becker, M. Berbon, A. Vallet, A. Grelard, E. Morvan, B. Bardiaux, R. Lichtenecker, M. Ernst, A. Loquet, P. Schanda, Angewandte Chemie International Edition 62 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
L.M. Becker, M. Berbon, A. Vallet, A. Grelard, E. Morvan, B. Bardiaux, R. Lichtenecker, M. Ernst, A. Loquet, P. Schanda, Angewandte Chemie International Edition 62 (2023).
2023 | Published | Conference Paper | IST-REx-ID: 12676 |
Faster algorithm for turn-based stochastic games with bounded treewidth
K. Chatterjee, T. Meggendorfer, R.J. Saona Urmeneta, J. Svoboda, in:, Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2023, pp. 4590–4605.
[Published Version]
View
| DOI
| Download Published Version (ext.)
K. Chatterjee, T. Meggendorfer, R.J. Saona Urmeneta, J. Svoboda, in:, Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2023, pp. 4590–4605.
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.)
| arXiv
G. Ivanov, S. Köse, Discrete Mathematics 346 (2023).