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.
400 Publications
2023 | Journal Article | IST-REx-ID: 14920 | 
Banerjee, T., Majumdar, R., Mallik, K., Schmuck, A.-K., & Soudjani, S. (2023). Fast symbolic algorithms for mega-regular games under strong transition fairness. TheoretiCS. EPI Sciences. https://doi.org/10.46298/theoretics.23.4
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 12802 |
Knaus, L., Basilico, B., Malzl, D., Gerykova Bujalkova, M., Smogavec, M., Schwarz, L. A., … Novarino, G. (2023). Large neutral amino acid levels tune perinatal neuronal excitability and survival. Cell. Elsevier. https://doi.org/10.1016/j.cell.2023.02.037
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Journal Article | IST-REx-ID: 14985 |
Liu, Z., Hong, T., Xu, L., Wang, S., Gao, X., Chang, C., … Zhao, L. (2023). Lattice expansion enables interstitial doping to achieve a high average ZT in n‐type PbS. Interdisciplinary Materials. Wiley. https://doi.org/10.1002/idm2.12056
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 14758 |
Majumdar, R., Mallik, K., Rychlicki, M., Schmuck, A.-K., & Soudjani, S. (2023). A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties. In 35th International Conference on Computer Aided Verification (Vol. 13966, pp. 3–15). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-37709-9_1
[Published Version]
View
| Files available
| DOI
2023 | Preprint | IST-REx-ID: 15128 |
Riabov, V. (n.d.). Mesoscopic eigenvalue statistics for Wigner-type matrices. arXiv. https://doi.org/10.48550/arXiv.2301.01712
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Thesis | IST-REx-ID: 12809 |
Alcarva, C. (2023). Plasticity in the cerebellum: What molecular mechanisms are behind physiological learning. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12809
[Published Version]
View
| Files available
| DOI
2022 | Conference Paper | IST-REx-ID: 11428 |
Chambers, E., Fillmore, C. D., Stephenson, E. R., & Wintraecken, M. (2022). A cautionary tale: Burning the medial axis is unstable. In X. Goaoc & M. Kerber (Eds.), 38th International Symposium on Computational Geometry (Vol. 224, p. 66:1-66:9). Berlin, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SoCG.2022.66
[Published Version]
View
| Files available
| DOI
2022 | Book Chapter | IST-REx-ID: 11440 |
Bleile, B., Garin, A., Heiss, T., Maggs, K., & Robins, V. (2022). The persistent homology of dual digital image constructions. In E. Gasparovic, V. Robins, & K. Turner (Eds.), Research in Computational Topology 2 (1st ed., Vol. 30, pp. 1–26). Cham: Springer Nature. https://doi.org/10.1007/978-3-030-95519-9_1
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Book Chapter | IST-REx-ID: 11456
Artan, M., & de Bono, M. (2022). Proteomic Analysis of C. Elegans Neurons Using TurboID-Based Proximity Labeling. In D. Yamamoto (Ed.), Behavioral Neurogenetics (Vol. 181, pp. 277–294). New York: Springer Nature. https://doi.org/10.1007/978-1-0716-2321-3_15
View
| DOI
2022 | Journal Article | IST-REx-ID: 12134 |
Börner, G., Schröder, M., Scarselli, D., Budanur, N. B., Hof, B., & Timme, M. (2022). Explosive transitions in epidemic dynamics. Journal of Physics: Complexity. IOP Publishing. https://doi.org/10.1088/2632-072x/ac99cd
[Published Version]
View
| Files available
| DOI