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.

8579 Publications

2023 | Thesis | IST-REx-ID: 12716 | OA
To flee, or not to flee? Using innate defensive behaviours to investigate rapid perceptual decision-making through subcortical circuits in mouse models of autism
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 | OA
Multiple packing: Lower bounds via infinite constellations
Y. Zhang, S. Vatedka, IEEE Transactions on Information Theory (2023).
View | DOI | Download Preprint (ext.) | arXiv

2023 | Conference Paper | IST-REx-ID: 12854 | OA
Bubaak: Runtime monitoring of program verifiers
M. Chalupa, T.A. Henzinger, in:, Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2023, pp. 535–540.
View | Files available | DOI

2023 | Preprint | IST-REx-ID: 12846 | OA
Area formula for spherical polygons via prequantization
A. Chern, S. Ishida, ArXiv (n.d.).
View | DOI | Download Preprint (ext.) | arXiv

2023 | Conference Paper | IST-REx-ID: 12856 | OA
Vamos: Middleware for best-effort third-party monitoring
M. Chalupa, F. Mühlböck, S. Muroya Lei, T.A. Henzinger, in:, Fundamental Approaches to Software Engineering, Springer Nature, 2023, pp. 260–281.
View | Files available | DOI


Filter Publications