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.
4941 Publications
2021 | Journal Article | IST-REx-ID: 10565 | 
A. Venturino and S. Siegert, “Minimally invasive protocols and quantification for microglia-mediated perineuronal net disassembly in mouse brain,” STAR Protocols, vol. 2, no. 4. Elsevier ; Cell Press, 2021.
[Published Version]
View
| Files available
| DOI
2021 | Journal Article | IST-REx-ID: 10321 |
N. Amberg and S. Hippenmeyer, “Genetic mosaic dissection of candidate genes in mice using mosaic analysis with double markers,” STAR Protocols, vol. 2, no. 4. Cell Press, 2021.
[Published Version]
View
| Files available
| DOI
2021 | Journal Article | IST-REx-ID: 10290 |
G. A. Dimchev, B. Amiri, F. Fäßler, M. Falcke, and F. K. Schur, “Computational toolbox for ultrastructural quantitative analysis of filament networks in cryo-ET data,” Journal of Structural Biology, vol. 213, no. 4. Elsevier , 2021.
[Published Version]
View
| Files available
| DOI
| WoS
2021 | Conference Paper | IST-REx-ID: 9969 |
K. Z. Pietrzak, I. Salem, S. Schmid, and M. X. Yeo, “LightPIR: Privacy-preserving route discovery for payment channel networks,” presented at the 2021 IFIP Networking Conference (IFIP Networking), Espoo and Helsinki, Finland, 2021.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
| arXiv
2021 | Journal Article | IST-REx-ID: 9760 |
S. Sack and M. Serbyn, “Quantum annealing initialization of the quantum approximate optimization algorithm,” Quantum, vol. 5. Verein zur Förderung des Open Access Publizierens in den Quantenwissenschaften, 2021.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 | Conference Paper | IST-REx-ID: 10414 |
K. Chatterjee, E. K. Goharshady, P. Novotný, J. Zárevúcky, and D. Zikelic, “On lexicographic proof rules for probabilistic termination,” in 24th International Symposium on Formal Methods, Virtual, 2021, vol. 13047, pp. 619–639.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Journal Article | IST-REx-ID: 14800 |
Chang C, Chen W, Chen Y, Chen Y, Chen Y, Ding F, Fan C, Fan HJ, Fan Z, Gong C, Gong Y, He Q, Hong X, Hu S, Hu W, Huang W, Huang Y, Ji W, Li D, Li LJ, Li Q, Lin L, Ling C, Liu M, Liu N, Liu Z, Loh KP, Ma J, Miao F, Peng H, Shao M, Song L, Su S, Sun S, Tan C, Tang Z, Wang D, Wang H, Wang J, Wang X, Wang X, Wee ATS, Wei Z, Wu Y, Wu ZS, Xiong J, Xiong Q, Xu W, Yin P, Zeng H, Zeng Z, Zhai T, Zhang H, Zhang H, Zhang Q, Zhang T, Zhang X, Zhao LD, Zhao M, Zhao W, Zhao Y, Zhou KG, Zhou X, Zhou Y, Zhu H, Zhang H, Liu Z. 2021. Recent progress on two-dimensional materials. Acta Physico-Chimica Sinica. 37(12), 2108017.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2021 | Conference Paper | IST-REx-ID: 10206 |
A. Lukina, C. Schilling, and T. A. Henzinger, “Into the unknown: active monitoring of neural networks,” in 21st International Conference on Runtime Verification, Virtual, 2021, vol. 12974, pp. 42–61.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Journal Article | IST-REx-ID: 14889 |
N. K. Leopold, D. J. Mitrouskas, S. A. E. Rademacher, B. Schlein, and R. Seiringer, “Landau–Pekar equations and quantum fluctuations for the dynamics of a strongly coupled polaron,” Pure and Applied Analysis, vol. 3, no. 4. Mathematical Sciences Publishers, pp. 653–676, 2021.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Journal Article | IST-REx-ID: 14890 |
L. Bossmann, S. P. Petrat, P. Pickl, and A. Soffer, “Beyond Bogoliubov dynamics,” Pure and Applied Analysis, vol. 3, no. 4. Mathematical Sciences Publishers, pp. 677–726, 2021.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv