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 | 
D. Zikelic, “Automated verification and control of infinite state stochastic systems,” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2023 | Epub ahead of print | Journal Article | IST-REx-ID: 12738 |
K. Chatterjee, J. P. Katoen, S. Mohr, M. Weininger, and T. Winkler, “Stochastic games with lexicographic objectives,” Formal Methods in System Design. Springer Nature, 2023.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
2023 | Published | Journal Article | IST-REx-ID: 14558
S. Bhattacharya, M. H. Henzinger, D. Nanongkai, and X. Wu, “Deterministic near-optimal approximation algorithms for dynamic set cover,” SIAM Journal on Computing, vol. 52, no. 5. Society for Industrial and Applied Mathematics, pp. 1132–1192, 2023.
View
| DOI
2023 | Published | Conference Paper | IST-REx-ID: 14462 |
H. Fichtenberger, M. H. Henzinger, and J. Upadhyay, “Constant matters: Fine-grained error bound on differentially private continual observation,” in Proceedings of the 40th International Conference on Machine Learning, Honolulu, Hawaii, HI, United States, 2023, vol. 202, pp. 10072–10092.
[Published Version]
View
| Download Published Version (ext.)
2023 | Published | Thesis | IST-REx-ID: 13106 |
R. Sahu et al., “Entangling microwaves with light,” American Association for the Advancement of Science, 2023.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Research Data Reference | IST-REx-ID: 13122 |
R. Sahu, “Entangling microwaves with light.” Zenodo, 2023.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Published | Journal Article | IST-REx-ID: 12330 |
V. Aksenov, D.-A. Alistarh, A. Drozdova, and A. Mohtashami, “The splay-list: A distribution-adaptive concurrent skip-list,” Distributed Computing, vol. 36. Springer Nature, pp. 395–418, 2023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 7577 |
Y. Shehu and O. S. Iyiola, “Weak convergence for variational inequalities with inertial-type method,” Applicable Analysis, vol. 101, no. 1. Taylor & Francis, pp. 192–216, 2022.
[Submitted Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 7791 |
A. Akopyan and R. Karasev, “When different norms lead to same billiard trajectories?,” European Journal of Mathematics, vol. 8, no. 4. Springer Nature, pp. 1309–1312, 2022.
[Published Version]
View
| Files available
| DOI
| arXiv
2022 | Published | Preprint | IST-REx-ID: 8125 |
W. F. Podlaski, E. J. Agnes, and T. P. Vogels, “High capacity and dynamic accessibility in associative memory networks with context-dependent neuronal and synaptic gating,” bioRxiv. Cold Spring Harbor Laboratory, 2022.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2022 | Published | Journal Article | IST-REx-ID: 12243 |
G. Cipolloni, L. Erdös, D. J. Schröder, and Y. Xu, “Directional extremal statistics for Ginibre eigenvalues,” Journal of Mathematical Physics, vol. 63, no. 10. AIP Publishing, 2022.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 12244 |
G. Colombo et al., “A tool for mapping microglial morphology, morphOMICs, reveals brain-region and sex-dependent phenotypes,” Nature Neuroscience, vol. 25, no. 10. Springer Nature, pp. 1379–1393, 2022.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 | Published | Journal Article | IST-REx-ID: 12245 |
X. Soto et al., “Sequential and additive expression of miR-9 precursors control timing of neurogenesis,” Development, vol. 149, no. 19. The Company of Biologists, 2022.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 | Published | Journal Article | IST-REx-ID: 12246 |
M. Lewin, E. H. Lieb, and R. Seiringer, “Improved Lieb–Oxford bound on the indirect and exchange energies,” Letters in Mathematical Physics, vol. 112, no. 5. Springer Nature, 2022.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 12247 |
E. L. Koch, M. Ravinet, A. M. Westram, K. Johannesson, and R. K. Butlin, “Genetic architecture of repeated phenotypic divergence in Littorina saxatilis evolution,” Evolution, vol. 76, no. 10. Wiley, pp. 2332–2346, 2022.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 | Published | Journal Article | IST-REx-ID: 12248 |
M. N. Elkrewi et al., “ZW sex-chromosome evolution and contagious parthenogenesis in Artemia brine shrimp,” Genetics, vol. 222, no. 2. Oxford University Press, 2022.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 | Published | Journal Article | IST-REx-ID: 12249 |
B. Cheng, “Computing chemical potentials of solutions from structure factors,” The Journal of Chemical Physics, vol. 157, no. 12. AIP Publishing, 2022.
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Published | Journal Article | IST-REx-ID: 12251 |
T. Weiffert et al., “Influence of denaturants on amyloid β42 aggregation kinetics,” Frontiers in Neuroscience, vol. 16. Frontiers Media, 2022.
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Published | Journal Article | IST-REx-ID: 12252 |
D. Dormeshkin et al., “Isolation of an escape-resistant SARS-CoV-2 neutralizing nanobody from a novel synthetic nanobody library,” Frontiers in Immunology, vol. 13. Frontiers Media, 2022.
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Published | Journal Article | IST-REx-ID: 12253 |
J. Stock, T. Kazmar, F. Schlumm, E. B. Hannezo, and A. Pauli, “A self-generated Toddler gradient guides mesodermal cell migration,” Science Advances, vol. 8, no. 37. American Association for the Advancement of Science, 2022.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC