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.
467 Publications
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 17346 |
Bollmann L. 2024. Stability and change in the memory system during rest. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2024 |
Published |
Thesis | MS |
IST-REx-ID: 17368 |
Villanueva Marijuan A. 2024. Bayesian linear regression for analyzing general omics data with time-to-event phenotypes. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 17465 |
Shevchenko A. 2024. High-dimensional limits in artificial neural networks. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2024 |
Draft |
Preprint |
IST-REx-ID: 20071 |
Dvorak M, Kolmogorov V. Duality theory in linear optimization and its extensions -- formally verified. arXiv, 2409.08119.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2023 |
Published |
Thesis | PhD |
IST-REx-ID: 14058 |
Puixeu Sala G. 2023. The molecular basis of sexual dimorphism: Experimental and theoretical characterization of phenotypic, transcriptomic and genetic patterns of sex-specific adaptation. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2023 |
Published |
Journal Article |
IST-REx-ID: 14077 |
Puixeu Sala G, Macon A, Vicoso B. 2023. Sex-specific estimation of cis and trans regulation of gene expression in heads and gonads of Drosophila melanogaster. G3: Genes, Genomes, Genetics. 13(8).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 |
Published |
Journal Article |
IST-REx-ID: 14087 |
Rønning J, Renaud JB, Doostmohammadi A, Angheluta L. 2023. Spontaneous flows and dynamics of full-integer topological defects in polar active matter. Soft Matter. 39, 7513–7527.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
| arXiv
2023 |
Published |
Conference Paper |
IST-REx-ID: 14260 |
Koval N, Fedorov A, Sokolova M, Tsitelov D, Alistarh D-A. 2023. Lincheck: A practical framework for testing concurrent data structures on JVM. 35th International Conference on Computer Aided Verification . CAV: Computer Aided Verification, LNCS, vol. 13964, 156–169.
[Published Version]
View
| Files available
| DOI
| WoS
2023 |
Published |
Journal Article |
IST-REx-ID: 14261 |
Gamper J, Kluibenschedl F, Weiss AKH, Hofer TS. 2023. Accessing position space wave functions in band structure calculations of periodic systems - a generalized, adapted numerov implementation for one-, two-, and three-dimensional quantum problems. Journal of Physical Chemistry Letters. 14(33), 7395–7403.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 |
Published |
Journal Article |
IST-REx-ID: 14343 |
Cipolloni G, Erdös L, Henheik SJ, Kolupaiev O. 2023. Gaussian fluctuations in the equipartition principle for Wigner matrices. Forum of Mathematics, Sigma. 11, e74.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 |
Published |
Thesis | PhD |
IST-REx-ID: 14374 |
Roos B. 2023. Boundary superconductivity in BCS theory. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2023 |
Published |
Journal Article |
IST-REx-ID: 14421 |
Henheik SJ, Tumulka R. 2023. Creation rate of Dirac particles at a point source. Journal of Physics A: Mathematical and Theoretical. 56(44), 445201.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 |
Published |
Journal Article |
IST-REx-ID: 14425 |
Zeng Z, Wodaczek F, Liu K, Stein F, Hutter J, Chen J, Cheng B. 2023. Mechanistic insight on water dissociation on pristine low-index TiO2 surfaces from machine learning molecular dynamics simulations. Nature Communications. 14, 6131.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
| arXiv
2023 |
Published |
Journal Article |
IST-REx-ID: 14466 |
Marensi E, Yalniz G, Hof B. 2023. Dynamics and proliferation of turbulent stripes in plane-Poiseuille and plane-Couette flows. Journal of Fluid Mechanics. 974, A21.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 |
Published |
Conference Paper |
IST-REx-ID: 14485 |
Aksenov V, Anoprenko M, Fedorov A, Spear M. 2023. Brief announcement: BatchBoost: Universal batching for concurrent data structures. 37th International Symposium on Distributed Computing. DISC: Symposium on Distributed Computing, LIPIcs, vol. 281, 35.
[Published Version]
View
| Files available
| DOI
2023 |
Published |
Thesis | PhD |
IST-REx-ID: 14506 |
Yeo MX. 2023. Advances in efficiency and privacy in payment channel network analysis. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2023 |
Published |
Thesis | PhD |
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 |
Thesis | PhD |
IST-REx-ID: 14539 |
Zikelic D. 2023. Automated verification and control of infinite state stochastic systems. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2023 |
Published |
Thesis | PhD |
IST-REx-ID: 14547 |
Phan DT. 2023. Resonant microwave spectroscopy of Al-InAs. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2023 |
Published |
Thesis | PhD |
IST-REx-ID: 14587 |
Marveggio A. 2023. Weak-strong stability and phase-field approximation of interface evolution problems in fluid mechanics and in material sciences. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI