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, Dorde. “Automated Verification and Control of Infinite State Stochastic Systems.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/14539.
[Published Version]
View
| Files available
| DOI
2023 | Epub ahead of print | Journal Article | IST-REx-ID: 12738 |
Chatterjee, Krishnendu, Joost P Katoen, Stefanie Mohr, Maximilian Weininger, and Tobias Winkler. “Stochastic Games with Lexicographic Objectives.” Formal Methods in System Design. Springer Nature, 2023. https://doi.org/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, Sayan, Monika H Henzinger, Danupon Nanongkai, and Xiaowei Wu. “Deterministic Near-Optimal Approximation Algorithms for Dynamic Set Cover.” SIAM Journal on Computing. Society for Industrial and Applied Mathematics, 2023. https://doi.org/10.1137/21M1428649.
View
| DOI
2023 | Published | Conference Paper | IST-REx-ID: 14462 |
Fichtenberger, Hendrik, Monika H Henzinger, and Jalaj Upadhyay. “Constant Matters: Fine-Grained Error Bound on Differentially Private Continual Observation.” In Proceedings of the 40th International Conference on Machine Learning, 202:10072–92. ML Research Press, 2023.
[Published Version]
View
| Download Published Version (ext.)
2023 | Published | Thesis | IST-REx-ID: 13106 |
Sahu, Rishabh, Liu Qiu, William J Hease, Georg M Arnold, Y. Minoguchi, P. Rabl, and Johannes M Fink. “Entangling Microwaves with Light.” American Association for the Advancement of Science, 2023. https://doi.org/10.1126/science.adg3812.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Research Data Reference | IST-REx-ID: 13122 |
Sahu, Rishabh. “Entangling Microwaves with Light.” Zenodo, 2023. https://doi.org/10.5281/ZENODO.7789417.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Published | Journal Article | IST-REx-ID: 12330 |
Aksenov, Vitalii, Dan-Adrian Alistarh, Alexandra Drozdova, and Amirkeivan Mohtashami. “The Splay-List: A Distribution-Adaptive Concurrent Skip-List.” Distributed Computing. Springer Nature, 2023. https://doi.org/10.1007/s00446-022-00441-x.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 7577 |
Shehu, Yekini, and Olaniyi S. Iyiola. “Weak Convergence for Variational Inequalities with Inertial-Type Method.” Applicable Analysis. Taylor & Francis, 2022. https://doi.org/10.1080/00036811.2020.1736287.
[Submitted Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 7791 |
Akopyan, Arseniy, and Roman Karasev. “When Different Norms Lead to Same Billiard Trajectories?” European Journal of Mathematics. Springer Nature, 2022. https://doi.org/10.1007/s40879-020-00405-0.
[Published Version]
View
| Files available
| DOI
| arXiv
2022 | Published | Preprint | IST-REx-ID: 8125 |
Podlaski, William F., Everton J. Agnes, and Tim P Vogels. “High Capacity and Dynamic Accessibility in Associative Memory Networks with Context-Dependent Neuronal and Synaptic Gating.” BioRxiv. Cold Spring Harbor Laboratory, 2022. https://doi.org/10.1101/2020.01.08.898528.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2022 | Published | Journal Article | IST-REx-ID: 12243 |
Cipolloni, Giorgio, László Erdös, Dominik J Schröder, and Yuanyuan Xu. “Directional Extremal Statistics for Ginibre Eigenvalues.” Journal of Mathematical Physics. AIP Publishing, 2022. https://doi.org/10.1063/5.0104290.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 12244 |
Colombo, Gloria, Ryan J Cubero, Lida Kanari, Alessandro Venturino, Rouven Schulz, Martina Scolamiero, Jens Agerberg, et al. “A Tool for Mapping Microglial Morphology, MorphOMICs, Reveals Brain-Region and Sex-Dependent Phenotypes.” Nature Neuroscience. Springer Nature, 2022. https://doi.org/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, Ximena, Joshua Burton, Cerys S. Manning, Thomas Minchington, Robert Lea, Jessica Lee, Jochen Kursawe, Magnus Rattray, and Nancy Papalopulu. “Sequential and Additive Expression of MiR-9 Precursors Control Timing of Neurogenesis.” Development. The Company of Biologists, 2022. https://doi.org/10.1242/dev.200474.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 | Published | Journal Article | IST-REx-ID: 12246 |
Lewin, Mathieu, Elliott H. Lieb, and Robert Seiringer. “Improved Lieb–Oxford Bound on the Indirect and Exchange Energies.” Letters in Mathematical Physics. Springer Nature, 2022. https://doi.org/10.1007/s11005-022-01584-5.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 12247 |
Koch, Eva L., Mark Ravinet, Anja M Westram, Kerstin Johannesson, and Roger K. Butlin. “Genetic Architecture of Repeated Phenotypic Divergence in Littorina Saxatilis Evolution.” Evolution. Wiley, 2022. https://doi.org/10.1111/evo.14602.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 | Published | Journal Article | IST-REx-ID: 12248 |
Elkrewi, Marwan N, Uladzislava Khauratovich, Melissa A Toups, Vincent K Bett, Andrea Mrnjavac, Ariana Macon, Christelle Fraisse, et al. “ZW Sex-Chromosome Evolution and Contagious Parthenogenesis in Artemia Brine Shrimp.” Genetics. Oxford University Press, 2022. https://doi.org/10.1093/genetics/iyac123.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 | Published | Journal Article | IST-REx-ID: 12249 |
Cheng, Bingqing. “Computing Chemical Potentials of Solutions from Structure Factors.” The Journal of Chemical Physics. AIP Publishing, 2022. https://doi.org/10.1063/5.0107059.
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Published | Journal Article | IST-REx-ID: 12251 |
Weiffert, Tanja, Georg Meisl, Samo Curk, Risto Cukalevski, Anđela Šarić, Tuomas P. J. Knowles, and Sara Linse. “Influence of Denaturants on Amyloid Β42 Aggregation Kinetics.” Frontiers in Neuroscience. Frontiers Media, 2022. https://doi.org/10.3389/fnins.2022.943355.
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Published | Journal Article | IST-REx-ID: 12252 |
Dormeshkin, Dmitri, Michail Shapira, Simon Dubovik, Anton Kavaleuski, Mikalai Katsin, Alexandr Migas, Alexander Meleshko, and Sergei Semyonov. “Isolation of an Escape-Resistant SARS-CoV-2 Neutralizing Nanobody from a Novel Synthetic Nanobody Library.” Frontiers in Immunology. Frontiers Media, 2022. https://doi.org/10.3389/fimmu.2022.965446.
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Published | Journal Article | IST-REx-ID: 12253 |
Stock, Jessica, Tomas Kazmar, Friederike Schlumm, Edouard B Hannezo, and Andrea Pauli. “A Self-Generated Toddler Gradient Guides Mesodermal Cell Migration.” Science Advances. American Association for the Advancement of Science, 2022. https://doi.org/10.1126/sciadv.add2488.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC