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.
401 Publications
2023 | Conference Paper | IST-REx-ID: 14758 | 
Majumdar, Rupak, et al. “A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties.” 35th International Conference on Computer Aided Verification, vol. 13966, Springer Nature, 2023, pp. 3–15, doi:10.1007/978-3-031-37709-9_1.
[Published Version]
View
| Files available
| DOI
2023 | Preprint | IST-REx-ID: 15128 |
Riabov, Volodymyr. “Mesoscopic Eigenvalue Statistics for Wigner-Type Matrices.” ArXiv, 2301.01712, doi:10.48550/arXiv.2301.01712.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Thesis | IST-REx-ID: 12809 |
Alcarva, Catarina. Plasticity in the Cerebellum: What Molecular Mechanisms Are behind Physiological Learning. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:12809.
[Published Version]
View
| Files available
| DOI
2022 | Conference Paper | IST-REx-ID: 11428 |
Chambers, Erin, et al. “A Cautionary Tale: Burning the Medial Axis Is Unstable.” 38th International Symposium on Computational Geometry, edited by Xavier Goaoc and Michael Kerber, vol. 224, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022, p. 66:1-66:9, doi:10.4230/LIPIcs.SoCG.2022.66.
[Published Version]
View
| Files available
| DOI
2022 | Book Chapter | IST-REx-ID: 11440 |
Bleile, Bea, et al. “The Persistent Homology of Dual Digital Image Constructions.” Research in Computational Topology 2, edited by Ellen Gasparovic et al., 1st ed., vol. 30, Springer Nature, 2022, pp. 1–26, doi:10.1007/978-3-030-95519-9_1.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Book Chapter | IST-REx-ID: 11456
Artan, Murat, and Mario de Bono. “Proteomic Analysis of C. Elegans Neurons Using TurboID-Based Proximity Labeling.” Behavioral Neurogenetics, edited by Daisuke Yamamoto, vol. 181, Springer Nature, 2022, pp. 277–94, doi:10.1007/978-1-0716-2321-3_15.
View
| DOI
2022 | Journal Article | IST-REx-ID: 12134 |
Börner, Georg, et al. “Explosive Transitions in Epidemic Dynamics.” Journal of Physics: Complexity, vol. 3, no. 4, 04LT02, IOP Publishing, 2022, doi:10.1088/2632-072x/ac99cd.
[Published Version]
View
| Files available
| DOI
2022 | Journal Article | IST-REx-ID: 11336 |
Amberg, Nicole, et al. “Tissue-Wide Genetic and Cellular Landscape Shapes the Execution of Sequential PRC2 Functions in Neural Stem Cell Lineage Progression.” Science Advances, vol. 8, no. 44, abq1263, American Association for the Advancement of Science, 2022, doi:10.1126/sciadv.abq1263.
[Published Version]
View
| Files available
| DOI
2022 | Thesis | IST-REx-ID: 11128 |
Matejovicova, Lenka. Genetic Basis of Flower Colour as a Model for Adaptive Evolution. Institute of Science and Technology Austria, 2022, doi:10.15479/at:ista:11128.
[Published Version]
View
| Files available
| DOI
2022 | Journal Article | IST-REx-ID: 10018 |
Derenthal, Ulrich, and Florian Alexander Wilsch. “Integral Points on Singular Del Pezzo Surfaces.” Journal of the Institute of Mathematics of Jussieu, Cambridge University Press, 2022, doi:10.1017/S1474748022000482.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| arXiv