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.

4976 Publications


2022 | Conference Paper | IST-REx-ID: 12000 | OA
Chatterjee, Krishnendu, Amir Kafshdar Goharshady, Tobias Meggendorfer, and Dorde Zikelic. “Sound and Complete Certificates for Auantitative Termination Analysis of Probabilistic Programs.” In Proceedings of the 34th International Conference on Computer Aided Verification, 13371:55–78. Springer, 2022. https://doi.org/10.1007/978-3-031-13185-1_4.
[Published Version] View | Files available | DOI | WoS
 

2022 | Journal Article | IST-REx-ID: 12511 | OA
Lechner, Mathias, Dorde Zikelic, Krishnendu Chatterjee, and Thomas A Henzinger. “Stability Verification in Stochastic Control Systems via Neural Network Supermartingales.” Proceedings of the AAAI Conference on Artificial Intelligence. Association for the Advancement of Artificial Intelligence, 2022. https://doi.org/10.1609/aaai.v36i7.20695.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2022 | Preprint | IST-REx-ID: 14601 | OA
Zikelic, Dorde, Mathias Lechner, Krishnendu Chatterjee, and Thomas A Henzinger. “Learning Stabilizing Policies in Stochastic Control Systems.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2205.11991.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2022 | Journal Article | IST-REx-ID: 10851 | OA
Phan, Duc T, Jorden L Senior, Areg Ghazaryan, M. Hatefipour, W. M. Strickland, J. Shabani, Maksym Serbyn, and Andrew P Higginbotham. “Detecting Induced P±ip Pairing at the Al-InAs Interface with a Quantum Microwave Circuit.” Physical Review Letters. American Physical Society, 2022. https://doi.org/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, Roshan, Michael Reichelt, and Naveen C. Bisht. “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, edited by Joseph Jez, 676:49–69. Elsevier, 2022. https://doi.org/10.1016/bs.mie.2022.07.019.
View | DOI | PubMed | Europe PMC
 

Filters and Search Terms

extern<>1

Search

Filter Publications