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.
4950 Publications
2021 | Journal Article | IST-REx-ID: 10321 |
Amberg N, Hippenmeyer S. 2021. Genetic mosaic dissection of candidate genes in mice using mosaic analysis with double markers. STAR Protocols. 2(4), 100939.
[Published Version]
View
| Files available
| DOI
2021 | Journal Article | IST-REx-ID: 10290 |
Dimchev GA, Amiri B, Fäßler F, Falcke M, Schur FK. 2021. Computational toolbox for ultrastructural quantitative analysis of filament networks in cryo-ET data. Journal of Structural Biology. 213(4), 107808.
[Published Version]
View
| Files available
| DOI
| WoS
2021 | Conference Paper | IST-REx-ID: 9969 |
Pietrzak KZ, Salem I, Schmid S, Yeo MX. 2021. LightPIR: Privacy-preserving route discovery for payment channel networks. 2021 IFIP Networking Conference (IFIP Networking).
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
| arXiv
2021 | Journal Article | IST-REx-ID: 9760 |
Sack S, Serbyn M. 2021. Quantum annealing initialization of the quantum approximate optimization algorithm. Quantum. 5, 491.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 | Conference Paper | IST-REx-ID: 10414 |
Chatterjee K, Goharshady EK, Novotný P, Zárevúcky J, Zikelic D. 2021. On lexicographic proof rules for probabilistic termination. 24th International Symposium on Formal Methods. FM: Formal Methods, LNCS, vol. 13047, 619–639.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv