Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
4521 Publications
2023 | Thesis | IST-REx-ID: 12716 | 
L. Burnett, “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, 2023.
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 12838 |
Y. Zhang and S. Vatedka, “Multiple packing: Lower bounds via infinite constellations,” IEEE Transactions on Information Theory. Institute of Electrical and Electronics Engineers, 2023.
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Conference Paper | IST-REx-ID: 12854 |
M. Chalupa and T. A. Henzinger, “Bubaak: Runtime monitoring of program verifiers,” in Tools and Algorithms for the Construction and Analysis of Systems, Paris, France, 2023, vol. 13994, pp. 535–540.
View
| Files available
| DOI
2023 | Preprint | IST-REx-ID: 12846 |
A. Chern and S. Ishida, “Area formula for spherical polygons via prequantization,” arXiv. .
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Conference Paper | IST-REx-ID: 12856 |
M. Chalupa, F. Mühlböck, S. Muroya Lei, and T. A. Henzinger, “Vamos: Middleware for best-effort third-party monitoring,” in Fundamental Approaches to Software Engineering, Paris, France, 2023, vol. 13991, pp. 260–281.
View
| Files available
| DOI
2023 | Technical Report | IST-REx-ID: 12407 |
M. Chalupa, F. Mühlböck, S. Muroya Lei, and T. A. Henzinger, VAMOS: Middleware for Best-Effort Third-Party Monitoring. Institute of Science and Technology Austria, 2023.
View
| Files available
| DOI
2023 | Preprint | IST-REx-ID: 12859 |
S. Bombari, S. Kiyani, and M. Mondelli, “Beyond the universal law of robustness: Sharper laws for random features and neural tangent kernels,” arXiv. .
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.
View
| Files available
| DOI
2023 | Preprint | IST-REx-ID: 12875 |
G. T. Cheung et al., “Multipotent progenitors instruct ontogeny of the superior colliculus,” bioRxiv. Cold Spring Harbor Laboratory.
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC