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. 2023. Automated verification and control of infinite state stochastic systems. Institute of Science and Technology Austria.
[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. 2023. Stochastic games with lexicographic objectives. Formal Methods in System Design.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
2023 | Published | Conference Paper | IST-REx-ID: 14462 |
Fichtenberger H, Henzinger MH, Upadhyay J. 2023. Constant matters: Fine-grained error bound on differentially private continual observation. Proceedings of the 40th International Conference on Machine Learning. ICML: International Conference on Machine Learning, PMLR, vol. 202, 10072–10092.
[Published Version]
View
| Download Published Version (ext.)
2023 | Published | Thesis | IST-REx-ID: 13106 |
Sahu R, Qiu L, Hease WJ, Arnold GM, Minoguchi Y, Rabl P, Fink JM. 2023. Entangling microwaves with light. American Association for the Advancement of Science.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Research Data Reference | IST-REx-ID: 13122 |
Sahu R. 2023. Entangling microwaves with light, Zenodo, 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. 2023. The splay-list: A distribution-adaptive concurrent skip-list. Distributed Computing. 36, 395–418.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 7577 |
Shehu Y, Iyiola OS. 2022. Weak convergence for variational inequalities with inertial-type method. Applicable Analysis. 101(1), 192–216.
[Submitted Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 7791 |
Akopyan A, Karasev R. 2022. When different norms lead to same billiard trajectories? European Journal of Mathematics. 8(4), 1309–1312.
[Published Version]
View
| Files available
| DOI
| arXiv
2022 | Published | Preprint | IST-REx-ID: 8125 |
Podlaski WF, Agnes EJ, Vogels TP. 2022. High capacity and dynamic accessibility in associative memory networks with context-dependent neuronal and synaptic gating. bioRxiv, 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. 2022. Directional extremal statistics for Ginibre eigenvalues. Journal of Mathematical Physics. 63(10), 103303.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 12244 |
Colombo G, Cubero RJ, Kanari L, Venturino A, Schulz R, Scolamiero M, Agerberg J, Mathys H, Tsai L-H, Chachólski W, Hess K, Siegert S. 2022. A tool for mapping microglial morphology, morphOMICs, reveals brain-region and sex-dependent phenotypes. Nature Neuroscience. 25(10), 1379–1393.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 | Published | Journal Article | IST-REx-ID: 12245 |
Soto X, Burton J, Manning CS, Minchington T, Lea R, Lee J, Kursawe J, Rattray M, Papalopulu N. 2022. Sequential and additive expression of miR-9 precursors control timing of neurogenesis. Development. 149(19), dev200474.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 | Published | Journal Article | IST-REx-ID: 12246 |
Lewin M, Lieb EH, Seiringer R. 2022. Improved Lieb–Oxford bound on the indirect and exchange energies. Letters in Mathematical Physics. 112(5), 92.
[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. 2022. Genetic architecture of repeated phenotypic divergence in Littorina saxatilis evolution. Evolution. 76(10), 2332–2346.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 | Published | Journal Article | IST-REx-ID: 12248 |
Elkrewi MN, Khauratovich U, Toups MA, Bett VK, Mrnjavac A, Macon A, Fraisse C, Sax L, Huylmans AK, Hontoria F, Vicoso B. 2022. ZW sex-chromosome evolution and contagious parthenogenesis in Artemia brine shrimp. Genetics. 222(2), iyac123.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 | Published | Journal Article | IST-REx-ID: 12249 |
Cheng B. 2022. Computing chemical potentials of solutions from structure factors. The Journal of Chemical Physics. 157(12), 121101.
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Published | Journal Article | IST-REx-ID: 12251 |
Weiffert T, Meisl G, Curk S, Cukalevski R, Šarić A, Knowles TPJ, Linse S. 2022. Influence of denaturants on amyloid β42 aggregation kinetics. Frontiers in Neuroscience. 16, 943355.
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Published | Journal Article | IST-REx-ID: 12252 |
Dormeshkin D, Shapira M, Dubovik S, Kavaleuski A, Katsin M, Migas A, Meleshko A, Semyonov S. 2022. Isolation of an escape-resistant SARS-CoV-2 neutralizing nanobody from a novel synthetic nanobody library. Frontiers in Immunology. 13, 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. 2022. A self-generated Toddler gradient guides mesodermal cell migration. Science Advances. 8(37), eadd2488.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC