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.
6134 Publications
2024 | Published | Conference Paper | IST-REx-ID: 17053 | 
Ternary simulation as abstract interpretation (Work in Progress)
N. Froleyks, E. Yu, A. Biere, in:, 27th Workshop on Methods and Description Languages for Modeling and Verification of Circuits and Systems, 2024, pp. 148–151.
[Submitted Version]
View
| Download Submitted Version (ext.)
N. Froleyks, E. Yu, A. Biere, in:, 27th Workshop on Methods and Description Languages for Modeling and Verification of Circuits and Systems, 2024, pp. 148–151.
2024 | Draft | Preprint | IST-REx-ID: 18677 |
Light-microscopy based dense connectomic reconstruction of mammalian brain tissue
M. Tavakoli, J. Lyudchik, M. Januszewski, V. Vistunou, N. Agudelo Duenas, J. Vorlaufer, C.M. Sommer, C. Kreuzinger, B. Oliveira, A. Cenameri, G. Novarino, V. Jain, J.G. Danzl, BioRxiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
M. Tavakoli, J. Lyudchik, M. Januszewski, V. Vistunou, N. Agudelo Duenas, J. Vorlaufer, C.M. Sommer, C. Kreuzinger, B. Oliveira, A. Cenameri, G. Novarino, V. Jain, J.G. Danzl, BioRxiv (n.d.).
2024 | Published | Thesis | IST-REx-ID: 17133 |
Superconducting qubits capable of dynamic switching between protected and high-speed control regimes
F. Hassani, Superconducting Qubits Capable of Dynamic Switching between Protected and High-Speed Control Regimes, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
F. Hassani, Superconducting Qubits Capable of Dynamic Switching between Protected and High-Speed Control Regimes, Institute of Science and Technology Austria, 2024.
2024 | Draft | Preprint | IST-REx-ID: 20701 |
Practical batch proofs of exponentiation
C. Hoffmann, P. Hubáček, S. Ivanova, Cryptology EPrint Archive (n.d.).
[Preprint]
View
| Files available
| Download Preprint (ext.)
C. Hoffmann, P. Hubáček, S. Ivanova, Cryptology EPrint Archive (n.d.).
2024 | Published | Journal Article | IST-REx-ID: 18307 |
Complex vaccination strategies prevent the emergence of vaccine resistance
S. Rella, Y.A. Kulikova, A. Minnegalieva, F. Kondrashov, Evolution: International Journal of Organic Evolution 78 (2024) 1722–1738.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
S. Rella, Y.A. Kulikova, A. Minnegalieva, F. Kondrashov, Evolution: International Journal of Organic Evolution 78 (2024) 1722–1738.
2024 | Published | Journal Article | IST-REx-ID: 17219 |
Multi-material mesh-based surface tracking with implicit topology changes
P. Synak, A. Kalinov, I.-M. Strugaru, A. Etemadi, H. Yang, C. Wojtan, ACM Transactions on Graphics 43 (2024).
[Published Version]
View
| Files available
| DOI
| WoS
P. Synak, A. Kalinov, I.-M. Strugaru, A. Etemadi, H. Yang, C. Wojtan, ACM Transactions on Graphics 43 (2024).
2024 | Published | Conference Paper | IST-REx-ID: 17236 |
A simpler and parallelizable O(√log n)-approximation algorithm for sparsest cut
V. Kolmogorov, in:, Proceedings of the 36th ACM Symposium on Parallelism in Algorithms and Architectures, Association for Computing Machinery, 2024, pp. 403–414.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
V. Kolmogorov, in:, Proceedings of the 36th ACM Symposium on Parallelism in Algorithms and Architectures, Association for Computing Machinery, 2024, pp. 403–414.
2024 | Published | Journal Article | IST-REx-ID: 18491 |
| 
|
Predicting rapid adaptation in time from adaptation in space: A 30-year field experiment in marine snails
D.F. Garcia Castillo, N.H. Barton, R. Faria, J. Larsson, S. Stankowski, R. Butlin, K. Johannesson, A.M. Westram, Science Advances 10 (2024).
[Published Version]
View
| Files available
| DOI
| WoS
D.F. Garcia Castillo, N.H. Barton, R. Faria, J. Larsson, S. Stankowski, R. Butlin, K. Johannesson, A.M. Westram, Science Advances 10 (2024).
2024 | Research Data Reference | IST-REx-ID: 18498 |
Data and code for: Predicting rapid adaptation in time from adaptation in space: a 30-year field experiment in marine snails
D.F. Garcia Castillo, N.H. Barton, R. Faria, J. Larsson, S. Stankowski, R. Butlin, K. Johannesson, A.M. Westram, (2024).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
D.F. Garcia Castillo, N.H. Barton, R. Faria, J. Larsson, S. Stankowski, R. Butlin, K. Johannesson, A.M. Westram, (2024).
2024 | Published | Thesis | IST-REx-ID: 17206 |
Novel approaches to studying alternative splicing in Drosophila Melanogaster : Insights into sex-specific gene expression and the evolution of sex determination
J. Raices, 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, 2024.
[Published Version]
View
| Files available
| DOI
J. Raices, 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, 2024.
2024 | Published | Journal Article | IST-REx-ID: 15084 |
GABAB receptors induce phasic release from medial habenula terminals through activity-dependent recruitment of release-ready vesicles
P. Koppensteiner, P. Bhandari, C. Önal, C. Borges Merjane, E. Le Monnier, U. Roy, Y. Nakamura, T. Sadakata, M. Sanbo, M. Hirabayashi, J. Rhee, N. Brose, P.M. Jonas, R. Shigemoto, Proceedings of the National Academy of Sciences of the United States of America 121 (2024).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
P. Koppensteiner, P. Bhandari, C. Önal, C. Borges Merjane, E. Le Monnier, U. Roy, Y. Nakamura, T. Sadakata, M. Sanbo, M. Hirabayashi, J. Rhee, N. Brose, P.M. Jonas, R. Shigemoto, Proceedings of the National Academy of Sciences of the United States of America 121 (2024).
2024 | Published | Thesis | IST-REx-ID: 17368 |
Bayesian linear regression for analyzing general omics data with time-to-event phenotypes
A. Villanueva Marijuan, Bayesian Linear Regression for Analyzing General Omics Data with Time-to-Event Phenotypes, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
A. Villanueva Marijuan, Bayesian Linear Regression for Analyzing General Omics Data with Time-to-Event Phenotypes, Institute of Science and Technology Austria, 2024.
2024 | Published | Thesis | IST-REx-ID: 17881 |
Thermal effects in one dimensional Josephson chains
S. Mukhopadhyay, Thermal Effects in One Dimensional Josephson Chains, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
S. Mukhopadhyay, Thermal Effects in One Dimensional Josephson Chains, Institute of Science and Technology Austria, 2024.
2024 | Published | Thesis | IST-REx-ID: 18471 |
Visualizing the neuronal transcriptional landscape with tissue context
N. Agudelo Duenas, Visualizing the Neuronal Transcriptional Landscape with Tissue Context, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
N. Agudelo Duenas, Visualizing the Neuronal Transcriptional Landscape with Tissue Context, Institute of Science and Technology Austria, 2024.
2024 | Draft | Preprint | IST-REx-ID: 18057 |
Dual relaxation oscillations in a Josephson junction array
S. Mukhopadhyay, D.A. Lancheros Naranjo, J.L. Senior, A.P. Higginbotham, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
S. Mukhopadhyay, D.A. Lancheros Naranjo, J.L. Senior, A.P. Higginbotham, ArXiv (n.d.).
2024 | Published | Thesis | IST-REx-ID: 15352 |
Investigating acute microglia response to seizure activity in vivo: Combining 2-Photon imaging and EEG recording
J.S. Murmann, Investigating Acute Microglia Response to Seizure Activity in Vivo: Combining 2-Photon Imaging and EEG Recording, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
J.S. Murmann, Investigating Acute Microglia Response to Seizure Activity in Vivo: Combining 2-Photon Imaging and EEG Recording, Institute of Science and Technology Austria, 2024.
2024 | Published | Thesis | IST-REx-ID: 17319 |
Membrane proteins in plant physiology and bioenergetics : Investigating auxin efflux transporter PIN8 and ATP synthase inhibition by the novel inhibitor Yaku'amide B
K. Lukic, 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, 2024.
[Published Version]
View
| Files available
| DOI
K. Lukic, 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, 2024.
2024 | Published | Thesis | IST-REx-ID: 18101 |
Structural characterization of spumavirus capsid assemblies
D. Porley Esteves, Structural Characterization of Spumavirus Capsid Assemblies, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
D. Porley Esteves, Structural Characterization of Spumavirus Capsid Assemblies, Institute of Science and Technology Austria, 2024.
2024 | Published | Thesis | IST-REx-ID: 17346 |
Stability and change in the memory system during rest
L. Bollmann, Stability and Change in the Memory System during Rest, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
L. Bollmann, Stability and Change in the Memory System during Rest, Institute of Science and Technology Austria, 2024.
2024 | Published | Thesis | IST-REx-ID: 17119 |
Characterizing the sequence and expression evolution of the t-haplotype, a model meiotic driver
R.K. Kelemen, Characterizing the Sequence and Expression Evolution of the T-Haplotype, a Model Meiotic Driver, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
R.K. Kelemen, Characterizing the Sequence and Expression Evolution of the T-Haplotype, a Model Meiotic Driver, Institute of Science and Technology Austria, 2024.