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.
566 Publications
2023 |
Published |
Journal Article |
IST-REx-ID: 13207 |
Boundary superconductivity in the BCS model
C. Hainzl, B. Roos, R. Seiringer, Journal of Spectral Theory 12 (2023) 1507–1540.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
C. Hainzl, B. Roos, R. Seiringer, Journal of Spectral Theory 12 (2023) 1507–1540.
2023 |
Published |
Conference Paper |
IST-REx-ID: 13262 |
Provably-efficient and internally-deterministic parallel Union-Find
A. Fedorov, D. Hashemi, G. Nadiradze, D.-A. Alistarh, in:, Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures, Association for Computing Machinery, 2023, pp. 261–271.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
A. Fedorov, D. Hashemi, G. Nadiradze, D.-A. Alistarh, in:, Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures, Association for Computing Machinery, 2023, pp. 261–271.
2023 |
Published |
Journal Article |
IST-REx-ID: 13274 |
Direct path from turbulence to time-periodic solutions
C.S. Paranjape, G. Yalniz, Y. Duguet, N.B. Budanur, B. Hof, Physical Review Letters 131 (2023).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
| arXiv
C.S. Paranjape, G. Yalniz, Y. Duguet, N.B. Budanur, B. Hof, Physical Review Letters 131 (2023).
2023 |
Published |
Thesis | PhD |
IST-REx-ID: 13286 |
Mesoscopic phenomena in hybrid semiconductor-superconductor nanodevices : From full-shell nanowires to two-dimensional hole gas in germanium
M. Valentini, Mesoscopic Phenomena in Hybrid Semiconductor-Superconductor Nanodevices : From Full-Shell Nanowires to Two-Dimensional Hole Gas in Germanium, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
M. Valentini, Mesoscopic Phenomena in Hybrid Semiconductor-Superconductor Nanodevices : From Full-Shell Nanowires to Two-Dimensional Hole Gas in Germanium, Institute of Science and Technology Austria, 2023.
2023 |
Published |
Conference Paper |
IST-REx-ID: 13292 |
Regular methods for operator precedence languages
T.A. Henzinger, P. Kebis, N.A. Mazzocchi, N.E. Sarac, in:, 50th International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023, p. 129:1--129:20.
[Published Version]
View
| Files available
| DOI
| arXiv
T.A. Henzinger, P. Kebis, N.A. Mazzocchi, N.E. Sarac, in:, 50th International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023, p. 129:1--129:20.
2023 |
Published |
Conference Paper |
IST-REx-ID: 13310 |
Monitoring algorithmic fairness
T.A. Henzinger, M. Karimi, K. Kueffner, K. Mallik, in:, Computer Aided Verification, Springer Nature, 2023, pp. 358–382.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
T.A. Henzinger, M. Karimi, K. Kueffner, K. Mallik, in:, Computer Aided Verification, Springer Nature, 2023, pp. 358–382.
2023 |
Published |
Journal Article |
IST-REx-ID: 13314 |
Chiral and nematic phases of flexible active filaments
Z. Dunajova, B. Prats Mateu, P. Radler, K. Lim, D. Brandis, P. Velicky, J.G. Danzl, R.W. Wong, J. Elgeti, E.B. Hannezo, M. Loose, Nature Physics 19 (2023) 1916–1926.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
Z. Dunajova, B. Prats Mateu, P. Radler, K. Lim, D. Brandis, P. Velicky, J.G. Danzl, R.W. Wong, J. Elgeti, E.B. Hannezo, M. Loose, Nature Physics 19 (2023) 1916–1926.
2023 |
Published |
Thesis | MS |
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 |
Thesis | PhD |
IST-REx-ID: 14058 |
The molecular basis of sexual dimorphism: Experimental and theoretical characterization of phenotypic, transcriptomic and genetic patterns of sex-specific adaptation
G. Puixeu Sala, 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, 2023.
[Published Version]
View
| Files available
| DOI
G. Puixeu Sala, 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, 2023.
2023 |
Published |
Journal Article |
IST-REx-ID: 14077 |
Sex-specific estimation of cis and trans regulation of gene expression in heads and gonads of Drosophila melanogaster
G. Puixeu Sala, A. Macon, B. Vicoso, G3: Genes, Genomes, Genetics 13 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
G. Puixeu Sala, A. Macon, B. Vicoso, G3: Genes, Genomes, Genetics 13 (2023).
2023 |
Published |
Journal Article |
IST-REx-ID: 14087 |
Spontaneous flows and dynamics of full-integer topological defects in polar active matter
J. Rønning, J.B. Renaud, A. Doostmohammadi, L. Angheluta, Soft Matter 39 (2023) 7513–7527.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
| arXiv
J. Rønning, J.B. Renaud, A. Doostmohammadi, L. Angheluta, Soft Matter 39 (2023) 7513–7527.
2023 |
Published |
Journal Article |
IST-REx-ID: 14261 |
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
J. Gamper, F. Kluibenschedl, A.K.H. Weiss, T.S. Hofer, Journal of Physical Chemistry Letters 14 (2023) 7395–7403.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
J. Gamper, F. Kluibenschedl, A.K.H. Weiss, T.S. Hofer, Journal of Physical Chemistry Letters 14 (2023) 7395–7403.
2023 |
Published |
Thesis | PhD |
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: 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 | PhD |
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 | PhD |
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 | PhD |
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 |
Published |
Thesis | PhD |
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.