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.
4854 Publications
2023 | Published | Thesis | IST-REx-ID: 14539 | 
Zikelic D. Automated verification and control of infinite state stochastic systems. 2023. doi:10.15479/14539
[Published Version]
View
| Files available
| DOI
2023 | Epub ahead of print | Journal Article | IST-REx-ID: 12738 |
Chatterjee K, Katoen JP, Mohr S, Weininger M, Winkler T. Stochastic games with lexicographic objectives. Formal Methods in System Design. 2023. doi:10.1007/s10703-023-00411-4
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
2023 | Published | Journal Article | IST-REx-ID: 14558
Bhattacharya S, Henzinger MH, Nanongkai D, Wu X. Deterministic near-optimal approximation algorithms for dynamic set cover. SIAM Journal on Computing. 2023;52(5):1132-1192. doi:10.1137/21M1428649
View
| DOI
2023 | Published | Conference Paper | IST-REx-ID: 14462 |
Fichtenberger H, Henzinger MH, Upadhyay J. Constant matters: Fine-grained error bound on differentially private continual observation. In: Proceedings of the 40th International Conference on Machine Learning. Vol 202. ML Research Press; 2023:10072-10092.
[Published Version]
View
| Download Published Version (ext.)
2023 | Published | Thesis | IST-REx-ID: 13106 |
Sahu R, Qiu L, Hease WJ, et al. Entangling microwaves with light. 2023;380:718-721. doi:10.1126/science.adg3812
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Research Data Reference | IST-REx-ID: 13122 |
Sahu R. Entangling microwaves with light. 2023. doi:10.5281/ZENODO.7789417
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Published | Journal Article | IST-REx-ID: 12330 |
Aksenov V, Alistarh D-A, Drozdova A, Mohtashami A. The splay-list: A distribution-adaptive concurrent skip-list. Distributed Computing. 2023;36:395-418. doi:10.1007/s00446-022-00441-x
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 7577 |
Shehu Y, Iyiola OS. Weak convergence for variational inequalities with inertial-type method. Applicable Analysis. 2022;101(1):192-216. doi:10.1080/00036811.2020.1736287
[Submitted Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 7791 |
Akopyan A, Karasev R. When different norms lead to same billiard trajectories? European Journal of Mathematics. 2022;8(4):1309-1312. doi:10.1007/s40879-020-00405-0
[Published Version]
View
| Files available
| DOI
| arXiv
2022 | Published | Preprint | IST-REx-ID: 8125 |
Podlaski WF, Agnes EJ, Vogels TP. High capacity and dynamic accessibility in associative memory networks with context-dependent neuronal and synaptic gating. bioRxiv. 2022. doi:10.1101/2020.01.08.898528
[Preprint]
View
| DOI
| Download Preprint (ext.)
2022 | Published | Journal Article | IST-REx-ID: 12243 |
Cipolloni G, Erdös L, Schröder DJ, Xu Y. Directional extremal statistics for Ginibre eigenvalues. Journal of Mathematical Physics. 2022;63(10). doi:10.1063/5.0104290
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 12244 |
Colombo G, Cubero RJ, Kanari L, et al. A tool for mapping microglial morphology, morphOMICs, reveals brain-region and sex-dependent phenotypes. Nature Neuroscience. 2022;25(10):1379-1393. doi:10.1038/s41593-022-01167-6
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 | Published | Journal Article | IST-REx-ID: 12245 |
Soto X, Burton J, Manning CS, et al. Sequential and additive expression of miR-9 precursors control timing of neurogenesis. Development. 2022;149(19). doi:10.1242/dev.200474
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 | Published | Journal Article | IST-REx-ID: 12246 |
Lewin M, Lieb EH, Seiringer R. Improved Lieb–Oxford bound on the indirect and exchange energies. Letters in Mathematical Physics. 2022;112(5). doi:10.1007/s11005-022-01584-5
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 12247 |
Koch EL, Ravinet M, Westram AM, Johannesson K, Butlin RK. Genetic architecture of repeated phenotypic divergence in Littorina saxatilis evolution. Evolution. 2022;76(10):2332-2346. doi:10.1111/evo.14602
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 | Published | Journal Article | IST-REx-ID: 12248 |
Elkrewi MN, Khauratovich U, Toups MA, et al. ZW sex-chromosome evolution and contagious parthenogenesis in Artemia brine shrimp. Genetics. 2022;222(2). doi:10.1093/genetics/iyac123
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 | Published | Journal Article | IST-REx-ID: 12249 |
Cheng B. Computing chemical potentials of solutions from structure factors. The Journal of Chemical Physics. 2022;157(12). doi:10.1063/5.0107059
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Published | Journal Article | IST-REx-ID: 12251 |
Weiffert T, Meisl G, Curk S, et al. Influence of denaturants on amyloid β42 aggregation kinetics. Frontiers in Neuroscience. 2022;16. doi:10.3389/fnins.2022.943355
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Published | Journal Article | IST-REx-ID: 12252 |
Dormeshkin D, Shapira M, Dubovik S, et al. Isolation of an escape-resistant SARS-CoV-2 neutralizing nanobody from a novel synthetic nanobody library. Frontiers in Immunology. 2022;13. doi:10.3389/fimmu.2022.965446
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Published | Journal Article | IST-REx-ID: 12253 |
Stock J, Kazmar T, Schlumm F, Hannezo EB, Pauli A. A self-generated Toddler gradient guides mesodermal cell migration. Science Advances. 2022;8(37). doi:10.1126/sciadv.add2488
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC