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, Stefan, et al. “Weighted Packet Selection for Rechargeable Links in Cryptocurrency Networks: Complexity and Approximation.” Theoretical Computer Science, vol. 989, 114353, Elsevier, 2024, doi:10.1016/j.tcs.2023.114353.
[Published Version]
View
| Files available
| DOI
2024 |Published| Journal Article | IST-REx-ID: 14794 |
Hansen, Andi H., and Simon Hippenmeyer. “Time-Lapse Imaging of Cortical Projection Neuron Migration in Mice Using Mosaic Analysis with Double Markers.” STAR Protocols, vol. 5, no. 1, 102795, Elsevier, 2024, doi:10.1016/j.xpro.2023.102795.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2024 |Published| Journal Article | IST-REx-ID: 15257 |
Kulich, Ivan, et al. “Rapid Translocation of NGR Proteins Driving Polarization of PIN-Activating D6 Protein Kinase during Root Gravitropism.” ELife, vol. 12, 91523, eLife Sciences Publications, 2024, doi:10.7554/elife.91523.3.
[Published Version]
View
| Files available
| DOI
2024 |Published| Journal Article | IST-REx-ID: 14846 |
Caballero Mancebo, Silvia, et al. “Friction Forces Determine Cytoplasmic Reorganization and Shape Changes of Ascidian Oocytes upon Fertilization.” Nature Physics, vol. 20, Springer Nature, 2024, pp. 310–21, doi:10.1038/s41567-023-02302-1.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2024 |Published| Journal Article | IST-REx-ID: 17123 |
Brückner, David, and Gašper Tkačik. “Information Content and Optimization of Self-Organized Developmental Systems.” PNAS, vol. 121, no. 23, e2322326121, Proceedings of the National Academy of Sciences, 2024, doi:10.1073/pnas.2322326121.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 15301 |
Hörmayer, Lukas, et al. “Mechanical Forces in Plant Tissue Matrix Orient Cell Divisions via Microtubule Stabilization.” Dev Cell, Elsevier, 2024, pp. S1534-5807(24)00177-1, doi:10.1016/j.devcel.2024.03.009.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2024 |Published| Thesis | IST-REx-ID: 15101 |
Chen, JingJing. Developmental Transformation of Nanodomain Coupling between Ca2+ Channels and Release Sensors at a Central GABAergic Synapse. Institute of Science and Technology Austria, 2024, doi:10.15479/at:ista:15101.
[Published Version]
View
| Files available
| DOI
2024 |Published| Journal Article | IST-REx-ID: 14843
Chen, JingJing, et al. “Developmental Transformation of Ca2+ Channel-Vesicle Nanotopography at a Central GABAergic Synapse.” Neuron, vol. 112, no. 5, Elsevier, 2024, p. 755–771.e9, doi:10.1016/j.neuron.2023.12.002.
View
| Files available
| DOI
| PubMed | Europe PMC
2024 |Accepted| Journal Article | IST-REx-ID: 17203 |
Hafner, Christian, et al. “Spin-It Faster: Quadrics Solve All Topology Optimization Problems That Depend Only On Mass Moments.” Transactions on Graphics, vol. 43, no. 4, 78, ACM, doi:10.1145/3658194.
[Published Version]
View
| Files available
| DOI
2024 |Submitted| Preprint | IST-REx-ID: 17222 |
Medina Ramos, Raimel A., and Maksym Serbyn. “A Recursive Lower Bound on the Energy Improvement of the Quantum Approximate Optimization Algorithm.” ArXiv, 2405.10125, doi:10.48550/arXiv.2405.10125.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17219 |
Synak, Peter, et al. “Multi-Material Mesh-Based Surface Tracking with Implicit Topology Changes.” ACM Transactions on Graphics, vol. 43, no. 4, Association for Computing Machinery, 2024, p. 54, doi:10.1145/3658223.
[Published Version]
View
| Files available
| DOI
2023 |Published| Book Chapter | IST-REx-ID: 12428 |
Hannezo, Edouard B., and Colinda L. G. J. Scheele. “A Guide Toward Multi-Scale and Quantitative Branching Analysis in the Mammary Gland.” Cell Migration in Three Dimensions, edited by Coert Margadant, vol. 2608, Springer Nature, 2023, pp. 183–205, doi:10.1007/978-1-0716-2887-4_12.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2023 |Published| Journal Article | IST-REx-ID: 12534 |
Ghazaryan, Areg, et al. “Dissipative Dynamics of an Impurity with Spin-Orbit Coupling.” Physical Review Research, vol. 5, no. 1, 013029, American Physical Society, 2023, doi:10.1103/physrevresearch.5.013029.
[Published Version]
View
| Files available
| DOI
2023 |Published| Conference Paper | IST-REx-ID: 12676 |
Chatterjee, Krishnendu, et al. “Faster Algorithm for Turn-Based Stochastic Games with Bounded Treewidth.” Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2023, pp. 4590–605, doi:10.1137/1.9781611977554.ch173.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 |Published| Conference Paper | IST-REx-ID: 12735 |
Koval, Nikita, et al. “Fast and Scalable Channels in Kotlin Coroutines.” Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Association for Computing Machinery, 2023, pp. 107–18, doi:10.1145/3572848.3577481.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 |Published| Conference Poster | IST-REx-ID: 12736 |
Aksenov, Vitaly, et al. “Unexpected Scaling in Path Copying Trees.” Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Association for Computing Machinery, 2023, pp. 438–40, doi:10.1145/3572848.3577512.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 |Published| Thesis | IST-REx-ID: 12716 |
Burnett, Laura. 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, doi:10.15479/at:ista:12716.
[Published Version]
View
| Files available
| DOI
2023 |Published| Conference Paper | IST-REx-ID: 12854 |
Chalupa, Marek, and Thomas A. Henzinger. “Bubaak: Runtime Monitoring of Program Verifiers.” Tools and Algorithms for the Construction and Analysis of Systems, vol. 13994, Springer Nature, 2023, pp. 535–40, doi:10.1007/978-3-031-30820-8_32.
[Published Version]
View
| Files available
| DOI
2023 |Published| Conference Paper | IST-REx-ID: 12856 |
Chalupa, Marek, et al. “Vamos: Middleware for Best-Effort Third-Party Monitoring.” Fundamental Approaches to Software Engineering, vol. 13991, Springer Nature, 2023, pp. 260–81, doi:10.1007/978-3-031-30826-0_15.
[Published Version]
View
| Files available
| DOI
2023 |Published| Technical Report | IST-REx-ID: 12407 |
Chalupa, Marek, et al. 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