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.
554 Publications
2022 | Conference Paper | IST-REx-ID: 12000 | 
Chatterjee K, Goharshady AK, Meggendorfer T, Zikelic D. 2022. Sound and complete certificates for auantitative termination analysis of probabilistic programs. Proceedings of the 34th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 13371, 55–78.
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Journal Article | IST-REx-ID: 12511 |
Lechner M, Zikelic D, Chatterjee K, Henzinger TA. 2022. Stability verification in stochastic control systems via neural network supermartingales. Proceedings of the AAAI Conference on Artificial Intelligence. 36(7), 7326–7336.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Preprint | IST-REx-ID: 14601 |
Zikelic D, Lechner M, Chatterjee K, Henzinger TA. Learning stabilizing policies in stochastic control systems. arXiv, 10.48550/arXiv.2205.11991.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Journal Article | IST-REx-ID: 10851 |
Phan DT, Senior JL, Ghazaryan A, Hatefipour M, Strickland WM, Shabani J, Serbyn M, Higginbotham AP. 2022. Detecting induced p±ip pairing at the Al-InAs interface with a quantum microwave circuit. Physical Review Letters. 128(10), 107701.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
| arXiv
2022 | Book Chapter | IST-REx-ID: 12294
Kumar R, Reichelt M, Bisht NC. 2022.An LC-MS/MS Assay for Enzymatic Characterization of Methylthioalkylmalate Synthase (MAMS) Involved in Glucosinolate Biosynthesis. In: Biochemical Pathways and Environmental Responses in Plants: Part A. Methods in Enzymology, vol. 676, 49–69.
View
| DOI
| PubMed | Europe PMC