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.
6952 Publications
2024 | Journal Article | IST-REx-ID: 15404
Reiner A, Medina L, Abellan A, et al. Neurochemistry and circuit organization of the lateral spiriform nucleus of birds: A uniquely nonmammalian direct pathway component of the basal ganglia. Journal of Comparative Neurology. 2024;532(5). doi:10.1002/cne.25620
View
| DOI
| PubMed | Europe PMC
2024 | Journal Article | IST-REx-ID: 15408 | 
Link K, Muhandes L, Polikarpova A, et al. Integrin β1–mediated mast cell immune-surveillance of blood vessel content. Journal of Allergy and Clinical Immunology. doi:10.1016/j.jaci.2024.03.022
[Published Version]
View
| DOI
| Download Published Version (ext.)
2024 | Conference Paper | IST-REx-ID: 15376 |
Avni G, Mallik K, Sadhukhan S. Auction-based scheduling. In: 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Vol 14572. Springer Nature; 2024:153-172. doi:10.1007/978-3-031-57256-2_8
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Journal Article | IST-REx-ID: 15301 |
Hörmayer L, Montesinos López JC, Trozzi N, et al. Mechanical forces in plant tissue matrix orient cell divisions via microtubule stabilization. Dev Cell. 2024:S1534-5807(24)00177-1. doi:10.1016/j.devcel.2024.03.009
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2024 | Conference Paper | IST-REx-ID: 17051 |
Auerbach B, Günther CU, Pietrzak KZ. Trapdoor memory-hard functions. In: 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques. Vol 14653. Springer Nature; 2024:315-344. doi:10.1007/978-3-031-58734-4_11
[Preprint]
View
| DOI
| Download Preprint (ext.)
2024 | Journal Article | IST-REx-ID: 17048 |
Rajappa S, Krishnamurthy P, Huang H, et al. The translocation of a chloride channel from the Golgi to the plasma membrane helps plants adapt to salt stress. Nature Communications. 2024;15. doi:10.1038/s41467-024-48234-z
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2024 | Journal Article | IST-REx-ID: 17052 |
Fiedler C, Calcabrini M, Liu Y, Ibáñez M. Unveiling crucial chemical processing parameters influencing the performance of solution-processed inorganic thermoelectric materials. Angewandte Chemie - International Edition. 2024. doi:10.1002/anie.202402628
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2024 | Journal Article | IST-REx-ID: 17049 |
Cipolloni G, Erdös L, Henheik SJ, Schröder DJ. Optimal lower bound on eigenvector overlaps for non-Hermitian random matrices. Journal of Functional Analysis. 287(4). doi:10.1016/j.jfa.2024.110495
[Published Version]
View
| DOI
| Download Published Version (ext.)
2024 | Thesis | IST-REx-ID: 15101 |
Chen J. Developmental transformation of nanodomain coupling between Ca2+ channels and release sensors at a central GABAergic synapse. 2024. doi:10.15479/at:ista:15101
[Published Version]
View
| Files available
| DOI
2024 | Journal Article | IST-REx-ID: 14843
Chen J, Kaufmann W, Chen C, et al. Developmental transformation of Ca2+ channel-vesicle nanotopography at a central GABAergic synapse. Neuron. doi:10.1016/j.neuron.2023.12.002
View
| Files available
| DOI
| PubMed | Europe PMC
2023 | Book Chapter | IST-REx-ID: 12428 |
Hannezo EB, Scheele CLGJ. A Guide Toward Multi-scale and Quantitative Branching Analysis in the Mammary Gland. In: Margadant C, ed. Cell Migration in Three Dimensions. Vol 2608. MIMB. Springer Nature; 2023:183-205. doi: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. Dissipative dynamics of an impurity with spin-orbit coupling. Physical Review Research. 2023;5(1). doi:10.1103/physrevresearch.5.013029
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 12676 |
Chatterjee K, Meggendorfer T, Saona Urmeneta RJ, Svoboda J. Faster algorithm for turn-based stochastic games with bounded treewidth. In: Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms. Society for Industrial and Applied Mathematics; 2023:4590-4605. doi:10.1137/1.9781611977554.ch173
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 | Conference Paper | IST-REx-ID: 12735 |
Koval N, Alistarh D-A, Elizarov R. Fast and scalable channels in Kotlin Coroutines. In: Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. Association for Computing Machinery; 2023:107-118. doi:10.1145/3572848.3577481
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Conference Poster | IST-REx-ID: 12736 |
Aksenov V, Brown TA, Fedorov A, Kokorin I. Unexpected Scaling in Path Copying Trees. Association for Computing Machinery; 2023:438-440. doi:10.1145/3572848.3577512
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 | Thesis | IST-REx-ID: 12716 |
Burnett L. To flee, or not to flee? Using innate defensive behaviours to investigate rapid perceptual decision-making through subcortical circuits in mouse models of autism. 2023. doi:10.15479/at:ista:12716
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 12854 |
Chalupa M, Henzinger TA. Bubaak: Runtime monitoring of program verifiers. In: Tools and Algorithms for the Construction and Analysis of Systems. Vol 13994. Springer Nature; 2023:535-540. doi:10.1007/978-3-031-30820-8_32
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 12856 |
Chalupa M, Mühlböck F, Muroya Lei S, Henzinger TA. Vamos: Middleware for best-effort third-party monitoring. In: Fundamental Approaches to Software Engineering. Vol 13991. Springer Nature; 2023:260-281. doi:10.1007/978-3-031-30826-0_15
[Published Version]
View
| Files available
| DOI
2023 | Technical Report | IST-REx-ID: 12407 |
Chalupa M, Mühlböck F, Muroya Lei S, Henzinger TA. VAMOS: Middleware for Best-Effort Third-Party Monitoring. Institute of Science and Technology Austria; 2023. doi:10.15479/AT:ISTA:12407
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 13048 |
Lieutier A, Wintraecken M. Hausdorff and Gromov-Hausdorff stable subsets of the medial axis. In: Proceedings of the 55th Annual ACM Symposium on Theory of Computing. Association for Computing Machinery; 2023:1768-1776. doi:10.1145/3564246.3585113
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv