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.
564 Publications
2022 | Journal Article | IST-REx-ID: 12511 | 
Lechner M, Zikelic D, Chatterjee K, Henzinger TA. Stability verification in stochastic control systems via neural network supermartingales. Proceedings of the AAAI Conference on Artificial Intelligence. 2022;36(7):7326-7336. doi:10.1609/aaai.v36i7.20695
[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. doi: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, et al. Detecting induced p±ip pairing at the Al-InAs interface with a quantum microwave circuit. Physical Review Letters. 2022;128(10). doi:10.1103/physrevlett.128.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. An LC-MS/MS Assay for Enzymatic Characterization of Methylthioalkylmalate Synthase (MAMS) Involved in Glucosinolate Biosynthesis. In: Jez J, ed. Biochemical Pathways and Environmental Responses in Plants: Part A. Vol 676. Elsevier; 2022:49-69. doi:10.1016/bs.mie.2022.07.019
View
| DOI
| PubMed | Europe PMC
2022 | Journal Article | IST-REx-ID: 11471 |
Sack S, Medina Ramos RA, Michailidis A, Kueng R, Serbyn M. Avoiding barren plateaus using classical shadows. PRX Quantum. 2022;3(2). doi:10.1103/prxquantum.3.020365
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv