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.
370 Publications
2023 | Published | Conference Paper | IST-REx-ID: 13292 | 
Henzinger TA, Kebis P, Mazzocchi NA, Sarac NE. Regular methods for operator precedence languages. In: 50th International Colloquium on Automata, Languages, and Programming. Vol 261. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2023:129:1--129:20. doi:10.4230/LIPIcs.ICALP.2023.129
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Thesis | IST-REx-ID: 13286 |
Valentini M. Mesoscopic phenomena in hybrid semiconductor-superconductor nanodevices : From full-shell nanowires to two-dimensional hole gas in germanium. 2023. doi:10.15479/at:ista:13286
[Published Version]
View
| Files available
| DOI
2023 | Published | Thesis | IST-REx-ID: 14374 |
Roos B. Boundary superconductivity in BCS theory. 2023. doi:10.15479/at:ista:14374
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 13207 |
Hainzl C, Roos B, Seiringer R. Boundary superconductivity in the BCS model. Journal of Spectral Theory. 2023;12(4):1507–1540. doi:10.4171/JST/439
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Thesis | IST-REx-ID: 14506 |
Yeo MX. Advances in efficiency and privacy in payment channel network analysis. 2023. doi:10.15479/14506
[Published Version]
View
| Files available
| DOI
2023 | Published | Thesis | IST-REx-ID: 12726
Riedl M. Synchronization in collectively moving active matter. 2023. doi:10.15479/at:ista:12726
View
| Files available
| DOI
2023 | Published | Thesis | IST-REx-ID: 14530 |
Riedl M. Synchronization in collectively moving active matter. 2023. doi:10.15479/14530
[Updated Version]
View
| Files available
| DOI
2023 | Published | Thesis | IST-REx-ID: 14539 |
Zikelic D. Automated verification and control of infinite state stochastic systems. 2023. doi:10.15479/14539
[Published Version]
View
| Files available
| DOI
2023 | Published | Thesis | IST-REx-ID: 14587 |
Marveggio A. Weak-strong stability and phase-field approximation of interface evolution problems in fluid mechanics and in material sciences. 2023. doi:10.15479/at:ista:14587
[Published Version]
View
| Files available
| DOI
2023 | Published | Thesis | IST-REx-ID: 14651 |
Arathoon LS. Investigating inbreeding depression and the self-incompatibility locus of Antirrhinum majus. 2023. doi:10.15479/at:ista:14651
[Published Version]
View
| Files available
| DOI
2023 | Published | Thesis | IST-REx-ID: 14641
Hennessey-Wesen M. Adaptive mutation in E. coli modulated by luxS. 2023. doi:10.15479/at:ista:14641
[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 | 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: 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
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 | 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: 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 | 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: 12800 |
Julseth M. The effect of local population structure on genetic variation at selected loci in the A. majus hybrid zone. 2023. doi:10.15479/at:ista:12800
[Published Version]
View
| Files available
| DOI