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.
5006 Publications
2024 | Conference Paper | IST-REx-ID: 17053
Froleyks, N., Yu, Z., & Biere, A. (n.d.). Ternary simulation as abstract interpretation (Work in Progress). In 27th Workshop on Methods and Description Languages for Modeling and Verification of Circuits and Systems (pp. 148–151). Kaiserslautern, Germany.
View
2024 | Journal Article | IST-REx-ID: 17123 | 
Brückner, D., & Tkačik, G. (2024). Information content and optimization of self-organized developmental systems. PNAS. Proceedings of the National Academy of Sciences. https://doi.org/10.1073/pnas.2322326121
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2024 | Conference Paper | IST-REx-ID: 17126 |
Tairi, E., & Ünal, A. (2024). Lower bounds for lattice-based compact functional encryption. In Advances in Cryptology – EUROCRYPT 2024 (Vol. 14652, pp. 249–279). Zurich, Switzerland: Springer Nature. https://doi.org/10.1007/978-3-031-58723-8_9
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2024 | 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 | Journal Article | IST-REx-ID: 17124
Fiedler, C., Liu, Y., & Ibáñez, M. (2024). Solution-processed, surface-engineered, polycrystalline CdSe-SnSe exhibiting low thermal conductivity. Journal of Visualized Experiments. MyJove Corporation. https://doi.org/10.3791/66278
View
| DOI
2024 | Journal Article | IST-REx-ID: 17128
Lemoult, G. M., Vasudevan, M., Shih, H. Y., Linga, G., Mathiesen, J., Goldenfeld, N., & Hof, B. (2024). Directed percolation and puff jamming near the transition to pipe turbulence. Nature Physics. Springer Nature. https://doi.org/10.1038/s41567-024-02513-0
View
| DOI
2024 | Journal Article | IST-REx-ID: 17127 |
Wang, V., & Xu, M. W. (2024). Paucity phenomena for polynomial products. Bulletin of the London Mathematical Society. London Mathematical Society. https://doi.org/10.1112/blms.13095
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Journal Article | IST-REx-ID: 17122 |
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. Springer Nature. https://doi.org/10.1186/s12888-024-05849-2
[Published Version]
View
| Files available
| DOI
2024 | Journal Article | IST-REx-ID: 14843
Chen, J., Kaufmann, W., Chen, C., Arai, itaru, Kim, O., Shigemoto, R., & Jonas, P. M. (2024). Developmental transformation of Ca2+ channel-vesicle nanotopography at a central GABAergic synapse. Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2023.12.002
View
| Files available
| DOI
| PubMed | Europe PMC
2024 | Thesis | IST-REx-ID: 15101 |
Chen, J. (2024). Developmental transformation of nanodomain coupling between Ca2+ channels and release sensors at a central GABAergic synapse. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:15101
[Published Version]
View
| Files available
| DOI
2023 | Book Chapter | IST-REx-ID: 12428 |
Hannezo, E. B., & Scheele, C. L. G. J. (2023). A Guide Toward Multi-scale and Quantitative Branching Analysis in the Mammary Gland. In C. Margadant (Ed.), Cell Migration in Three Dimensions (Vol. 2608, pp. 183–205). Springer Nature. https://doi.org/10.1007/978-1-0716-2887-4_12
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 12534 |
Ghazaryan, A., Cappellaro, A., Lemeshko, M., & Volosniev, A. (2023). Dissipative dynamics of an impurity with spin-orbit coupling. Physical Review Research. American Physical Society. https://doi.org/10.1103/physrevresearch.5.013029
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 12676 |
Chatterjee, K., Meggendorfer, T., Saona Urmeneta, R. J., & Svoboda, J. (2023). Faster algorithm for turn-based stochastic games with bounded treewidth. In Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms (pp. 4590–4605). Florence, Italy: Society for Industrial and Applied Mathematics. https://doi.org/10.1137/1.9781611977554.ch173
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 | Book Chapter | IST-REx-ID: 12720
Arroyo-Urea, S., Watson, J., & García-Nafría, J. (2023). Molecular Cloning Using In Vivo DNA Assembly. In G. Scarlett (Ed.), DNA Manipulation and Analysis (Vol. 2633, pp. 33–44). New York, NY, United States: Springer Nature. https://doi.org/10.1007/978-1-0716-3004-4_3
View
| DOI
| PubMed | Europe PMC
2023 | Conference Paper | IST-REx-ID: 12735 |
Koval, N., Alistarh, D.-A., & Elizarov, R. (2023). Fast and scalable channels in Kotlin Coroutines. In Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (pp. 107–118). Montreal, QC, Canada: Association for Computing Machinery. https://doi.org/10.1145/3572848.3577481
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Conference Poster | IST-REx-ID: 12736 |
Aksenov, V., Brown, T. A., Fedorov, A., & Kokorin, I. (2023). Unexpected scaling in path copying trees. Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (pp. 438–440). Montreal, QB, Canada: Association for Computing Machinery. https://doi.org/10.1145/3572848.3577512
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 | Conference Paper | IST-REx-ID: 12760 |
Henzinger, M. H., Neumann, S., Räcke, H., & Schmid, S. (2023). Dynamic maintenance of monotone dynamic programs and applications. In 40th International Symposium on Theoretical Aspects of Computer Science (Vol. 254). Hamburg, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.STACS.2023.36
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Thesis | IST-REx-ID: 12716 |
Burnett, L. (2023). 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. https://doi.org/10.15479/at:ista:12716
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 12854 |
Chalupa, M., & Henzinger, T. A. (2023). Bubaak: Runtime monitoring of program verifiers. In Tools and Algorithms for the Construction and Analysis of Systems (Vol. 13994, pp. 535–540). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-30820-8_32
[Published Version]
View
| Files available
| DOI
2023 | Preprint | IST-REx-ID: 12846 |
Chern, A., & Ishida, S. (n.d.). Area formula for spherical polygons via prequantization. arXiv. https://doi.org/10.48550/arXiv.2303.14555
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv