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. 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
2022 | Journal Article | IST-REx-ID: 11471 |
Sack S, Medina Ramos RA, Michailidis A, Kueng R, Serbyn M. 2022. Avoiding barren plateaus using classical shadows. PRX Quantum. 3(2), 020365.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 | Journal Article | IST-REx-ID: 12538 |
Amani MH, Bombari S, Mondelli M, Pukdee R, Rini S. 2022. Sharp asymptotics on the compression of two-layer neural networks. IEEE Information Theory Workshop., 588–593.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Conference Paper | IST-REx-ID: 12537 |
Bombari S, Amani MH, Mondelli M. 2022. Memorization and optimization in deep neural networks with minimum over-parameterization. 36th Conference on Neural Information Processing Systems. vol. 35, 7628–7640.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2022 | Journal Article | IST-REx-ID: 12272 |
Stopp JA, Sixt MK. 2022. Plan your trip before you leave: The neutrophils’ search-and-run journey. Journal of Cell Biology. 221(8), e202206127.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 | Journal Article | IST-REx-ID: 12155
Qin Y, Qin B, Wang D, Chang C, Zhao L-D. 2022. Solid-state cooling: Thermoelectrics. Energy & Environmental Science. 15(11), 4527–4541.
View
| Files available
| DOI
| WoS
2022 | Preprint | IST-REx-ID: 14600 |
Zikelic D, Lechner M, Henzinger TA, Chatterjee K. Learning control policies for stochastic systems with reach-avoid guarantees. arXiv, 10.48550/ARXIV.2210.05308.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv