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.
439 Publications
2024 |
Published |
Conference Paper |
IST-REx-ID: 17634 |
QuAK: Quantitative Automata Kit
M. Chalupa, T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Springer Nature, 2024, pp. 3–20.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
M. Chalupa, T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Springer Nature, 2024, pp. 3–20.
2024 |
Draft |
Preprint |
IST-REx-ID: 20071 |
Duality theory in linear optimization and its extensions -- formally verified
M. Dvorak, V. Kolmogorov, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
M. Dvorak, V. Kolmogorov, ArXiv (n.d.).
2024 |
Published |
Thesis | PhD |
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 | PhD |
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 | PhD |
IST-REx-ID: 18129 |
Strong charge-photon coupling in Germanium enabled by granular aluminium superinductors
M. Janik, Strong Charge-Photon Coupling in Germanium Enabled by Granular Aluminium Superinductors, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
M. Janik, Strong Charge-Photon Coupling in Germanium Enabled by Granular Aluminium Superinductors, Institute of Science and Technology Austria, 2024.
2024 |
Published |
Thesis | PhD |
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 | PhD |
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: 18144 |
Strong charge-photon coupling in planar germanium enabled by granular aluminium superinductors
M. Janik, K.E.R. Roux, C.N. Borja Espinosa, O. Sagi, A. Baghdadi, T. Adletzberger, S. Calcaterra, M. Botifoll, A.G. Manjón, J. Arbiol, D. Chrastina, G. Isella, I.M. Pop, G. Katsaros, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
M. Janik, K.E.R. Roux, C.N. Borja Espinosa, O. Sagi, A. Baghdadi, T. Adletzberger, S. Calcaterra, M. Botifoll, A.G. Manjón, J. Arbiol, D. Chrastina, G. Isella, I.M. Pop, G. Katsaros, ArXiv (n.d.).
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 18104 |
Everyday electromechanics: Capacitive strong coupling to mechanical motion
D. Puglia, Everyday Electromechanics: Capacitive Strong Coupling to Mechanical Motion, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
D. Puglia, Everyday Electromechanics: Capacitive Strong Coupling to Mechanical Motion, 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 | PhD |
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 | PhD |
IST-REx-ID: 18531 |
Early stages of sex chromosome evolution
A. Mrnjavac, Early Stages of Sex Chromosome Evolution, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
A. Mrnjavac, Early Stages of Sex Chromosome Evolution, Institute of Science and Technology Austria, 2024.
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 18661 |
Archaeal membranes : In silico modelling and design
M. Santana de Freitas Amaral, Archaeal Membranes : In Silico Modelling and Design, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
M. Santana de Freitas Amaral, Archaeal Membranes : In Silico Modelling and Design, Institute of Science and Technology Austria, 2024.
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 18642 |
Algorithms for causal learning and comparative analysis for genomic data
N.N. Machnik, Algorithms for Causal Learning and Comparative Analysis for Genomic Data, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
N.N. Machnik, Algorithms for Causal Learning and Comparative Analysis for Genomic Data, Institute of Science and Technology Austria, 2024.
2024 |
Published |
Journal Article |
IST-REx-ID: 14796 |
The genetic basis of a recent transition to live-bearing in marine snails
S. Stankowski, Z.B. Zagrodzka, M.D. Garlovsky, A. Pal, D. Shipilina, D.F. Garcia Castillo, H. Lifchitz, A. Le Moan, E. Leder, J. Reeve, K. Johannesson, A.M. Westram, R.K. Butlin, Science 383 (2024) 114–119.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
S. Stankowski, Z.B. Zagrodzka, M.D. Garlovsky, A. Pal, D. Shipilina, D.F. Garcia Castillo, H. Lifchitz, A. Le Moan, E. Leder, J. Reeve, K. Johannesson, A.M. Westram, R.K. Butlin, Science 383 (2024) 114–119.
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 | PhD |
IST-REx-ID: 14821 |
Adaptive hierarchical representations in the hippocampus
H.S.C. Chiossi, Adaptive Hierarchical Representations in the Hippocampus, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
H.S.C. Chiossi, Adaptive Hierarchical Representations in the Hippocampus, Institute of Science and Technology Austria, 2024.
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 15101 |
Developmental transformation of nanodomain coupling between Ca2+ channels and release sensors at a central GABAergic synapse
J. Chen, Developmental Transformation of Nanodomain Coupling between Ca2+ Channels and Release Sensors at a Central GABAergic Synapse, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
J. Chen, Developmental Transformation of Nanodomain Coupling between Ca2+ Channels and Release Sensors at a Central GABAergic Synapse, Institute of Science and Technology Austria, 2024.