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.
6293 Publications
2023 |
Published |
Conference Paper |
IST-REx-ID: 13120 |
Closure properties of general grammars - formally verified
M. Dvorak, J. Blanchette, in:, 14th International Conference on Interactive Theorem Proving, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
M. Dvorak, J. Blanchette, in:, 14th International Conference on Interactive Theorem Proving, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
2023 |
Research Data |
IST-REx-ID: 13116 |
Chiral and nematic phases of flexible active filaments
Z. Dunajova, B. Prats Mateu, P. Radler, K. Lim, D. Brandis, P. Velicky, J.G. Danzl, R.W. Wong, J. Elgeti, E.B. Hannezo, M. Loose, (2023).
[Published Version]
View
| Files available
| DOI
Z. Dunajova, B. Prats Mateu, P. Radler, K. Lim, D. Brandis, P. Velicky, J.G. Danzl, R.W. Wong, J. Elgeti, E.B. Hannezo, M. Loose, (2023).
2023 |
Published |
Journal Article |
IST-REx-ID: 13314 |
Chiral and nematic phases of flexible active filaments
Z. Dunajova, B. Prats Mateu, P. Radler, K. Lim, D. Brandis, P. Velicky, J.G. Danzl, R.W. Wong, J. Elgeti, E.B. Hannezo, M. Loose, Nature Physics 19 (2023) 1916–1926.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
Z. Dunajova, B. Prats Mateu, P. Radler, K. Lim, D. Brandis, P. Velicky, J.G. Danzl, R.W. Wong, J. Elgeti, E.B. Hannezo, M. Loose, Nature Physics 19 (2023) 1916–1926.
2023 |
Published |
Thesis | PhD |
IST-REx-ID: 13984 |
Individual and social immunity against viral infections in ants
A. Franschitz, Individual and Social Immunity against Viral Infections in Ants, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
A. Franschitz, Individual and Social Immunity against Viral Infections in Ants, Institute of Science and Technology Austria, 2023.
2023 |
Published |
Thesis | PhD |
IST-REx-ID: 14280 |
Spatiotemporal signaling during assembly of the bacterial divisome
P. Radler, Spatiotemporal Signaling during Assembly of the Bacterial Divisome, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
P. Radler, Spatiotemporal Signaling during Assembly of the Bacterial Divisome, Institute of Science and Technology Austria, 2023.
2023 |
Published |
Thesis | PhD |
IST-REx-ID: 14422 |
Synapseek: Meta-learning synaptic plasticity rules
B.J. Confavreux, Synapseek: Meta-Learning Synaptic Plasticity Rules, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
B.J. Confavreux, Synapseek: Meta-Learning Synaptic Plasticity Rules, Institute of Science and Technology Austria, 2023.
2023 |
Published |
Thesis | PhD |
IST-REx-ID: 14622 |
Improving variational quantum algorithms : Innovative initialization techniques and extensions to qudit systems
S. Sack, Improving Variational Quantum Algorithms : Innovative Initialization Techniques and Extensions to Qudit Systems, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
S. Sack, Improving Variational Quantum Algorithms : Innovative Initialization Techniques and Extensions to Qudit Systems, Institute of Science and Technology Austria, 2023.
2023 |
Published |
Thesis | PhD |
IST-REx-ID: 14323 |
Regulation of neural progenitor survival by Shh and BMP in the developing spinal cord
K. Kuzmicz-Kowalska, Regulation of Neural Progenitor Survival by Shh and BMP in the Developing Spinal Cord, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
K. Kuzmicz-Kowalska, Regulation of Neural Progenitor Survival by Shh and BMP in the Developing Spinal Cord, Institute of Science and Technology Austria, 2023.
2023 |
Published |
Journal Article |
IST-REx-ID: 13125 |
Recursive greedy initialization of the quantum approximate optimization algorithm with guaranteed improvement
S. Sack, R.A. Medina Ramos, R. Kueng, M. Serbyn, Physical Review A 107 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
S. Sack, R.A. Medina Ramos, R. Kueng, M. Serbyn, Physical Review A 107 (2023).
2023 |
Published |
Thesis | PhD |
IST-REx-ID: 14697 |
Neutrophils on the hunt : Migratory strategies employed by neutrophils to fulfill their effector function
J.A. Stopp, Neutrophils on the Hunt : Migratory Strategies Employed by Neutrophils to Fulfill Their Effector Function, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
J.A. Stopp, Neutrophils on the Hunt : Migratory Strategies Employed by Neutrophils to Fulfill Their Effector Function, Institute of Science and Technology Austria, 2023.
2023 |
Published |
Journal Article |
IST-REx-ID: 14656 |
The structure of hippocampal CA1 interactions optimizes spatial coding across experience
M. Nardin, J.L. Csicsvari, G. Tkačik, C. Savin, The Journal of Neuroscience 43 (2023) 8140–8156.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
M. Nardin, J.L. Csicsvari, G. Tkačik, C. Savin, The Journal of Neuroscience 43 (2023) 8140–8156.
2023 |
Published |
Journal Article |
IST-REx-ID: 14360 |
Sensing their plasma membrane curvature allows migrating cells to circumvent obstacles
E. Sitarska, S.D. Almeida, M.S. Beckwith, J.A. Stopp, J. Czuchnowski, M. Siggel, R. Roessner, A. Tschanz, C. Ejsing, Y. Schwab, J. Kosinski, M.K. Sixt, A. Kreshuk, A. Erzberger, A. Diz-Muñoz, Nature Communications 14 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
E. Sitarska, S.D. Almeida, M.S. Beckwith, J.A. Stopp, J. Czuchnowski, M. Siggel, R. Roessner, A. Tschanz, C. Ejsing, Y. Schwab, J. Kosinski, M.K. Sixt, A. Kreshuk, A. Erzberger, A. Diz-Muñoz, Nature Communications 14 (2023).
2023 |
Published |
Thesis | MS |
IST-REx-ID: 14226 |
Generalizing medial axes with homology switches
E.R. Stephenson, Generalizing Medial Axes with Homology Switches, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
E.R. Stephenson, Generalizing Medial Axes with Homology Switches, Institute of Science and Technology Austria, 2023.
2023 |
Published |
Journal Article |
IST-REx-ID: 14032 |
Superconductivity from a melted insulator in Josephson junction arrays
S. Mukhopadhyay, J.L. Senior, J. Saez Mollejo, D. Puglia, M. Zemlicka, J.M. Fink, A.P. Higginbotham, Nature Physics 19 (2023) 1630–1635.
[Published Version]
View
| Files available
| DOI
| WoS
S. Mukhopadhyay, J.L. Senior, J. Saez Mollejo, D. Puglia, M. Zemlicka, J.M. Fink, A.P. Higginbotham, Nature Physics 19 (2023) 1630–1635.
2023 |
Published |
Journal Article |
IST-REx-ID: 12349 |
Panoramic visual statistics shape retina-wide organization of receptive fields
D. Gupta, W.F. Mlynarski, A.L. Sumser, O. Symonova, J. Svaton, M.A. Jösch, Nature Neuroscience 26 (2023) 606–614.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
D. Gupta, W.F. Mlynarski, A.L. Sumser, O. Symonova, J. Svaton, M.A. Jösch, Nature Neuroscience 26 (2023) 606–614.
2023 |
Published |
Journal Article |
IST-REx-ID: 12521 |
Slower-X: Reduced efficiency of selection in the early stages of X chromosome evolution
A. Mrnjavac, K. Khudiakova, N.H. Barton, B. Vicoso, Evolution Letters 7 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
A. Mrnjavac, K. Khudiakova, N.H. Barton, B. Vicoso, Evolution Letters 7 (2023).
2023 |
Research Data |
IST-REx-ID: 12370 |
Research Data for: Panoramic visual statistics shape retina-wide organization of receptive fields
D. Gupta, A.L. Sumser, M.A. Jösch, (2023).
[Published Version]
View
| Files available
| DOI
D. Gupta, A.L. Sumser, M.A. Jösch, (2023).
2023 |
Published |
Thesis | PhD |
IST-REx-ID: 12491 |
Ultrastructural characterization of natively preserved extracellular matrix by cryo-electron tomography
B. Zens, Ultrastructural Characterization of Natively Preserved Extracellular Matrix by Cryo-Electron Tomography, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
B. Zens, Ultrastructural Characterization of Natively Preserved Extracellular Matrix by Cryo-Electron Tomography, Institute of Science and Technology Austria, 2023.
2023 |
Published |
Thesis | PhD |
IST-REx-ID: 12781 |
Structural and mechanistic study of bacterial complex I and its cyanobacterial ortholog
V. Kravchuk, Structural and Mechanistic Study of Bacterial Complex I and Its Cyanobacterial Ortholog, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
V. Kravchuk, Structural and Mechanistic Study of Bacterial Complex I and Its Cyanobacterial Ortholog, Institute of Science and Technology Austria, 2023.
2023 |
Published |
Thesis | PhD |
IST-REx-ID: 12897 |
Inverse shape design with parametric representations: Kirchhoff Rods and parametric surface models
C. Hafner, Inverse Shape Design with Parametric Representations: Kirchhoff Rods and Parametric Surface Models, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
C. Hafner, Inverse Shape Design with Parametric Representations: Kirchhoff Rods and Parametric Surface Models, Institute of Science and Technology Austria, 2023.