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.
8915 Publications
2023 | Published | Conference Paper | IST-REx-ID: 14559
Ansaripour, M., Chatterjee, K., Henzinger, T. A., Lechner, M., & Zikelic, D. (2023). Learning provably stabilizing neural controllers for discrete-time stochastic systems. In 21st International Symposium on Automated Technology for Verification and Analysis (Vol. 14215, pp. 357–379). Singapore, Singapore: Springer Nature. https://doi.org/10.1007/978-3-031-45329-8_17
View
| DOI
2023 | Published | Conference Paper | IST-REx-ID: 14830
Zikelic, D., Lechner, M., Henzinger, T. A., & Chatterjee, K. (2023). Learning control policies for stochastic systems with reach-avoid guarantees. In Proceedings of the 37th AAAI Conference on Artificial Intelligence (Vol. 37, pp. 11926–11935). Washington, DC, United States: Association for the Advancement of Artificial Intelligence. https://doi.org/10.1609/aaai.v37i10.26407
[Preprint]
View
| Files available
| DOI
| arXiv
2023 | Epub ahead of print | Conference Paper | IST-REx-ID: 15023 | 
Zikelic, D., Lechner, M., Verma, A., Chatterjee, K., & Henzinger, T. A. (2023). Compositional policy learning in stochastic control systems with formal guarantees. In 37th Conference on Neural Information Processing Systems. New Orleans, LO, United States.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14778 |
Chatterjee, K., Kafshdar Goharshady, E., Novotný, P., Zárevúcky, J., & Zikelic, D. (2023). On lexicographic proof rules for probabilistic termination. Formal Aspects of Computing. Association for Computing Machinery. https://doi.org/10.1145/3585391
[Published Version]
View
| Files available
| DOI
| arXiv
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. https://doi.org/10.15479/14539
[Published Version]
View
| Files available
| DOI
2023 | Epub ahead of print | Journal Article | IST-REx-ID: 12738 |
Chatterjee, K., Katoen, J. P., Mohr, S., Weininger, M., & Winkler, T. (2023). Stochastic games with lexicographic objectives. Formal Methods in System Design. Springer Nature. 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, S., Henzinger, M. H., Nanongkai, D., & Wu, X. (2023). Deterministic near-optimal approximation algorithms for dynamic set cover. SIAM Journal on Computing. Society for Industrial and Applied Mathematics. https://doi.org/10.1137/21M1428649
View
| DOI
2023 | Published | Conference Paper | IST-REx-ID: 14462 |
Fichtenberger, H., Henzinger, M. H., & Upadhyay, J. (2023). Constant matters: Fine-grained error bound on differentially private continual observation. In Proceedings of the 40th International Conference on Machine Learning (Vol. 202, pp. 10072–10092). Honolulu, Hawaii, HI, United States: ML Research Press.
[Published Version]
View
| Download Published Version (ext.)
2023 | Published | Thesis | IST-REx-ID: 13106 |
Sahu, R., Qiu, L., Hease, W. J., Arnold, G. M., Minoguchi, Y., Rabl, P., & Fink, J. M. (2023). Entangling microwaves with light. American Association for the Advancement of Science. 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, R. (2023). Entangling microwaves with light. Zenodo. 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, V., Alistarh, D.-A., Drozdova, A., & Mohtashami, A. (2023). The splay-list: A distribution-adaptive concurrent skip-list. Distributed Computing. Springer Nature. 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, Y., & Iyiola, O. S. (2022). Weak convergence for variational inequalities with inertial-type method. Applicable Analysis. Taylor & Francis. 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, A., & Karasev, R. (2022). When different norms lead to same billiard trajectories? European Journal of Mathematics. Springer Nature. https://doi.org/10.1007/s40879-020-00405-0
[Published Version]
View
| Files available
| DOI
| arXiv
2022 | Published | Preprint | IST-REx-ID: 8125 |
Podlaski, W. F., Agnes, E. J., & Vogels, T. P. (2022). High capacity and dynamic accessibility in associative memory networks with context-dependent neuronal and synaptic gating. bioRxiv. Cold Spring Harbor Laboratory. https://doi.org/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, D. J., & Xu, Y. (2022). Directional extremal statistics for Ginibre eigenvalues. Journal of Mathematical Physics. AIP Publishing. https://doi.org/10.1063/5.0104290
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 12244 |
Colombo, G., Cubero, R. J., Kanari, L., Venturino, A., Schulz, R., Scolamiero, M., … Siegert, S. (2022). A tool for mapping microglial morphology, morphOMICs, reveals brain-region and sex-dependent phenotypes. Nature Neuroscience. Springer Nature. 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, X., Burton, J., Manning, C. S., Minchington, T., Lea, R., Lee, J., … Papalopulu, N. (2022). Sequential and additive expression of miR-9 precursors control timing of neurogenesis. Development. The Company of Biologists. 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, M., Lieb, E. H., & Seiringer, R. (2022). Improved Lieb–Oxford bound on the indirect and exchange energies. Letters in Mathematical Physics. Springer Nature. 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, E. L., Ravinet, M., Westram, A. M., Johannesson, K., & Butlin, R. K. (2022). Genetic architecture of repeated phenotypic divergence in Littorina saxatilis evolution. Evolution. Wiley. 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, M. N., Khauratovich, U., Toups, M. A., Bett, V. K., Mrnjavac, A., Macon, A., … Vicoso, B. (2022). ZW sex-chromosome evolution and contagious parthenogenesis in Artemia brine shrimp. Genetics. Oxford University Press. https://doi.org/10.1093/genetics/iyac123
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC