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, A. K., Meggendorfer, T., & Zikelic, D. (2022). Sound and complete certificates for auantitative termination analysis of probabilistic programs. In Proceedings of the 34th International Conference on Computer Aided Verification (Vol. 13371, pp. 55–78). Haifa, Israel: Springer. 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 |
Lechner, M., Zikelic, D., Chatterjee, K., & Henzinger, T. A. (2022). 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. https://doi.org/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, T. A. (n.d.). Learning stabilizing policies in stochastic control systems. arXiv. https://doi.org/10.48550/arXiv.2205.11991
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Journal Article | IST-REx-ID: 10851 |
Phan, D. T., Senior, J. L., Ghazaryan, A., Hatefipour, M., Strickland, W. M., Shabani, J., … Higginbotham, A. P. (2022). Detecting induced p±ip pairing at the Al-InAs interface with a quantum microwave circuit. Physical Review Letters. American Physical Society. 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, R., Reichelt, M., & Bisht, N. C. (2022). An LC-MS/MS Assay for Enzymatic Characterization of Methylthioalkylmalate Synthase (MAMS) Involved in Glucosinolate Biosynthesis. In J. Jez (Ed.), Biochemical Pathways and Environmental Responses in Plants: Part A (Vol. 676, pp. 49–69). Elsevier. https://doi.org/10.1016/bs.mie.2022.07.019
View
| DOI
| PubMed | Europe PMC
2022 | Journal Article | IST-REx-ID: 11471 |
Sack, S., Medina Ramos, R. A., Michailidis, A., Kueng, R., & Serbyn, M. (2022). Avoiding barren plateaus using classical shadows. PRX Quantum. American Physical Society. https://doi.org/10.1103/prxquantum.3.020365
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 | Journal Article | IST-REx-ID: 12538 |
Amani, M. H., Bombari, S., Mondelli, M., Pukdee, R., & Rini, S. (2022). Sharp asymptotics on the compression of two-layer neural networks. IEEE Information Theory Workshop. Mumbai, India: IEEE. https://doi.org/10.1109/ITW54588.2022.9965870
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Conference Paper | IST-REx-ID: 12537 |
Bombari, S., Amani, M. H., & Mondelli, M. (2022). Memorization and optimization in deep neural networks with minimum over-parameterization. In 36th Conference on Neural Information Processing Systems (Vol. 35, pp. 7628–7640). Curran Associates.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2022 | Journal Article | IST-REx-ID: 12272 |
Stopp, J. A., & Sixt, M. K. (2022). Plan your trip before you leave: The neutrophils’ search-and-run journey. Journal of Cell Biology. Rockefeller University Press. https://doi.org/10.1083/jcb.202206127
[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. Royal Society of Chemistry. https://doi.org/10.1039/d2ee02408j
View
| Files available
| DOI
| WoS