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.
6133 Publications
2024 | Published | Conference Paper | IST-REx-ID: 17053 | 
Froleyks N, Yu E, Biere A. 2024. Ternary simulation as abstract interpretation (Work in Progress). 27th Workshop on Methods and Description Languages for Modeling and Verification of Circuits and Systems. MBMV: Methods and Description Languages for Modeling and Verification of Circuits and Systems, 148–151.
[Submitted Version]
View
| Download Submitted Version (ext.)
2024 | Draft | Preprint | IST-REx-ID: 18677 |
Tavakoli M, Lyudchik J, Januszewski M, Vistunou V, Agudelo Duenas N, Vorlaufer J, Sommer CM, Kreuzinger C, Oliveira B, Cenameri A, Novarino G, Jain V, Danzl JG. Light-microscopy based dense connectomic reconstruction of mammalian brain tissue. bioRxiv, 10.1101/2024.03.01.582884.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2024 | Published | Thesis | IST-REx-ID: 17133 |
Hassani F. 2024. Superconducting qubits capable of dynamic switching between protected and high-speed control regimes. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2024 | Draft | Preprint | IST-REx-ID: 20701 |
Hoffmann C, Hubáček P, Ivanova S. Practical batch proofs of exponentiation. Cryptology ePrint Archive, 2024/145.
[Preprint]
View
| Files available
| Download Preprint (ext.)
2024 | Published | Journal Article | IST-REx-ID: 18307 |
Rella S, Kulikova YA, Minnegalieva A, Kondrashov F. 2024. Complex vaccination strategies prevent the emergence of vaccine resistance. Evolution: International journal of organic evolution. 78(10), 1722–1738.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2024 | Published | Journal Article | IST-REx-ID: 17219 |
Synak P, Kalinov A, Strugaru I-M, Etemadi A, Yang H, Wojtan C. 2024. Multi-material mesh-based surface tracking with implicit topology changes. ACM Transactions on Graphics. 43(4), 54.
[Published Version]
View
| Files available
| DOI
| WoS
2024 | Published | Conference Paper | IST-REx-ID: 17236 |
Kolmogorov V. 2024. A simpler and parallelizable O(√log n)-approximation algorithm for sparsest cut. Proceedings of the 36th ACM Symposium on Parallelism in Algorithms and Architectures. SPAA: Symposium on Parallelism in Algorithms and Architectures, 403–414.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 18491 |
| 
|
Garcia Castillo DF, Barton NH, Faria R, Larsson J, Stankowski S, Butlin R, Johannesson K, Westram AM. 2024. Predicting rapid adaptation in time from adaptation in space: A 30-year field experiment in marine snails. Science Advances. 10(41), eadp2102.
[Published Version]
View
| Files available
| DOI
| WoS
2024 | Research Data Reference | IST-REx-ID: 18498 |
Garcia Castillo DF, Barton NH, Faria R, Larsson J, Stankowski S, Butlin R, Johannesson K, Westram AM. 2024. Data and code for: Predicting rapid adaptation in time from adaptation in space: a 30-year field experiment in marine snails, Zenodo, 10.5281/ZENODO.12159343.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2024 | Published | Thesis | IST-REx-ID: 17206 |
Raices J. 2024. Novel approaches to studying alternative splicing in Drosophila Melanogaster : Insights into sex-specific gene expression and the evolution of sex determination. 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: 17881 |
Mukhopadhyay S. 2024. Thermal effects in one dimensional Josephson chains. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2024 | Published | Thesis | IST-REx-ID: 18471 |
Agudelo Duenas N. 2024. Visualizing the neuronal transcriptional landscape with tissue context. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2024 | Draft | Preprint | IST-REx-ID: 18057 |
Mukhopadhyay S, Lancheros Naranjo DA, Senior JL, Higginbotham AP. Dual relaxation oscillations in a Josephson junction array. arXiv, 2408.07829.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Published | Thesis | IST-REx-ID: 15352 |
Murmann JS. 2024. Investigating acute microglia response to seizure activity in vivo: Combining 2-Photon imaging and EEG recording. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
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: 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: 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: 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: 14821 |
Chiossi HSC. 2024. Adaptive hierarchical representations in the hippocampus. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI