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.
4405 Publications
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17269 | 
Vercruysse E, Brückner D, Gómez-González M, et al. Geometry-driven migration efficiency of autonomous epithelial cell clusters. Nature Physics. 2024. doi:10.1038/s41567-024-02532-x
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2024 | Research Data | IST-REx-ID: 17042 |
Schanda P. Raw data to “MAS NMR experiments of corynebacterial cell walls: complementary 1H- and CPMAS CryoProbe-enhanced 13C-detected experiments.” 2024. doi:10.15479/AT:ISTA:17042
View
| Files available
| DOI
2024 |Published| Thesis | IST-REx-ID: 17208 |
Medina Ramos RA. Exploring the optimization landscape of variational quantum algorithms. 2024. doi:10.15479/at:ista:17208
[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. doi:10.48550/arXiv.2405.10125
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2024 |Published| Conference Paper | IST-REx-ID: 17328 |
Chatterjee K, Ebrahimzadeh A, Karrabi M, Pietrzak KZ, Yeo MX, Zikelic D. Fully automated selfish mining analysis in efficient proof systems blockchains. In: Proceedings of the 43rd Annual ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery; 2024:268-278. doi:10.1145/3662158.3662769
[Published Version]
View
| Files available
| DOI
| arXiv
2024 |Published| Conference Paper | IST-REx-ID: 17329 |
Alistarh D-A, Chatterjee K, Karrabi M, Lazarsfeld JM. Game dynamics and equilibrium computation in the population protocol model. In: Proceedings of the 43rd Annual ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery; 2024:40-49. doi:10.1145/3662158.3662768
[Published Version]
View
| Files available
| DOI
2024 |Published| Conference Paper | IST-REx-ID: 17332 |
Kokorin I, Yudov V, Aksenov V, Alistarh D-A. Wait-free trees with asymptotically-efficient range queries. In: 2024 IEEE International Parallel and Distributed Processing Symposium. IEEE; 2024:169-179. doi:10.1109/IPDPS57955.2024.00023
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2024 |Published| Conference Paper | IST-REx-ID: 17098 |
Asadi A, Chatterjee K, Svoboda J, Saona Urmeneta RJ. Deterministic sub-exponential algorithm for discounted-sum games with unary weights. In: 39th Annual ACM/IEEE Symposium on Logic in Computer Science. Association for Computing Machinery; 2024. doi:10.1145/3661814.3662080
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2024 |Published| Journal Article | IST-REx-ID: 17325 |
Lo WC, Krasnopeeva E, Pilizota T. Bacterial Electrophysiology. Annual Review of Biophysics. 2024;53:487-510. doi:10.1146/annurev-biophys-030822-032215
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2024 |Published| Conference Paper | IST-REx-ID: 17327 |
Cano F, Henzinger TA, Könighofer B, Kueffner K, Mallik K. Abstraction-based decision making for statistical properties. In: 9th International Conference on Formal Structures for Computation and Deduction. Vol 299. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2024. doi:10.4230/LIPIcs.FSCD.2024.2
[Published Version]
View
| Files available
| DOI