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, A. A., Kupaeva, D. M., Kizenko, A., Lebedeva, T. S., Walentek, P., Tsikolia, N., & Kremnyov, S. V. (2023). The evolutionary history of Brachyury genes in Hydrozoa involves duplications, divergence, and neofunctionalization. Scientific Reports. Springer Nature. https://doi.org/10.1038/s41598-023-35979-8
[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. https://doi.org/10.15479/at:ista:13175
[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. EMS Press. https://doi.org/10.4171/JST/439
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 |
Published |
Conference Paper |
IST-REx-ID: 13221 |
Boker, U., Henzinger, T. A., Mazzocchi, N. A., & Sarac, N. E. (2023). Safety and liveness of quantitative automata. In 34th International Conference on Concurrency Theory (Vol. 279). Antwerp, Belgium: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2023.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. In Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures (pp. 261–271). Orlando, FL, United States: Association for Computing Machinery. https://doi.org/10.1145/3558481.3591082
[Published Version]
View
| Files available
| DOI
| arXiv
2023 |
Published |
Journal Article |
IST-REx-ID: 13274 |
Paranjape, C. S., Yalniz, G., Duguet, Y., Budanur, N. B., & Hof, B. (2023). Direct path from turbulence to time-periodic solutions. Physical Review Letters. American Physical Society. https://doi.org/10.1103/physrevlett.131.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. https://doi.org/10.15479/at:ista:13286
[Published Version]
View
| Files available
| DOI
2023 |
Published |
Conference Paper |
IST-REx-ID: 13292 |
Henzinger, T. A., Kebis, P., Mazzocchi, N. A., & Sarac, N. E. (2023). Regular methods for operator precedence languages. In 50th International Colloquium on Automata, Languages, and Programming (Vol. 261, p. 129:1--129:20). Paderborn, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ICALP.2023.129
[Published Version]
View
| Files available
| DOI
| arXiv
2023 |
Published |
Conference Paper |
IST-REx-ID: 13310 |
Henzinger, T. A., Karimi, M., Kueffner, K., & Mallik, K. (2023). Monitoring algorithmic fairness. In Computer Aided Verification (Vol. 13965, pp. 358–382). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-37703-7_17
[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., … Loose, M. (2023). Chiral and nematic phases of flexible active filaments. Nature Physics. Springer Nature. https://doi.org/10.1038/s41567-023-02218-w
[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. https://doi.org/10.15479/at:ista:13331
[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. https://doi.org/10.15479/at:ista:13984
[Published Version]
View
| Files available
| DOI
2023 |
Published |
Journal Article |
IST-REx-ID: 14032 |
Mukhopadhyay, S., Senior, J. L., Saez Mollejo, J., Puglia, D., Zemlicka, M., Fink, J. M., & Higginbotham, A. P. (2023). Superconductivity from a melted insulator in Josephson junction arrays. Nature Physics. Springer Nature. https://doi.org/10.1038/s41567-023-02161-w
[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. https://doi.org/10.15479/at:ista:14058
[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. Oxford University Press. https://doi.org/10.1093/g3journal/jkad121
[Published Version]
View
| Files available
| DOI
| WoS
2023 |
Published |
Journal Article |
IST-REx-ID: 14087 |
Rønning, J., Renaud, J. B., Doostmohammadi, A., & Angheluta, L. (2023). Spontaneous flows and dynamics of full-integer topological defects in polar active matter. Soft Matter. Royal Society of Chemistry. https://doi.org/10.1039/d3sm00316g
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 |
Published |
Thesis | MS |
IST-REx-ID: 14226 |
Stephenson, E. R. (2023). Generalizing medial axes with homology switches. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:14226
[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. In 35th International Conference on Computer Aided Verification (Vol. 13964, pp. 156–169). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-37706-8_8
[Published Version]
View
| Files available
| DOI
2023 |
Published |
Journal Article |
IST-REx-ID: 14261 |
Gamper, J., Kluibenschedl, F., Weiss, A. K. H., & Hofer, T. S. (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. American Chemical Society. https://doi.org/10.1021/acs.jpclett.3c01707
[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. https://doi.org/10.15479/at:ista:14280
[Published Version]
View
| Files available
| DOI