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.
6105 Publications
2023 | Published | Conference Paper | IST-REx-ID: 13221 | 
Boker U, Henzinger TA, Mazzocchi NA, Sarac NE. Safety and liveness of quantitative automata. In: 34th International Conference on Concurrency Theory. Vol 279. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2023. doi:10.4230/LIPIcs.CONCUR.2023.17
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 13200 |
Qiu L, Sahu R, Hease WJ, Arnold GM, Fink JM. Coherent optical control of a superconducting microwave cavity via electro-optical dynamical back-action. Nature Communications. 2023;14. doi:10.1038/s41467-023-39493-3
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 13143 |
Hoffmann C, Hubáček P, Kamath C, Pietrzak KZ. Certifying giant nonprimes. In: Public-Key Cryptography - PKC 2023. Vol 13940. Springer Nature; 2023:530-553. doi:10.1007/978-3-031-31368-4_19
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
2023 | Published | Thesis | IST-REx-ID: 12491 |
Zens B. Ultrastructural characterization of natively preserved extracellular matrix by cryo-electron tomography. 2023. doi:10.15479/at:ista:12491
[Published Version]
View
| Files available
| DOI
2023 | Published | Thesis | IST-REx-ID: 13984 |
Franschitz A. Individual and social immunity against viral infections in ants. 2023. doi:10.15479/at:ista:13984
[Published Version]
View
| Files available
| DOI
2023 | Published | Thesis | IST-REx-ID: 14422 |
Confavreux BJ. Synapseek: Meta-learning synaptic plasticity rules. 2023. doi:10.15479/at:ista:14422
[Published Version]
View
| Files available
| DOI
2023 | Published | Thesis | IST-REx-ID: 12809 |
Alcarva C. Plasticity in the cerebellum: What molecular mechanisms are behind physiological learning. 2023. doi:10.15479/at:ista:12809
[Published Version]
View
| Files available
| DOI
2023 | Published | Thesis | IST-REx-ID: 14622 |
Sack S. Improving variational quantum algorithms : Innovative initialization techniques and extensions to qudit systems. 2023. doi:10.15479/at:ista:14622
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 13125 |
Sack S, Medina Ramos RA, Kueng R, Serbyn M. Recursive greedy initialization of the quantum approximate optimization algorithm with guaranteed improvement. Physical Review A. 2023;107(6). doi:10.1103/physreva.107.062404
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14032 |
Mukhopadhyay S, Senior JL, Saez Mollejo J, et al. Superconductivity from a melted insulator in Josephson junction arrays. Nature Physics. 2023;19:1630-1635. doi:10.1038/s41567-023-02161-w
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Published | Thesis | IST-REx-ID: 14697 |
Stopp JA. Neutrophils on the hunt : Migratory strategies employed by neutrophils to fulfill their effector function. 2023. doi:10.15479/at:ista:14697
[Published Version]
View
| Files available
| DOI
2023 | Published | Thesis | IST-REx-ID: 12891 |
Schauer A. Mesendoderm formation in zebrafish gastrulation: The role of extraembryonic tissues. 2023. doi:10.15479/at:ista:12891
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 14274 |
Alanko JH, Ucar MC, Canigova N, et al. CCR7 acts as both a sensor and a sink for CCL19 to coordinate collective leukocyte migration. Science Immunology. 2023;8(87). doi:10.1126/sciimmunol.adc9584
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 14360 |
Sitarska E, Almeida SD, Beckwith MS, et al. Sensing their plasma membrane curvature allows migrating cells to circumvent obstacles. Nature Communications. 2023;14. doi:10.1038/s41467-023-41173-1
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Thesis | IST-REx-ID: 12964 |
Boocock DR. Mechanochemical pattern formation across biological scales. 2023. doi:10.15479/at:ista:12964
[Published Version]
View
| Files available
| DOI
2023 | Published | Thesis | IST-REx-ID: 14323 |
Kuzmicz-Kowalska K. Regulation of neural progenitor survival by Shh and BMP in the developing spinal cord. 2023. doi:10.15479/at:ista:14323
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 13201 |
Wang Y, Yuan Z, Wang J, et al. The nitrate transporter NRT2.1 directly antagonizes PIN7-mediated auxin transport for root growth adaptation. Proceedings of the National Academy of Sciences of the United States of America. 2023;120(25). doi:10.1073/pnas.2221313120
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 12837 |
Bocanegra L, Singh A, Hannezo EB, Zagórski MP, Kicheva A. Cell cycle dynamics control fluidity of the developing mouse neuroepithelium. Nature Physics. 2023;19:1050-1058. doi:10.1038/s41567-023-01977-w
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Thesis | IST-REx-ID: 13081 |
Bocanegra L. Epithelial dynamics during mouse neural tube development. 2023. doi:10.15479/at:ista:13081
[Published Version]
View
| Files available
| DOI
2023 | Published | Thesis | IST-REx-ID: 12897 |
Hafner C. Inverse shape design with parametric representations: Kirchhoff Rods and parametric surface models. 2023. doi:10.15479/at:ista:12897
[Published Version]
View
| Files available
| DOI