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.
231 Publications
2023 |
Published |
Journal Article |
IST-REx-ID: 13166 |
Vetrova AA, Kupaeva DM, Kizenko A, Lebedeva TS, Walentek P, Tsikolia N, Kremnyov SV. 2023. The evolutionary history of Brachyury genes in Hydrozoa involves duplications, divergence, and neofunctionalization. Scientific Reports. 13, 9382.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 |
Published |
Thesis | PhD |
IST-REx-ID: 13175 |
Sahu R. 2023. Cavity quantum electrooptics. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2023 |
Published |
Journal Article |
IST-REx-ID: 13207 |
Hainzl C, Roos B, Seiringer R. 2023. Boundary superconductivity in the BCS model. Journal of Spectral Theory. 12(4), 1507–1540.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 |
Published |
Conference Paper |
IST-REx-ID: 13221 |
Boker U, Henzinger TA, Mazzocchi NA, Sarac NE. 2023. Safety and liveness of quantitative automata. 34th International Conference on Concurrency Theory. CONCUR: Conference on Concurrency Theory, LIPIcs, vol. 279, 17.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 |
Published |
Conference Paper |
IST-REx-ID: 13262 |
Fedorov A, Hashemi D, Nadiradze G, Alistarh D-A. 2023. Provably-efficient and internally-deterministic parallel Union-Find. Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures. SPAA: Symposium on Parallelism in Algorithms and Architectures, 261–271.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 |
Published |
Journal Article |
IST-REx-ID: 13274 |
Paranjape CS, Yalniz G, Duguet Y, Budanur NB, Hof B. 2023. Direct path from turbulence to time-periodic solutions. Physical Review Letters. 131(3), 034002.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 |
Published |
Thesis | PhD |
IST-REx-ID: 13286 |
Valentini M. 2023. Mesoscopic phenomena in hybrid semiconductor-superconductor nanodevices : From full-shell nanowires to two-dimensional hole gas in germanium. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2023 |
Published |
Conference Paper |
IST-REx-ID: 13292 |
Henzinger TA, Kebis P, Mazzocchi NA, Sarac NE. 2023. Regular methods for operator precedence languages. 50th International Colloquium on Automata, Languages, and Programming. ICALP: International Colloquium on Automata, Languages, and Programming, LIPIcs, vol. 261, 129:1--129:20.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 |
Published |
Conference Paper |
IST-REx-ID: 13310 |
Henzinger TA, Karimi M, Kueffner K, Mallik K. 2023. Monitoring algorithmic fairness. Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 13965, 358–382.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 |
Published |
Journal Article |
IST-REx-ID: 13314 |
Dunajova Z, Prats Mateu B, Radler P, Lim K, Brandis D, Velicky P, Danzl JG, Wong RW, Elgeti J, Hannezo EB, Loose M. 2023. Chiral and nematic phases of flexible active filaments. Nature Physics. 19, 1916–1926.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2023 |
Published |
Thesis | MS |
IST-REx-ID: 13331 |
Köse S. 2023. Exterior algebra and combinatorics. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2023 |
Published |
Thesis | PhD |
IST-REx-ID: 13984
Franschitz A. 2023. Individual and social immunity against viral infections in ants. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2023 |
Published |
Journal Article |
IST-REx-ID: 14032 |
Mukhopadhyay S, Senior JL, Saez Mollejo J, Puglia D, Zemlicka M, Fink JM, Higginbotham AP. 2023. Superconductivity from a melted insulator in Josephson junction arrays. Nature Physics. 19, 1630–1635.
[Published Version]
View
| Files available
| DOI
| WoS
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
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
| arXiv
2023 |
Published |
Thesis | MS |
IST-REx-ID: 14226 |
Stephenson ER. 2023. Generalizing medial axes with homology switches. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
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
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 |
Thesis | PhD |
IST-REx-ID: 14280
Radler P. 2023. Spatiotemporal signaling during assembly of the bacterial divisome. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI