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 | 
Automated verification and control of infinite state stochastic systems
D. Zikelic, Automated Verification and Control of Infinite State Stochastic Systems, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
D. Zikelic, Automated Verification and Control of Infinite State Stochastic Systems, Institute of Science and Technology Austria, 2023.
2023 | Epub ahead of print | Journal Article | IST-REx-ID: 12738 |
Stochastic games with lexicographic objectives
K. Chatterjee, J.P. Katoen, S. Mohr, M. Weininger, T. Winkler, Formal Methods in System Design (2023).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
K. Chatterjee, J.P. Katoen, S. Mohr, M. Weininger, T. Winkler, Formal Methods in System Design (2023).
2023 | Published | Journal Article | IST-REx-ID: 14558
Deterministic near-optimal approximation algorithms for dynamic set cover
S. Bhattacharya, M.H. Henzinger, D. Nanongkai, X. Wu, SIAM Journal on Computing 52 (2023) 1132–1192.
View
| DOI
S. Bhattacharya, M.H. Henzinger, D. Nanongkai, X. Wu, SIAM Journal on Computing 52 (2023) 1132–1192.
2023 | Published | Conference Paper | IST-REx-ID: 14462 |
Constant matters: Fine-grained error bound on differentially private continual observation
H. Fichtenberger, M.H. Henzinger, J. Upadhyay, in:, Proceedings of the 40th International Conference on Machine Learning, ML Research Press, 2023, pp. 10072–10092.
[Published Version]
View
| Download Published Version (ext.)
H. Fichtenberger, M.H. Henzinger, J. Upadhyay, in:, Proceedings of the 40th International Conference on Machine Learning, ML Research Press, 2023, pp. 10072–10092.
2023 | Published | Thesis | IST-REx-ID: 13106 |
Entangling microwaves with light
R. Sahu, L. Qiu, W.J. Hease, G.M. Arnold, Y. Minoguchi, P. Rabl, J.M. Fink, Entangling Microwaves with Light, American Association for the Advancement of Science, 2023.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
R. Sahu, L. Qiu, W.J. Hease, G.M. Arnold, Y. Minoguchi, P. Rabl, J.M. Fink, Entangling Microwaves with Light, American Association for the Advancement of Science, 2023.
2023 | Research Data Reference | IST-REx-ID: 13122 |
Entangling microwaves with light
R. Sahu, (2023).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
R. Sahu, (2023).
2023 | Published | Journal Article | IST-REx-ID: 12330 |
The splay-list: A distribution-adaptive concurrent skip-list
V. Aksenov, D.-A. Alistarh, A. Drozdova, A. Mohtashami, Distributed Computing 36 (2023) 395–418.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
V. Aksenov, D.-A. Alistarh, A. Drozdova, A. Mohtashami, Distributed Computing 36 (2023) 395–418.
2022 | Published | Journal Article | IST-REx-ID: 7577 |
Weak convergence for variational inequalities with inertial-type method
Y. Shehu, O.S. Iyiola, Applicable Analysis 101 (2022) 192–216.
[Submitted Version]
View
| Files available
| DOI
| WoS
| arXiv
Y. Shehu, O.S. Iyiola, Applicable Analysis 101 (2022) 192–216.
2022 | Published | Journal Article | IST-REx-ID: 7791 |
When different norms lead to same billiard trajectories?
A. Akopyan, R. Karasev, European Journal of Mathematics 8 (2022) 1309–1312.
[Published Version]
View
| Files available
| DOI
| arXiv
A. Akopyan, R. Karasev, European Journal of Mathematics 8 (2022) 1309–1312.
2022 | Published | Preprint | IST-REx-ID: 8125 |
High capacity and dynamic accessibility in associative memory networks with context-dependent neuronal and synaptic gating
W.F. Podlaski, E.J. Agnes, T.P. Vogels, BioRxiv (2022).
[Preprint]
View
| DOI
| Download Preprint (ext.)
W.F. Podlaski, E.J. Agnes, T.P. Vogels, BioRxiv (2022).
2022 | Published | Journal Article | IST-REx-ID: 12243 |
Directional extremal statistics for Ginibre eigenvalues
G. Cipolloni, L. Erdös, D.J. Schröder, Y. Xu, Journal of Mathematical Physics 63 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
G. Cipolloni, L. Erdös, D.J. Schröder, Y. Xu, Journal of Mathematical Physics 63 (2022).
2022 | Published | Journal Article | IST-REx-ID: 12244 |
A tool for mapping microglial morphology, morphOMICs, reveals brain-region and sex-dependent phenotypes
G. Colombo, R.J. Cubero, L. Kanari, A. Venturino, R. Schulz, M. Scolamiero, J. Agerberg, H. Mathys, L.-H. Tsai, W. Chachólski, K. Hess, S. Siegert, Nature Neuroscience 25 (2022) 1379–1393.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
G. Colombo, R.J. Cubero, L. Kanari, A. Venturino, R. Schulz, M. Scolamiero, J. Agerberg, H. Mathys, L.-H. Tsai, W. Chachólski, K. Hess, S. Siegert, Nature Neuroscience 25 (2022) 1379–1393.
2022 | Published | Journal Article | IST-REx-ID: 12245 |
Sequential and additive expression of miR-9 precursors control timing of neurogenesis
X. Soto, J. Burton, C.S. Manning, T. Minchington, R. Lea, J. Lee, J. Kursawe, M. Rattray, N. Papalopulu, Development 149 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
X. Soto, J. Burton, C.S. Manning, T. Minchington, R. Lea, J. Lee, J. Kursawe, M. Rattray, N. Papalopulu, Development 149 (2022).
2022 | Published | Journal Article | IST-REx-ID: 12246 |
Improved Lieb–Oxford bound on the indirect and exchange energies
M. Lewin, E.H. Lieb, R. Seiringer, Letters in Mathematical Physics 112 (2022).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
M. Lewin, E.H. Lieb, R. Seiringer, Letters in Mathematical Physics 112 (2022).
2022 | Published | Journal Article | IST-REx-ID: 12247 |
Genetic architecture of repeated phenotypic divergence in Littorina saxatilis evolution
E.L. Koch, M. Ravinet, A.M. Westram, K. Johannesson, R.K. Butlin, Evolution 76 (2022) 2332–2346.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
E.L. Koch, M. Ravinet, A.M. Westram, K. Johannesson, R.K. Butlin, Evolution 76 (2022) 2332–2346.
2022 | Published | Journal Article | IST-REx-ID: 12248 |
ZW sex-chromosome evolution and contagious parthenogenesis in Artemia brine shrimp
M.N. Elkrewi, U. Khauratovich, M.A. Toups, V.K. Bett, A. Mrnjavac, A. Macon, C. Fraisse, L. Sax, A.K. Huylmans, F. Hontoria, B. Vicoso, Genetics 222 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
M.N. Elkrewi, U. Khauratovich, M.A. Toups, V.K. Bett, A. Mrnjavac, A. Macon, C. Fraisse, L. Sax, A.K. Huylmans, F. Hontoria, B. Vicoso, Genetics 222 (2022).
2022 | Published | Journal Article | IST-REx-ID: 12249 |
Computing chemical potentials of solutions from structure factors
B. Cheng, The Journal of Chemical Physics 157 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
B. Cheng, The Journal of Chemical Physics 157 (2022).
2022 | Published | Journal Article | IST-REx-ID: 12251 |
Influence of denaturants on amyloid β42 aggregation kinetics
T. Weiffert, G. Meisl, S. Curk, R. Cukalevski, A. Šarić, T.P.J. Knowles, S. Linse, Frontiers in Neuroscience 16 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
T. Weiffert, G. Meisl, S. Curk, R. Cukalevski, A. Šarić, T.P.J. Knowles, S. Linse, Frontiers in Neuroscience 16 (2022).
2022 | Published | Journal Article | IST-REx-ID: 12252 |
Isolation of an escape-resistant SARS-CoV-2 neutralizing nanobody from a novel synthetic nanobody library
D. Dormeshkin, M. Shapira, S. Dubovik, A. Kavaleuski, M. Katsin, A. Migas, A. Meleshko, S. Semyonov, Frontiers in Immunology 13 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
D. Dormeshkin, M. Shapira, S. Dubovik, A. Kavaleuski, M. Katsin, A. Migas, A. Meleshko, S. Semyonov, Frontiers in Immunology 13 (2022).
2022 | Published | Journal Article | IST-REx-ID: 12253 |
A self-generated Toddler gradient guides mesodermal cell migration
J. Stock, T. Kazmar, F. Schlumm, E.B. Hannezo, A. Pauli, Science Advances 8 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
J. Stock, T. Kazmar, F. Schlumm, E.B. Hannezo, A. Pauli, Science Advances 8 (2022).