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 TA, Lechner M, Zikelic D. Learning provably stabilizing neural controllers for discrete-time stochastic systems. In: 21st International Symposium on Automated Technology for Verification and Analysis. Vol 14215. Springer Nature; 2023:357-379. doi:10.1007/978-3-031-45329-8_17
View
| DOI
2023 | Published | Conference Paper | IST-REx-ID: 14830
Zikelic D, Lechner M, Henzinger TA, Chatterjee K. Learning control policies for stochastic systems with reach-avoid guarantees. In: Proceedings of the 37th AAAI Conference on Artificial Intelligence. Vol 37. Association for the Advancement of Artificial Intelligence; 2023:11926-11935. doi: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 TA. Compositional policy learning in stochastic control systems with formal guarantees. In: 37th Conference on Neural Information Processing Systems. ; 2023.
[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. On lexicographic proof rules for probabilistic termination. Formal Aspects of Computing. 2023;35(2). doi:10.1145/3585391
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Thesis | IST-REx-ID: 14539 |
Zikelic D. Automated verification and control of infinite state stochastic systems. 2023. doi:10.15479/14539
[Published Version]
View
| Files available
| DOI
2023 | Epub ahead of print | Journal Article | IST-REx-ID: 12738 |
Chatterjee K, Katoen JP, Mohr S, Weininger M, Winkler T. Stochastic games with lexicographic objectives. Formal Methods in System Design. 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 S, Henzinger MH, Nanongkai D, Wu X. Deterministic near-optimal approximation algorithms for dynamic set cover. SIAM Journal on Computing. 2023;52(5):1132-1192. doi:10.1137/21M1428649
View
| DOI
2023 | Published | Conference Paper | IST-REx-ID: 14462 |
Fichtenberger H, Henzinger MH, Upadhyay J. Constant matters: Fine-grained error bound on differentially private continual observation. In: Proceedings of the 40th International Conference on Machine Learning. Vol 202. ML Research Press; 2023:10072-10092.
[Published Version]
View
| Download Published Version (ext.)
2023 | Published | Thesis | IST-REx-ID: 13106 |
Sahu R, Qiu L, Hease WJ, et al. Entangling microwaves with light. 2023;380:718-721. doi:10.1126/science.adg3812
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Research Data Reference | IST-REx-ID: 13122 |
Sahu R. Entangling microwaves with light. 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 V, Alistarh D-A, Drozdova A, Mohtashami A. The splay-list: A distribution-adaptive concurrent skip-list. Distributed Computing. 2023;36: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 Y, Iyiola OS. Weak convergence for variational inequalities with inertial-type method. Applicable Analysis. 2022;101(1):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 A, Karasev R. When different norms lead to same billiard trajectories? European Journal of Mathematics. 2022;8(4):1309-1312. doi:10.1007/s40879-020-00405-0
[Published Version]
View
| Files available
| DOI
| arXiv
2022 | Published | Preprint | IST-REx-ID: 8125 |
Podlaski WF, Agnes EJ, Vogels TP. High capacity and dynamic accessibility in associative memory networks with context-dependent neuronal and synaptic gating. bioRxiv. 2022. doi: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 DJ, Xu Y. Directional extremal statistics for Ginibre eigenvalues. Journal of Mathematical Physics. 2022;63(10). doi:10.1063/5.0104290
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 12244 |
Colombo G, Cubero RJ, Kanari L, et al. A tool for mapping microglial morphology, morphOMICs, reveals brain-region and sex-dependent phenotypes. Nature Neuroscience. 2022;25(10):1379-1393. 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 X, Burton J, Manning CS, et al. Sequential and additive expression of miR-9 precursors control timing of neurogenesis. Development. 2022;149(19). doi: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 EH, Seiringer R. Improved Lieb–Oxford bound on the indirect and exchange energies. Letters in Mathematical Physics. 2022;112(5). doi:10.1007/s11005-022-01584-5
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 12247 |
Koch EL, Ravinet M, Westram AM, Johannesson K, Butlin RK. Genetic architecture of repeated phenotypic divergence in Littorina saxatilis evolution. Evolution. 2022;76(10):2332-2346. doi:10.1111/evo.14602
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 | Published | Journal Article | IST-REx-ID: 12248 |
Elkrewi MN, Khauratovich U, Toups MA, et al. ZW sex-chromosome evolution and contagious parthenogenesis in Artemia brine shrimp. Genetics. 2022;222(2). doi:10.1093/genetics/iyac123
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC