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.
5422 Publications
2023 | Preprint | IST-REx-ID: 12846 | 
Chern A, Ishida S. Area formula for spherical polygons via prequantization. arXiv, 2303.14555.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Conference Paper | IST-REx-ID: 12856 |
Chalupa M, Mühlböck F, Muroya Lei S, Henzinger TA. 2023. Vamos: Middleware for best-effort third-party monitoring. Fundamental Approaches to Software Engineering. FASE: Fundamental Approaches to Software Engineering, LNCS, vol. 13991, 260–281.
[Published Version]
View
| Files available
| DOI
2023 | Technical Report | IST-REx-ID: 12407 |
Chalupa M, Mühlböck F, Muroya Lei S, Henzinger TA. 2023. VAMOS: Middleware for Best-Effort Third-Party Monitoring, Institute of Science and Technology Austria, 38p.
[Published Version]
View
| Files available
| DOI
2023 | Preprint | IST-REx-ID: 12859 |
Bombari S, Kiyani S, Mondelli M. Beyond the universal law of robustness: Sharper laws for random features and neural tangent kernels. arXiv, 2302.01629.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Preprint | IST-REx-ID: 12875 |
Cheung GT, Pauler F, Koppensteiner P, Krausgruber T, Streicher C, Schrammel M, Özgen NY, Ivec A, Bock C, Shigemoto R, Hippenmeyer S. Multipotent progenitors instruct ontogeny of the superior colliculus. bioRxiv, 10.1101/2023.04.16.537059.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC