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.
342 Publications
2024 | Published | Thesis | IST-REx-ID: 17319 | 
Lukic K. 2024. Membrane proteins in plant physiology and bioenergetics: Investigating auxin efflux transporter PIN8 and ATP synthase inhibition by the novel inhibitor Yaku’amide B. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2024 | Published | Thesis | 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 | 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 | IST-REx-ID: 17119 |
Kelemen RK. 2024. Characterizing the sequence and expression evolution of the t-haplotype, a model meiotic driver. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2024 | Published | Thesis | IST-REx-ID: 18101 |
Porley Esteves D. 2024. Structural characterization of spumavirus capsid assemblies. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2024 | Published | Thesis | IST-REx-ID: 14821 |
Chiossi HSC. 2024. Adaptive hierarchical representations in the hippocampus. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 12521 |
Mrnjavac A, Khudiakova K, Barton NH, Vicoso B. 2023. Slower-X: Reduced efficiency of selection in the early stages of X chromosome evolution. Evolution Letters. 7(1), qrac004.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Conference Poster | IST-REx-ID: 15292 |
Chen Y-L, Ly M, Wojtan C. 2023. Unified treatment of contact, friction and shock-propagation in rigid body animation, ACM,p.
View
| Files available
| DOI
2023 | Published | Thesis | 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
2023 | Published | Thesis | 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 | Journal Article | IST-REx-ID: 13128 |
Mohammadi A, Pham T, Wang Y. 2023. An energy decomposition theorem for matrices and related questions. Canadian Mathematical Bulletin. 66(4), 1280–1295.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 13138 |
Orlov P, Tiutiakina A, Sharipov R, Petrova E, Gritsev V, Kurlov DV. 2023. Adiabatic eigenstate deformations and weak integrability breaking of Heisenberg chain. Physical Review B. 107(18), 184312.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
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 | 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 | 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