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.
1619 Publications
2020 | Journal Article | IST-REx-ID: 7909 | 
Damiano-Guercio J, Kurzawa L, Müller J, et al. Loss of Ena/VASP interferes with lamellipodium architecture, motility and integrin-dependent adhesion. eLife. 2020;9. doi:10.7554/eLife.55351
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Journal Article | IST-REx-ID: 8133 |
Hillary RF, Trejo-Banos D, Kousathanas A, et al. Multi-method genome- and epigenome-wide studies of inflammatory protein levels in healthy older adults. Genome Medicine. 2020;12(1). doi:10.1186/s13073-020-00754-1
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Conference Paper | IST-REx-ID: 8194 |
Baranowski M, He S, Lechner M, Nguyen TS, Rakamarić Z. An SMT theory of fixed-point arithmetic. In: Automated Reasoning. Vol 12166. Springer Nature; 2020:13-31. doi:10.1007/978-3-030-51074-9_2
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
2020 | Preprint | IST-REx-ID: 14028 |
Baykusheva DR, Wörner HJ. Attosecond molecular spectroscopy and dynamics. doi:10.48550/arXiv.2002.02111
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Journal Article | IST-REx-ID: 8669 |
Sznurkowska MK, Hannezo EB, Azzarelli R, et al. Tracing the cellular basis of islet specification in mouse pancreas. Nature Communications. 2020;11. doi:10.1038/s41467-020-18837-3
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Journal Article | IST-REx-ID: 8707
Galan S, Machnik NN, Kruse K, Díaz N, Marti-Renom MA, Vaquerizas JM. CHESS enables quantitative comparison of chromatin contact data and automatic feature extraction. Nature Genetics. 2020;52:1247-1255. doi:10.1038/s41588-020-00712-y
View
| DOI
| WoS
| PubMed | Europe PMC
2020 | Journal Article | IST-REx-ID: 8679
Lechner M, Hasani R, Amini A, Henzinger TA, Rus D, Grosu R. Neural circuit policies enabling auditable autonomy. Nature Machine Intelligence. 2020;2:642-652. doi:10.1038/s42256-020-00237-3
View
| Files available
| DOI
| WoS
2020 | Journal Article | IST-REx-ID: 8700
Sokolova EE, Vlasov P, Egorova TV, Shuvalov AV, Alkalaeva EZ. The influence of A/G composition of 3’ stop codon contexts on translation termination efficiency in eukaryotes. Molecular Biology. 2020;54(5):739-748. doi:10.1134/S0026893320050088
View
| Files available
| DOI
| WoS
2020 | Journal Article | IST-REx-ID: 8701
Sokolova EE, Vlasov P, Egorova TV, Shuvalov AV, Alkalaeva EZ. The influence of A/G composition of 3’ stop codon contexts on translation termination efficiency in eukaryotes. Molekuliarnaia biologiia. 2020;54(5):837-848. doi:10.31857/S0026898420050080
View
| Files available
| DOI
| PubMed | Europe PMC
2020 | Preprint | IST-REx-ID: 14095 |
Gaudi BS et al. The habitable exoplanet observatory (HabEx) mission concept study final report. arXiv, 2001.06683.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Journal Article | IST-REx-ID: 8787 |
Nicolai L, Schiefelbein K, Lipsky S, Leunig A, Hoffknecht M, Pekayvaz K, Raude B, Marx C, Ehrlich A, Pircher J, Zhang Z, Saleh I, Marel A-K, Löf A, Petzold T, Lorenz M, Stark K, Pick R, Rosenberger G, Weckbach L, Uhl B, Xia S, Reichel CA, Walzog B, Schulz C, Zheden V, Bender M, Li R, Massberg S, Gärtner FR. 2020. Vascular surveillance by haptotactic blood platelets in inflammation and infection. Nature Communications. 11, 5778.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Journal Article | IST-REx-ID: 8788
Pavlogiannis A, Schaumberger N, Schmid U, Chatterjee K. Precedence-aware automated competitive analysis of real-time scheduling. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 2020;39(11):3981-3992. doi:10.1109/TCAD.2020.3012803
View
| DOI
| WoS
2020 | Journal Article | IST-REx-ID: 8971 |
Fäßler F, Dimchev GA, Hodirnau V-V, Wan W, Schur FK. Cryo-electron tomography structure of Arp2/3 complex in cells reveals new insights into the branch junction. Nature Communications. 2020;11. doi:10.1038/s41467-020-20286-x
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Conference Paper | IST-REx-ID: 8987 |
Pietrzak KZ. Delayed authentication: Preventing replay and relay attacks in private contact tracing. In: Progress in Cryptology. Vol 12578. LNCS. Springer Nature; 2020:3-15. doi:10.1007/978-3-030-65277-7_1
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2020 | Journal Article | IST-REx-ID: 7235 |
Lieb EH, Seiringer R. Divergence of the effective mass of a polaron in the strong coupling limit. Journal of Statistical Physics. 2020;180:23-33. doi:10.1007/s10955-019-02322-3
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Conference Paper | IST-REx-ID: 7966 |
Auerbach B, Giacon F, Kiltz E. Everybody’s a target: Scalability in public-key encryption. In: Advances in Cryptology – EUROCRYPT 2020. Vol 12107. Springer Nature; 2020:475-506. doi:10.1007/978-3-030-45727-3_16
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2020 | Conference Paper | IST-REx-ID: 8623 |
Henzinger TA, Sarac NE. Monitorability under assumptions. In: Runtime Verification. Vol 12399. Springer Nature; 2020:3-18. doi:10.1007/978-3-030-60508-7_1
[Submitted Version]
View
| Files available
| DOI
| WoS
2020 | Conference Paper | IST-REx-ID: 8732
Arroyo Guevara AM, Klute F, Parada I, Seidel R, Vogtenhuber B, Wiedera T. Inserting one edge into a simple drawing is hard. In: Graph-Theoretic Concepts in Computer Science. Vol 12301. Springer Nature; 2020:325-338. doi:10.1007/978-3-030-60440-0_26
View
| DOI
2020 | Book Chapter | IST-REx-ID: 10865 |
Chakraborty S, Prabhakaran M, Wichs D. Witness maps and applications. In: Kiayias A, ed. Public-Key Cryptography. Vol 12110. LNCS. Cham: Springer Nature; 2020:220-246. doi:10.1007/978-3-030-45374-9_8
[Preprint]
View
| DOI
| Download Preprint (ext.)
2020 | Journal Article | IST-REx-ID: 8057 |
Bouchal R, Li Z, Bongu C, et al. Competitive salt precipitation/dissolution during free‐water reduction in water‐in‐salt electrolyte. Angewandte Chemie. 2020;132(37):16047-16051. doi:10.1002/ange.202005378
[Published Version]
View
| Files available
| DOI