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.
238 Publications
2023 | Preprint | IST-REx-ID: 12846 | 
Area formula for spherical polygons via prequantization
A. Chern, S. Ishida, ArXiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
A. Chern, S. Ishida, ArXiv (n.d.).
2023 | Conference Paper | IST-REx-ID: 13053 |
CrAM: A Compression-Aware Minimizer
E.-A. Peste, A. Vladu, E. Kurtic, C. Lampert, D.-A. Alistarh, in:, 11th International Conference on Learning Representations , n.d.
[Preprint]
View
| Files available
| Download Preprint (ext.)
| arXiv
E.-A. Peste, A. Vladu, E. Kurtic, C. Lampert, D.-A. Alistarh, in:, 11th International Conference on Learning Representations , n.d.
2023 | Thesis | IST-REx-ID: 12826 |
Neural control of optic flow-based navigation in Drosophila melanogaster
V. Pokusaeva, Neural Control of Optic Flow-Based Navigation in Drosophila Melanogaster, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
V. Pokusaeva, Neural Control of Optic Flow-Based Navigation in Drosophila Melanogaster, Institute of Science and Technology Austria, 2023.
2023 | Conference Paper | IST-REx-ID: 12467 |
Quantitative safety and liveness
T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 26th International Conference Foundations of Software Science and Computation Structures, Springer Nature, 2023, pp. 349–370.
[Published Version]
View
| Files available
| DOI
| arXiv
T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 26th International Conference Foundations of Software Science and Computation Structures, Springer Nature, 2023, pp. 349–370.
2023 | Conference Paper | IST-REx-ID: 13292 |
Regular methods for operator precedence languages
T.A. Henzinger, P. Kebis, N.A. Mazzocchi, N.E. Sarac, in:, 50th International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023, p. 129:1--129:20.
[Published Version]
View
| Files available
| DOI
| arXiv
T.A. Henzinger, P. Kebis, N.A. Mazzocchi, N.E. Sarac, in:, 50th International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023, p. 129:1--129:20.