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.
43 Publications
2022 | Journal Article | IST-REx-ID: 12288 | 
Sumser, Anton L, Maximilian A Jösch, Peter M Jonas, and Yoav Ben Simon. “Fast, High-Throughput Production of Improved Rabies Viral Vectors for Specific, Efficient and Versatile Transsynaptic Retrograde Labeling.” ELife. eLife Sciences Publications, 2022. https://doi.org/10.7554/elife.79848.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 | Journal Article | IST-REx-ID: 13993 |
Gong, Xiaochun, Inga Jordan, Martin Huppert, Saijoscha Heck, Denitsa Rangelova Baykusheva, Denis Jelovina, Axel Schild, and Hans Jakob Wörner. “Attosecond Photoionization Dynamics: From Molecules over Clusters to the Liquid Phase.” Chimia. Swiss Chemical Society, 2022. https://doi.org/10.2533/chimia.2022.520.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Journal Article | IST-REx-ID: 12510 |
Gruenbacher, Sophie A., Mathias Lechner, Ramin Hasani, Daniela Rus, Thomas A Henzinger, Scott A. Smolka, and Radu Grosu. “GoTube: Scalable Statistical Verification of Continuous-Depth Models.” Proceedings of the AAAI Conference on Artificial Intelligence. Association for the Advancement of Artificial Intelligence, 2022. https://doi.org/10.1609/aaai.v36i6.20631.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Journal Article | IST-REx-ID: 12511 |
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 | Journal Article | IST-REx-ID: 11471 |
Sack, Stefan, Raimel A Medina Ramos, Alexios Michailidis, Richard Kueng, and Maksym Serbyn. “Avoiding Barren Plateaus Using Classical Shadows.” PRX Quantum. American Physical Society, 2022. https://doi.org/10.1103/prxquantum.3.020365.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv