Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
11107 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 | 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 | Epub ahead of print | Journal Article | IST-REx-ID: 18706 |
Discrete-to-continuum limits of optimal transport with linear growth on periodic graphs
L. Portinale, F. Quattrocchi, European Journal of Applied Mathematics (2024) 1–29.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
L. Portinale, F. Quattrocchi, European Journal of Applied Mathematics (2024) 1–29.
2024 | Draft | Preprint | IST-REx-ID: 20571 |
Variational structures for the Fokker-Planck equation with general Dirichlet boundary conditions
F. Quattrocchi, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
F. Quattrocchi, ArXiv (n.d.).
2024 | Draft | Preprint | IST-REx-ID: 20570 |
Asymptotics for optimal empirical quantization of measures
F. Quattrocchi, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
F. Quattrocchi, ArXiv (n.d.).
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: 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 | 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 | 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: 18574 |
Visual adaptations to natural statistics
D. Gupta, Visual Adaptations to Natural Statistics, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
D. Gupta, Visual Adaptations to Natural Statistics, Institute of Science and Technology Austria, 2024.
2024 | Published | Thesis | IST-REx-ID: 18477 |
Biochemical and structural insights into ADAR1 RNA editing
B.M. Kaczmarek, Biochemical and Structural Insights into ADAR1 RNA Editing, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
B.M. Kaczmarek, Biochemical and Structural Insights into ADAR1 RNA Editing, Institute of Science and Technology Austria, 2024.
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.