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 | 
R. Majumdar, K. Mallik, M. Rychlicki, A.-K. Schmuck, and S. Soudjani, “A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties,” in 35th International Conference on Computer Aided Verification, Paris, France, 2023, vol. 13966, pp. 3–15.
[Published Version]
View
| Files available
| DOI
2023 | Preprint | IST-REx-ID: 15128 |
V. Riabov, “Mesoscopic eigenvalue statistics for Wigner-type matrices,” arXiv. .
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Thesis | IST-REx-ID: 12809 |
C. Alcarva, “Plasticity in the cerebellum: What molecular mechanisms are behind physiological learning,” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2022 | Conference Paper | IST-REx-ID: 11428 |
E. Chambers, C. D. Fillmore, E. R. Stephenson, and M. Wintraecken, “A cautionary tale: Burning the medial axis is unstable,” in 38th International Symposium on Computational Geometry, Berlin, Germany, 2022, vol. 224, p. 66:1-66:9.
[Published Version]
View
| Files available
| DOI
2022 | Book Chapter | IST-REx-ID: 11440 |
B. Bleile, A. Garin, T. Heiss, K. Maggs, and V. Robins, “The persistent homology of dual digital image constructions,” in Research in Computational Topology 2, 1st ed., vol. 30, E. Gasparovic, V. Robins, and K. Turner, Eds. Cham: Springer Nature, 2022, pp. 1–26.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Journal Article | IST-REx-ID: 12134 |
G. Börner, M. Schröder, D. Scarselli, N. B. Budanur, B. Hof, and M. Timme, “Explosive transitions in epidemic dynamics,” Journal of Physics: Complexity, vol. 3, no. 4. IOP Publishing, 2022.
[Published Version]
View
| Files available
| DOI
2022 | Journal Article | IST-REx-ID: 11336 |
N. Amberg, F. Pauler, C. Streicher, and S. Hippenmeyer, “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. American Association for the Advancement of Science, 2022.
[Published Version]
View
| Files available
| DOI
2022 | Thesis | IST-REx-ID: 11128 |
L. Matejovicova, “Genetic basis of flower colour as a model for adaptive evolution,” Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
2022 | Journal Article | IST-REx-ID: 10018 |
U. Derenthal and F. A. Wilsch, “Integral points on singular del Pezzo surfaces,” Journal of the Institute of Mathematics of Jussieu. Cambridge University Press, 2022.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| arXiv