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 | 
A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties
R. Majumdar, K. Mallik, M. Rychlicki, A.-K. Schmuck, S. Soudjani, in:, 35th International Conference on Computer Aided Verification, Springer Nature, 2023, pp. 3–15.
[Published Version]
View
| Files available
| DOI
R. Majumdar, K. Mallik, M. Rychlicki, A.-K. Schmuck, S. Soudjani, in:, 35th International Conference on Computer Aided Verification, Springer Nature, 2023, pp. 3–15.
2023 | Preprint | IST-REx-ID: 15128 |
Mesoscopic eigenvalue statistics for Wigner-type matrices
V. Riabov, ArXiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
V. Riabov, ArXiv (n.d.).
2023 | Thesis | IST-REx-ID: 12809 |
Plasticity in the cerebellum: What molecular mechanisms are behind physiological learning
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
C. Alcarva, Plasticity in the Cerebellum: What Molecular Mechanisms Are behind Physiological Learning, Institute of Science and Technology Austria, 2023.
2022 | Conference Paper | IST-REx-ID: 11428 |
A cautionary tale: Burning the medial axis is unstable
E. Chambers, C.D. Fillmore, E.R. Stephenson, M. Wintraecken, in:, X. Goaoc, M. Kerber (Eds.), 38th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022, p. 66:1-66:9.
[Published Version]
View
| Files available
| DOI
E. Chambers, C.D. Fillmore, E.R. Stephenson, M. Wintraecken, in:, X. Goaoc, M. Kerber (Eds.), 38th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022, p. 66:1-66:9.
2022 | Book Chapter | IST-REx-ID: 11440 |
The persistent homology of dual digital image constructions
B. Bleile, A. Garin, T. Heiss, K. Maggs, V. Robins, in:, E. Gasparovic, V. Robins, K. Turner (Eds.), Research in Computational Topology 2, 1st ed., Springer Nature, Cham, 2022, pp. 1–26.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
B. Bleile, A. Garin, T. Heiss, K. Maggs, V. Robins, in:, E. Gasparovic, V. Robins, K. Turner (Eds.), Research in Computational Topology 2, 1st ed., Springer Nature, Cham, 2022, pp. 1–26.
2022 | Book Chapter | IST-REx-ID: 11456
Proteomic Analysis of C. Elegans Neurons Using TurboID-Based Proximity Labeling
M. Artan, M. de Bono, in:, D. Yamamoto (Ed.), Behavioral Neurogenetics, Springer Nature, New York, 2022, pp. 277–294.
View
| DOI
M. Artan, M. de Bono, in:, D. Yamamoto (Ed.), Behavioral Neurogenetics, Springer Nature, New York, 2022, pp. 277–294.
2022 | Journal Article | IST-REx-ID: 12134 |
Explosive transitions in epidemic dynamics
G. Börner, M. Schröder, D. Scarselli, N.B. Budanur, B. Hof, M. Timme, Journal of Physics: Complexity 3 (2022).
[Published Version]
View
| Files available
| DOI
G. Börner, M. Schröder, D. Scarselli, N.B. Budanur, B. Hof, M. Timme, Journal of Physics: Complexity 3 (2022).
2022 | Journal Article | IST-REx-ID: 11336 |
Tissue-wide genetic and cellular landscape shapes the execution of sequential PRC2 functions in neural stem cell lineage progression
N. Amberg, F. Pauler, C. Streicher, S. Hippenmeyer, Science Advances 8 (2022).
[Published Version]
View
| Files available
| DOI
N. Amberg, F. Pauler, C. Streicher, S. Hippenmeyer, Science Advances 8 (2022).
2022 | Thesis | IST-REx-ID: 11128 |
Genetic basis of flower colour as a model for adaptive evolution
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
L. Matejovicova, Genetic Basis of Flower Colour as a Model for Adaptive Evolution, Institute of Science and Technology Austria, 2022.
2022 | Journal Article | IST-REx-ID: 10018 |
Integral points on singular del Pezzo surfaces
U. Derenthal, F.A. Wilsch, Journal of the Institute of Mathematics of Jussieu (2022).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| arXiv
U. Derenthal, F.A. Wilsch, Journal of the Institute of Mathematics of Jussieu (2022).