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.
277 Publications
2024 |Submitted| Preprint | IST-REx-ID: 17634 | 
Chalupa M, Henzinger TA, Mazzocchi NA, Sarac NE. QuAK: Quantitative Automata Kit. arXiv. doi:10.48550/arXiv.2409.03569
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Research Data | IST-REx-ID: 17362 |
Elkrewi MN, Vicoso B. Data for: “Single-nucleus atlas of the Artemia female reproductive system suggests germline repression of the Z chromosome.” 2024. doi:10.15479/AT:ISTA:17362
[Published Version]
View
| Files available
| DOI
2024 |Published| Thesis | IST-REx-ID: 17465
Shevchenko A. High-dimensional limits in artificial neural networks. 2024. doi:10.15479/at:ista:17465
[Published Version]
View
| Files available
| DOI
2024 |Published| Thesis | IST-REx-ID: 17490 |
Markov I. Communication-efficient distributed training of deep neural networks: An algorithms and systems perspective. 2024. doi:10.15479/at:ista:17490
[Published Version]
View
| Files available
| DOI
2024 |Published| Journal Article | IST-REx-ID: 17202 |
Sagi O, Crippa A, Valentini M, et al. A gate tunable transmon qubit in planar Ge. Nature Communications. 2024;15. doi:10.1038/s41467-024-50763-6
[Published Version]
View
| Files available
| DOI
| arXiv
2024 |Published| Thesis | IST-REx-ID: 17881
Mukhopadhyay S. Thermal effects in one dimensional Josephson chains. 2024. doi:10.15479/at:ista:17881
[Published Version]
View
| Files available
| DOI
2024 |Submitted| Preprint | IST-REx-ID: 18057 |
Mukhopadhyay S, Lancheros Naranjo DA, Senior JL, Higginbotham AP. Dual relaxation oscillations in a Josephson junction array. arXiv. doi:10.48550/arXiv.2408.07829
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2024 |Published| Thesis | IST-REx-ID: 17485 |
Frantar E. Compressing large neural networks : Algorithms, systems and scaling laws. 2024. doi:10.15479/at:ista:17485
[Published Version]
View
| Files available
| DOI
2024 |Published| Journal Article | IST-REx-ID: 18087 |
Maslov M, Koutentakis G, Hrast M, Heckl OH, Lemeshko M. Theory of angular momentum transfer from light to molecules. Physical Review Research. 2024;6(3). doi:10.1103/physrevresearch.6.033277
[Published Version]
View
| Files available
| DOI
| arXiv
2024 |Published| Conference Paper | IST-REx-ID: 18086
Alwen JF, Auerbach B, Cueto Noval M, Klein K, Pascual Perez G, Pietrzak KZ. DeCAF: Decentralizable CGKA with fast healing. In: Galdi C, Phan DH, eds. Security and Cryptography for Networks: 14th International Conference. Vol 14974. Cham: Springer Nature; 2024:294–313. doi:10.1007/978-3-031-71073-5_14
View
| Files available
| DOI
2024 |Submitted| Preprint | IST-REx-ID: 18144 |
Janik M, Roux KER, Espinosa CB, et al. Strong charge-photon coupling in planar germanium enabled by granular aluminium superinductors. arXiv. doi:10.48550/arXiv.2407.03079
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2024 |Published| Journal Article | IST-REx-ID: 18107 |
Lauritsen AB, Seiringer R. Pressure of a dilute spin-polarized Fermi gas: Lower bound. Forum of Mathematics, Sigma. 2024;12. doi:10.1017/fms.2024.56
[Published Version]
View
| Files available
| DOI
| arXiv
2024 |Published| 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
2023 |Published| 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 |Published| 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 |Published| 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 |Published| Thesis | IST-REx-ID: 12826 |
Pokusaeva V. Neural control of optic flow-based navigation in Drosophila melanogaster. 2023. doi:10.15479/at:ista:12826
[Published Version]
View
| Files available
| DOI
2023 |Published| Conference Paper | IST-REx-ID: 12467 |
Henzinger TA, Mazzocchi NA, Sarac NE. Quantitative safety and liveness. In: 26th International Conference Foundations of Software Science and Computation Structures. Vol 13992. Springer Nature; 2023:349-370. doi:10.1007/978-3-031-30829-1_17
[Published Version]
View
| Files available
| DOI
| arXiv
2023 |Published| Conference Paper | IST-REx-ID: 13292 |
Henzinger TA, Kebis P, Mazzocchi NA, Sarac NE. Regular methods for operator precedence languages. In: 50th International Colloquium on Automata, Languages, and Programming. Vol 261. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2023:129:1--129:20. doi:10.4230/LIPIcs.ICALP.2023.129
[Published Version]
View
| Files available
| DOI
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 12545 |
Rojas Vega MN, De Castro P, Soto R. Wetting dynamics by mixtures of fast and slow self-propelled particles. Physical Review E. 2023;107(1). doi:10.1103/PhysRevE.107.014608
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv