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, doi:10.15479/14539.
[Published Version]
View
| Files available
| DOI
2023 | Epub ahead of print | Journal Article | IST-REx-ID: 12738 |
Chatterjee, Krishnendu, et al. “Stochastic Games with Lexicographic Objectives.” Formal Methods in System Design, Springer Nature, 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, Sayan, et al. “Deterministic Near-Optimal Approximation Algorithms for Dynamic Set Cover.” SIAM Journal on Computing, vol. 52, no. 5, Society for Industrial and Applied Mathematics, 2023, pp. 1132–92, doi:10.1137/21M1428649.
View
| DOI
2023 | Published | Conference Paper | IST-REx-ID: 14462 |
Fichtenberger, Hendrik, et al. “Constant Matters: Fine-Grained Error Bound on Differentially Private Continual Observation.” Proceedings of the 40th International Conference on Machine Learning, vol. 202, ML Research Press, 2023, pp. 10072–92.
[Published Version]
View
| Download Published Version (ext.)
2023 | Published | Thesis | IST-REx-ID: 13106 |
Sahu, Rishabh, et al. Entangling Microwaves with Light. Vol. 380, American Association for the Advancement of Science, 2023, pp. 718–21, doi: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, doi:10.5281/ZENODO.7789417.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Published | Journal Article | IST-REx-ID: 12330 |
Aksenov, Vitalii, et al. “The Splay-List: A Distribution-Adaptive Concurrent Skip-List.” Distributed Computing, vol. 36, Springer Nature, 2023, pp. 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, Yekini, and Olaniyi S. Iyiola. “Weak Convergence for Variational Inequalities with Inertial-Type Method.” Applicable Analysis, vol. 101, no. 1, Taylor & Francis, 2022, pp. 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, Arseniy, and Roman Karasev. “When Different Norms Lead to Same Billiard Trajectories?” European Journal of Mathematics, vol. 8, no. 4, Springer Nature, 2022, pp. 1309–12, doi:10.1007/s40879-020-00405-0.
[Published Version]
View
| Files available
| DOI
| arXiv
2022 | Published | Preprint | IST-REx-ID: 8125 |
Podlaski, William F., et al. “High Capacity and Dynamic Accessibility in Associative Memory Networks with Context-Dependent Neuronal and Synaptic Gating.” BioRxiv, Cold Spring Harbor Laboratory, 2022, doi:10.1101/2020.01.08.898528.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2022 | Published | Journal Article | IST-REx-ID: 12243 |
Cipolloni, Giorgio, et al. “Directional Extremal Statistics for Ginibre Eigenvalues.” Journal of Mathematical Physics, vol. 63, no. 10, 103303, AIP Publishing, 2022, doi:10.1063/5.0104290.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 12244 |
Colombo, Gloria, et al. “A Tool for Mapping Microglial Morphology, MorphOMICs, Reveals Brain-Region and Sex-Dependent Phenotypes.” Nature Neuroscience, vol. 25, no. 10, Springer Nature, 2022, pp. 1379–93, 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, Ximena, et al. “Sequential and Additive Expression of MiR-9 Precursors Control Timing of Neurogenesis.” Development, vol. 149, no. 19, dev200474, The Company of Biologists, 2022, doi:10.1242/dev.200474.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 | Published | Journal Article | IST-REx-ID: 12246 |
Lewin, Mathieu, et al. “Improved Lieb–Oxford Bound on the Indirect and Exchange Energies.” Letters in Mathematical Physics, vol. 112, no. 5, 92, Springer Nature, 2022, doi: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., et al. “Genetic Architecture of Repeated Phenotypic Divergence in Littorina Saxatilis Evolution.” Evolution, vol. 76, no. 10, Wiley, 2022, pp. 2332–46, doi: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., et al. “ZW Sex-Chromosome Evolution and Contagious Parthenogenesis in Artemia Brine Shrimp.” Genetics, vol. 222, no. 2, iyac123, Oxford University Press, 2022, doi: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, vol. 157, no. 12, 121101, AIP Publishing, 2022, doi:10.1063/5.0107059.
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Published | Journal Article | IST-REx-ID: 12251 |
Weiffert, Tanja, et al. “Influence of Denaturants on Amyloid Β42 Aggregation Kinetics.” Frontiers in Neuroscience, vol. 16, 943355, Frontiers Media, 2022, doi:10.3389/fnins.2022.943355.
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Published | Journal Article | IST-REx-ID: 12252 |
Dormeshkin, Dmitri, et al. “Isolation of an Escape-Resistant SARS-CoV-2 Neutralizing Nanobody from a Novel Synthetic Nanobody Library.” Frontiers in Immunology, vol. 13, 965446, Frontiers Media, 2022, doi:10.3389/fimmu.2022.965446.
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Published | Journal Article | IST-REx-ID: 12253 |
Stock, Jessica, et al. “A Self-Generated Toddler Gradient Guides Mesodermal Cell Migration.” Science Advances, vol. 8, no. 37, eadd2488, American Association for the Advancement of Science, 2022, doi:10.1126/sciadv.add2488.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC