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.
4628 Publications
2023 | Thesis | IST-REx-ID: 12716 | 
Burnett, L. (2023). To flee, or not to flee? Using innate defensive behaviours to investigate rapid perceptual decision-making through subcortical circuits in mouse models of autism. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12716
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 12838 |
Zhang, Y., & Vatedka, S. (2023). Multiple packing: Lower bounds via infinite constellations. IEEE Transactions on Information Theory. Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/TIT.2023.3260950
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Conference Paper | IST-REx-ID: 12854 |
Chalupa, M., & Henzinger, T. A. (2023). Bubaak: Runtime monitoring of program verifiers. In Tools and Algorithms for the Construction and Analysis of Systems (Vol. 13994, pp. 535–540). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-30820-8_32
View
| Files available
| DOI
2023 | Preprint | IST-REx-ID: 12846 |
Chern, A., & Ishida, S. (n.d.). Area formula for spherical polygons via prequantization. arXiv. https://doi.org/10.48550/arXiv.2303.14555
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Conference Paper | IST-REx-ID: 12856 |
Chalupa, M., Mühlböck, F., Muroya Lei, S., & Henzinger, T. A. (2023). Vamos: Middleware for best-effort third-party monitoring. In Fundamental Approaches to Software Engineering (Vol. 13991, pp. 260–281). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-30826-0_15
View
| Files available
| DOI
2023 | Technical Report | IST-REx-ID: 12407 |
Chalupa, M., Mühlböck, F., Muroya Lei, S., & Henzinger, T. A. (2023). VAMOS: Middleware for Best-Effort Third-Party Monitoring. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:12407
View
| Files available
| DOI
2023 | Preprint | IST-REx-ID: 12859 |
Bombari, S., Kiyani, S., & Mondelli, M. (n.d.). Beyond the universal law of robustness: Sharper laws for random features and neural tangent kernels. arXiv. https://doi.org/10.48550/arXiv.2302.01629
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Book Chapter | IST-REx-ID: 12866
Currin, C., & Beyer, C. (2023). Altered childhood brain development in autism and epilepsy. In B. Halpern-Felsher (Ed.), Encyclopedia of Child and Adolescent Health (1st ed., pp. 86–98). Elsevier. https://doi.org/10.1016/b978-0-12-818872-9.00129-1
View
| DOI
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
View
| Files available
| DOI
2023 | Preprint | IST-REx-ID: 12875 |
Cheung, G. T., Pauler, F., Koppensteiner, P., Krausgruber, T., Streicher, C., Schrammel, M., … Hippenmeyer, S. (n.d.). Multipotent progenitors instruct ontogeny of the superior colliculus. bioRxiv. Cold Spring Harbor Laboratory. https://doi.org/10.1101/2023.04.16.537059
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC