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 | 
Minimally invasive protocols and quantification for microglia-mediated perineuronal net disassembly in mouse brain
A. Venturino, S. Siegert, STAR Protocols 2 (2021).
[Published Version]
View
| Files available
| DOI
A. Venturino, S. Siegert, STAR Protocols 2 (2021).
2021 | Journal Article | IST-REx-ID: 10321 |
Genetic mosaic dissection of candidate genes in mice using mosaic analysis with double markers
N. Amberg, S. Hippenmeyer, STAR Protocols 2 (2021).
[Published Version]
View
| Files available
| DOI
N. Amberg, S. Hippenmeyer, STAR Protocols 2 (2021).
2021 | Journal Article | IST-REx-ID: 10290 |
Computational toolbox for ultrastructural quantitative analysis of filament networks in cryo-ET data
G.A. Dimchev, B. Amiri, F. Fäßler, M. Falcke, F.K. Schur, Journal of Structural Biology 213 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
G.A. Dimchev, B. Amiri, F. Fäßler, M. Falcke, F.K. Schur, Journal of Structural Biology 213 (2021).
2021 | Conference Paper | IST-REx-ID: 9969 |
LightPIR: Privacy-preserving route discovery for payment channel networks
K.Z. Pietrzak, I. Salem, S. Schmid, M.X. Yeo, in:, IEEE, 2021.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
| arXiv
K.Z. Pietrzak, I. Salem, S. Schmid, M.X. Yeo, in:, IEEE, 2021.
2021 | Journal Article | IST-REx-ID: 9760 |
Quantum annealing initialization of the quantum approximate optimization algorithm
S. Sack, M. Serbyn, Quantum 5 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
S. Sack, M. Serbyn, Quantum 5 (2021).
2021 | Conference Paper | IST-REx-ID: 10414 |
On lexicographic proof rules for probabilistic termination
K. Chatterjee, E.K. Goharshady, P. Novotný, J. Zárevúcky, D. Zikelic, in:, 24th International Symposium on Formal Methods, Springer Nature, 2021, pp. 619–639.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
K. Chatterjee, E.K. Goharshady, P. Novotný, J. Zárevúcky, D. Zikelic, in:, 24th International Symposium on Formal Methods, Springer Nature, 2021, pp. 619–639.
2021 | Journal Article | IST-REx-ID: 14800 |
Recent progress on two-dimensional materials
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.)
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.
2021 | Conference Paper | IST-REx-ID: 10206 |
Into the unknown: active monitoring of neural networks
A. Lukina, C. Schilling, T.A. Henzinger, in:, 21st International Conference on Runtime Verification, Springer Nature, Cham, 2021, pp. 42–61.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
A. Lukina, C. Schilling, T.A. Henzinger, in:, 21st International Conference on Runtime Verification, Springer Nature, Cham, 2021, pp. 42–61.
2021 | Journal Article | IST-REx-ID: 14889 |
Landau–Pekar equations and quantum fluctuations for the dynamics of a strongly coupled polaron
N.K. Leopold, D.J. Mitrouskas, S.A.E. Rademacher, B. Schlein, R. Seiringer, Pure and Applied Analysis 3 (2021) 653–676.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
N.K. Leopold, D.J. Mitrouskas, S.A.E. Rademacher, B. Schlein, R. Seiringer, Pure and Applied Analysis 3 (2021) 653–676.
2021 | Journal Article | IST-REx-ID: 14890 |
Beyond Bogoliubov dynamics
L. Bossmann, S.P. Petrat, P. Pickl, A. Soffer, Pure and Applied Analysis 3 (2021) 677–726.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
L. Bossmann, S.P. Petrat, P. Pickl, A. Soffer, Pure and Applied Analysis 3 (2021) 677–726.