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.
351 Publications
2022 | Published | Conference Paper | IST-REx-ID: 11476 | 
CoCoA: Concurrent continuous group key agreement
J. Alwen, B. Auerbach, M. Cueto Noval, K. Klein, G. Pascual Perez, K.Z. Pietrzak, M. Walter, in:, Advances in Cryptology – EUROCRYPT 2022, Springer Nature, Cham, 2022, pp. 815–844.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
J. Alwen, B. Auerbach, M. Cueto Noval, K. Klein, G. Pascual Perez, K.Z. Pietrzak, M. Walter, in:, Advances in Cryptology – EUROCRYPT 2022, Springer Nature, Cham, 2022, pp. 815–844.
2022 | Published | Conference Paper | IST-REx-ID: 12102 |
Algorithms and hardness results for computing cores of Markov chains
A. Ahmadi, K. Chatterjee, A.K. Goharshady, T. Meggendorfer, R. Safavi Hemami, D. Zikelic, in:, 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022.
[Published Version]
View
| Files available
| DOI
A. Ahmadi, K. Chatterjee, A.K. Goharshady, T. Meggendorfer, R. Safavi Hemami, D. Zikelic, in:, 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022.
2022 | Draft | Preprint | IST-REx-ID: 12750 |
Hilbert space fragmentation and slow dynamics in particle-conserving quantum East models
P. Brighi, M. Ljubotina, M. Serbyn, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
P. Brighi, M. Ljubotina, M. Serbyn, ArXiv (n.d.).
2022 | Published | Journal Article | IST-REx-ID: 10850 |
Two-particle bound states at interfaces and corners
B. Roos, R. Seiringer, Journal of Functional Analysis 282 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
B. Roos, R. Seiringer, Journal of Functional Analysis 282 (2022).
2022 | Published | Journal Article | IST-REx-ID: 11411 |
Effects of fine-scale population structure on the distribution of heterozygosity in a long-term study of Antirrhinum majus
P. Surendranadh, L.S. Arathoon, C. Baskett, D. Field, M. Pickup, N.H. Barton, Genetics 221 (2022).
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
P. Surendranadh, L.S. Arathoon, C. Baskett, D. Field, M. Pickup, N.H. Barton, Genetics 221 (2022).
2022 | Published | Thesis | IST-REx-ID: 10759 |
Analytic and machine learning approaches to composite quantum impurities
W. Rzadkowski, Analytic and Machine Learning Approaches to Composite Quantum Impurities, Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
W. Rzadkowski, Analytic and Machine Learning Approaches to Composite Quantum Impurities, Institute of Science and Technology Austria, 2022.
2022 | Published | Thesis | IST-REx-ID: 11932 |
On the encoding, transfer, and consolidation of spatial memories
M. Nardin, On the Encoding, Transfer, and Consolidation of Spatial Memories, Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
M. Nardin, On the Encoding, Transfer, and Consolidation of Spatial Memories, Institute of Science and Technology Austria, 2022.
2022 | Published | Thesis | IST-REx-ID: 11193 |
Transcriptional regulation by Dfos and BMP-signaling support tissue invasion of Drosophila immune cells
S. Wachner, Transcriptional Regulation by Dfos and BMP-Signaling Support Tissue Invasion of Drosophila Immune Cells, Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
S. Wachner, Transcriptional Regulation by Dfos and BMP-Signaling Support Tissue Invasion of Drosophila Immune Cells, Institute of Science and Technology Austria, 2022.
2022 | Published | Thesis | IST-REx-ID: 12366 |
Controllable states of superconducting Qubit ensembles
E. Redchenko, Controllable States of Superconducting Qubit Ensembles, Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
E. Redchenko, Controllable States of Superconducting Qubit Ensembles, Institute of Science and Technology Austria, 2022.
2022 | Published | Thesis | IST-REx-ID: 12378 |
MorphOMICs, a tool for mapping microglial morphology, reveals brain region- and sex-dependent phenotypes
G. Colombo, MorphOMICs, a Tool for Mapping Microglial Morphology, Reveals Brain Region- and Sex-Dependent Phenotypes, Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
G. Colombo, MorphOMICs, a Tool for Mapping Microglial Morphology, Reveals Brain Region- and Sex-Dependent Phenotypes, Institute of Science and Technology Austria, 2022.
2022 | Published | Thesis | IST-REx-ID: 11196 |
Nanoarchitecture of hippocampal mossy fiber-CA3 pyramidal neuron synapses
O. Kim, Nanoarchitecture of Hippocampal Mossy Fiber-CA3 Pyramidal Neuron Synapses, Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
O. Kim, Nanoarchitecture of Hippocampal Mossy Fiber-CA3 Pyramidal Neuron Synapses, Institute of Science and Technology Austria, 2022.
2022 | Published | Thesis | IST-REx-ID: 11388 |
The genetic basis of complex traits studied via analysis of evolve and resequence experiments
S. Belohlavy, The Genetic Basis of Complex Traits Studied via Analysis of Evolve and Resequence Experiments, Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
S. Belohlavy, The Genetic Basis of Complex Traits Studied via Analysis of Evolve and Resequence Experiments, Institute of Science and Technology Austria, 2022.
2022 | Published | Thesis | IST-REx-ID: 12401 |
Role of microenvironment heterogeneity in cancer cell invasion
S. Tasciyan, Role of Microenvironment Heterogeneity in Cancer Cell Invasion, Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
S. Tasciyan, Role of Microenvironment Heterogeneity in Cancer Cell Invasion, Institute of Science and Technology Austria, 2022.
2022 | Published | Thesis | IST-REx-ID: 10727 |
Pathogen-mediated sexual selection and immunization in ant colonies
S. Metzler, Pathogen-Mediated Sexual Selection and Immunization in Ant Colonies, Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
S. Metzler, Pathogen-Mediated Sexual Selection and Immunization in Ant Colonies, Institute of Science and Technology Austria, 2022.
2022 | Published | Thesis | IST-REx-ID: 11879 |
Modulation of auxin transport via ZF proteins adjust plant response to high ambient temperature
C. Artner, Modulation of Auxin Transport via ZF Proteins Adjust Plant Response to High Ambient Temperature, Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
C. Artner, Modulation of Auxin Transport via ZF Proteins Adjust Plant Response to High Ambient Temperature, Institute of Science and Technology Austria, 2022.
2022 | Published | Thesis | IST-REx-ID: 12364 |
Transcriptional consequences of mutations in genes associated with Autism Spectrum Disorder
C. Dotter, Transcriptional Consequences of Mutations in Genes Associated with Autism Spectrum Disorder, Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
C. Dotter, Transcriptional Consequences of Mutations in Genes Associated with Autism Spectrum Disorder, Institute of Science and Technology Austria, 2022.
2022 | Published | Thesis | IST-REx-ID: 11393 |
Contextual fear learning induced changes in AMPA receptor subtypes along the proximodistal axis in dorsal hippocampus
M. Jevtic, Contextual Fear Learning Induced Changes in AMPA Receptor Subtypes along the Proximodistal Axis in Dorsal Hippocampus, Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
M. Jevtic, Contextual Fear Learning Induced Changes in AMPA Receptor Subtypes along the Proximodistal Axis in Dorsal Hippocampus, Institute of Science and Technology Austria, 2022.
2022 | Published | Conference Paper | IST-REx-ID: 11775 |
Abstract monitors for quantitative specifications
T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 22nd International Conference on Runtime Verification, Springer Nature, 2022, pp. 200–220.
[Published Version]
View
| Files available
| DOI
| WoS
T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 22nd International Conference on Runtime Verification, Springer Nature, 2022, pp. 200–220.
2021 | Submitted | Preprint | IST-REx-ID: 14278 |
Local strong Birkhoff conjecture and local spectral rigidity of almost every ellipse
I. Koval, ArXiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
I. Koval, ArXiv (n.d.).
2021 | Published | Thesis | IST-REx-ID: 10422 |
Towards designer materials using customizable particle shape
A. Piankov, Towards Designer Materials Using Customizable Particle Shape, Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
A. Piankov, Towards Designer Materials Using Customizable Particle Shape, Institute of Science and Technology Austria, 2021.