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.
5025 Publications
2024 |Submitted| Conference Paper | IST-REx-ID: 17053
Froleyks N, Yu Z, Biere A. Ternary simulation as abstract interpretation (Work in Progress). 27th Workshop on Methods and Description Languages for Modeling and Verification of Circuits and Systems. MBMV: Methods and Description Languages for Modeling and Verification of Circuits and Systems, 148–151.
View
2024 |Published| Journal Article | IST-REx-ID: 17123 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Brückner D, Tkačik G. 2024. Information content and optimization of self-organized developmental systems. PNAS. 121(23), e2322326121.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2024 |Published| Conference Paper | IST-REx-ID: 17126 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Tairi E, Ünal A. 2024. Lower bounds for lattice-based compact functional encryption. Advances in Cryptology – EUROCRYPT 2024. EUROCRYPT: International Conference on the Theory and Applications of Cryptographic Techniques, LNCS, vol. 14652, 249–279.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17125
Bassani CL, Van Anders G, Banin U, Baranov D, Chen Q, Dijkstra M, Dimitriyev MS, Efrati E, Faraudo J, Gang O, Gaston N, Golestanian R, Guerrero-Garcia GI, Gruenwald M, Haji-Akbari A, Ibáñez M, Karg M, Kraus T, Lee B, Van Lehn RC, Macfarlane RJ, Mognetti BM, Nikoubashman A, Osat S, Prezhdo OV, Rotskoff GM, Saiz L, Shi AC, Skrabalak S, Smalyukh II, Tagliazucchi M, Talapin DV, Tkachenko AV, Tretiak S, Vaknin D, Widmer-Cooper A, Wong GCL, Ye X, Zhou S, Rabani E, Engel M, Travesset A. 2024. Nanocrystal assemblies: Current advances and open problems. ACS Nano.
View
| DOI
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17127 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Wang V, Xu MW. 2024. Paucity phenomena for polynomial products. Bulletin of the London Mathematical Society.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2024 |Published| Journal Article | IST-REx-ID: 17122 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Ramming H, Theuerkauf L, Hoos O, Lichter K, Kittel-Schneider S. 2024. The association between maximal muscle strength, disease severity and psychopharmacotherapy among young to middle-aged inpatients with affective disorders – a prospective pilot study. BMC Psychiatry. 24, 401.
[Published Version]
View
| Files available
| DOI
2024 |Published| Conference Paper | IST-REx-ID: 17144 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Kourimska H, Lieutier A, Wintraecken M. 2024. The medial axis of any closed bounded set Is Lipschitz stable with respect to the Hausdorff distance Under ambient diffeomorphisms. 40th International Symposium on Computational Geometry. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 293, 69.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 |In Press| Journal Article | IST-REx-ID: 17148 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Krammer T, Stuart HT, Gromberg E, Ishihara K, Cislo D, Melchionda M, Becerril Perez F, Wang J, Costantini E, Rus S, Arbanas L, Hörmann A, Neumüller RA, Elvassore N, Siggia E, Briscoe J, Kicheva A, Tanaka EM. Mouse neural tube organoids self-organize floorplate through BMP-mediated cluster competition. Developmental Cell.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2024 |Published| Conference Paper | IST-REx-ID: 17147
Depope A, Mondelli M, Robinson MR. 2024. Inference of genetic effects via approximate message passing. 2024 IEEE International Conference on Acoustics, Speech, and Signal Processing. ICASSP: International Conference on Acoustics, Speech and Signal Processing, 13151–13155.
View
| DOI
2024 |Published| Journal Article | IST-REx-ID: 17143 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Dello Schiavo L, Maas J, Pedrotti F. 2024. Local conditions for global convergence of gradient flows and proximal point sequences in metric spaces. Transactions of the American Mathematical Society. 377(6), 3779–3804.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17149 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Edelsbrunner H, Nikitenko A. 2024. Average and expected distortion of Voronoi paths and scapes. Discrete and Computational Geometry.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2024 |Published| Conference Paper | IST-REx-ID: 17146 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Edelsbrunner H, Pach J. 2024. Maximum Betti numbers of Čech complexes. 40th International Symposium on Computational Geometry. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 293, 53.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17142 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Burnett L, Koppensteiner P, Symonova O, Masson T, Vega Zuniga TA, Contreras X, Rülicke T, Shigemoto R, Novarino G, Jösch MA. 2024. Shared behavioural impairments in visual perception and place avoidance across different autism models are driven by periaqueductal grey hypoexcitability in Setd5 haploinsufficient mice. PLoS Biology. 22, e3002668.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2024 |Published| Conference Paper | IST-REx-ID: 17145 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Rote G, Rüber M, Saghafian M. 2024. Grid peeling of parabolas. 40th International Symposium on Computational Geometry. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 293, 76.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Research Data | IST-REx-ID: 15385 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Burnett L, Koppensteiner P, Symonova O, Masson T, Vega Zuniga TA, Contreras X, Rülicke T, Shigemoto R, Novarino G, Jösch MA. 2024. Shared behavioural impairments in visual perception and place avoidance across different autism models are driven by periaqueductal grey hypoexcitability in Setd5 haploinsufficient mice, Institute of Science and Technology Austria, 10.15479/AT:ISTA:15385.
[Published Version]
View
| Files available
| DOI
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17094 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Bartocci E, Ferrere T, Henzinger TA, Nickovic D, Oliveira da Costa A. 2024. Information-flow interfaces. Formal Methods in System Design.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
2024 |Published| Thesis | IST-REx-ID: 17133 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Hassani F. 2024. Superconducting qubits capable of dynamic switching between protected and high-speed control regimes. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI