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.
6997 Publications
2024 |Published| Journal Article | IST-REx-ID: 14820 | 
Schmid S, Svoboda J, Yeo MX. 2024. Weighted packet selection for rechargeable links in cryptocurrency networks: Complexity and approximation. Theoretical Computer Science. 989, 114353.
[Published Version]
View
| Files available
| DOI
2024 |Published| Journal Article | IST-REx-ID: 14794 |
Hansen AH, Hippenmeyer S. 2024. Time-lapse imaging of cortical projection neuron migration in mice using mosaic analysis with double markers. STAR Protocols. 5(1), 102795.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2024 |Published| Journal Article | IST-REx-ID: 15257 |
Kulich I, Schmid J, Teplova A, Qi L, Friml J. 2024. Rapid translocation of NGR proteins driving polarization of PIN-activating D6 protein kinase during root gravitropism. eLife. 12, 91523.
[Published Version]
View
| Files available
| DOI
2024 |Published| Journal Article | IST-REx-ID: 14846 |
Caballero Mancebo S, Shinde R, Bolger-Munro M, Peruzzo M, Szep G, Steccari I, Labrousse Arias D, Zheden V, Merrin J, Callan-Jones A, Voituriez R, Heisenberg C-PJ. 2024. Friction forces determine cytoplasmic reorganization and shape changes of ascidian oocytes upon fertilization. Nature Physics. 20, 310–321.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2024 |Published| Journal Article | IST-REx-ID: 17123 |
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 |Epub ahead of print| Journal Article | IST-REx-ID: 15301 |
Hörmayer L, Montesinos López JC, Trozzi N, Spona L, Yoshida S, Marhavá P, Caballero Mancebo S, Benková E, Heisenberg C-PJ, Dagdas Y, Majda M, Friml J. 2024. Mechanical forces in plant tissue matrix orient cell divisions via microtubule stabilization. Dev Cell., S1534-5807(24)00177–1.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2024 |Published| 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.
[Published Version]
View
| Files available
| DOI
2024 |Published| Journal Article | IST-REx-ID: 14843
Chen J, Kaufmann W, Chen C, Arai itaru, Kim O, Shigemoto R, Jonas PM. 2024. Developmental transformation of Ca2+ channel-vesicle nanotopography at a central GABAergic synapse. Neuron. 112(5), 755–771.e9.
View
| Files available
| DOI
| PubMed | Europe PMC
2024 |Accepted| Journal Article | IST-REx-ID: 17203 |
Hafner C, Ly M, Wojtan C. Spin-It Faster: Quadrics Solve All Topology Optimization Problems That Depend Only On Mass Moments. Transactions on Graphics. 43(4), 78.
[Published Version]
View
| Files available
| DOI
2024 |Submitted| Preprint | IST-REx-ID: 17222 |
Medina Ramos RA, Serbyn M. A recursive lower bound on the energy improvement of the quantum approximate optimization algorithm. arXiv, 2405.10125.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17219 |
Synak P, Kalinov A, Strugaru I-M, Etemadihaghighi A, Yang H, Wojtan C. 2024. Multi-material mesh-based surface tracking with implicit topology changes. ACM Transactions on Graphics. 43(4), 54.
[Published Version]
View
| Files available
| DOI
2023 |Published| Book Chapter | IST-REx-ID: 12428 |
Hannezo EB, Scheele CLGJ. 2023.A Guide Toward Multi-scale and Quantitative Branching Analysis in the Mammary Gland. In: Cell Migration in Three Dimensions. Methods in Molecular Biology, vol. 2608, 183–205.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2023 |Published| 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. 5(1), 013029.
[Published Version]
View
| Files available
| DOI
2023 |Published| Conference Paper | IST-REx-ID: 12676 |
Chatterjee K, Meggendorfer T, Saona Urmeneta RJ, Svoboda J. 2023. Faster algorithm for turn-based stochastic games with bounded treewidth. Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms. SODA: Symposium on Discrete Algorithms, 4590–4605.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 |Published| Conference Paper | IST-REx-ID: 12735 |
Koval N, Alistarh D-A, Elizarov R. 2023. Fast and scalable channels in Kotlin Coroutines. Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. PPoPP: Sympopsium on Principles and Practice of Parallel Programming, 107–118.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 |Published| Conference Poster | IST-REx-ID: 12736 |
Aksenov V, Brown TA, Fedorov A, Kokorin I. 2023. Unexpected scaling in path copying trees, Association for Computing Machinery,p.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 |Published| 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.
[Published Version]
View
| Files available
| DOI
2023 |Published| Conference Paper | IST-REx-ID: 12854 |
Chalupa M, Henzinger TA. 2023. Bubaak: Runtime monitoring of program verifiers. Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 13994, 535–540.
[Published Version]
View
| Files available
| DOI
2023 |Published| Conference Paper | IST-REx-ID: 12856 |
Chalupa M, Mühlböck F, Muroya Lei S, Henzinger TA. 2023. Vamos: Middleware for best-effort third-party monitoring. Fundamental Approaches to Software Engineering. FASE: Fundamental Approaches to Software Engineering, LNCS, vol. 13991, 260–281.
[Published Version]
View
| Files available
| DOI
2023 |Published| Technical Report | IST-REx-ID: 12407 |
Chalupa M, Mühlböck F, Muroya Lei S, Henzinger TA. 2023. VAMOS: Middleware for Best-Effort Third-Party Monitoring, Institute of Science and Technology Austria, 38p.
[Published Version]
View
| Files available
| DOI