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.
5760 Publications
2020 | Conference Paper | IST-REx-ID: 8287 | 
Bogomolov S, Forets M, Frehse G, Potomkin K, Schilling C. 2020. Reachability analysis of linear hybrid systems via block decomposition. Proceedings of the International Conference on Embedded Software. EMSOFT: International Conference on Embedded Software.
[Preprint]
View
| Files available
| arXiv
2020 | Journal Article | IST-REx-ID: 8790 |
Bogomolov S, Forets M, Frehse G, Potomkin K, Schilling C. 2020. Reachability analysis of linear hybrid systems via block decomposition. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 39(11), 4018–4029.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Journal Article | IST-REx-ID: 8924 |
Nibau C, Dadarou D, Kargios N, Mallioura A, Fernandez-Fuentes N, Cavallari N, Doonan JH. 2020. A functional kinase is necessary for cyclin-dependent kinase G1 (CDKG1) to maintain fertility at high ambient temperature in Arabidopsis. Frontiers in Plant Science. 11, 586870.
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Journal Article | IST-REx-ID: 8944 |
Zemlicka M, Kopčík M, Szabó P, Samuely T, Kačmarčík J, Neilinger P, Grajcar M, Samuely P. 2020. Zeeman-driven superconductor-insulator transition in strongly disordered MoC films: Scanning tunneling microscopy and transport studies in a transverse magnetic field. Physical Review B. 102(18), 180508.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Journal Article | IST-REx-ID: 8955 |
Rizzo R, Zhang X, Wang JWJL, Lombardi F, Ivanov PC. 2020. Network physiology of cortico–muscular interactions. Frontiers in Physiology. 11, 558070.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Journal Article | IST-REx-ID: 8949 |
Zhang X, Mennicke CV, Xiao G, Beattie RJ, Haider M, Hippenmeyer S, Ghashghaei HT. 2020. Clonal analysis of gliogenesis in the cerebral cortex reveals stochastic expansion of glia and cell autonomous responses to Egfr dosage. Cells. 9(12), 2662.
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Journal Article | IST-REx-ID: 8971 |
Fäßler F, Dimchev GA, Hodirnau V-V, Wan W, Schur FK. 2020. Cryo-electron tomography structure of Arp2/3 complex in cells reveals new insights into the branch junction. Nature Communications. 11, 6437.
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Conference Paper | IST-REx-ID: 8987 |
Pietrzak KZ. 2020. Delayed authentication: Preventing replay and relay attacks in private contact tracing. Progress in Cryptology. INDOCRYPT: International Conference on Cryptology in IndiaLNCS vol. 12578, 3–15.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2020 | Journal Article | IST-REx-ID: 9000 |
Grah R, Zoller B, Tkačik G. 2020. Nonequilibrium models of optimal enhancer function. PNAS. 117(50), 31614–31622.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Journal Article | IST-REx-ID: 7910 |
Barzanjeh S, Pirandola S, Vitali D, Fink JM. 2020. Microwave quantum illumination using a digital receiver. Science Advances. 6(19), eabb0451.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv