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 AL, Jösch MA, Jonas PM, Ben Simon Y. 2022. Fast, high-throughput production of improved rabies viral vectors for specific, efficient and versatile transsynaptic retrograde labeling. eLife. 11, 79848.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 | Journal Article | IST-REx-ID: 13993 |
Gong X, Jordan I, Huppert M, Heck S, Baykusheva DR, Jelovina D, Schild A, Wörner HJ. 2022. Attosecond photoionization dynamics: from molecules over clusters to the liquid phase. Chimia. 76(6), 520–528.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Journal Article | IST-REx-ID: 12510 |
Gruenbacher SA, Lechner M, Hasani R, Rus D, Henzinger TA, Smolka SA, Grosu R. 2022. GoTube: Scalable statistical verification of continuous-depth models. Proceedings of the AAAI Conference on Artificial Intelligence. 36(6), 6755–6764.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
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 | 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