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.
5750 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. In Proceedings of the International Conference on Embedded Software. Virtual .
[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. IEEE. https://doi.org/10.1109/TCAD.2020.3012859
[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, J. H. (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. Frontiers. https://doi.org/10.3389/fpls.2020.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., … 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. American Physical Society. https://doi.org/10.1103/PhysRevB.102.180508
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Journal Article | IST-REx-ID: 8955 |
Rizzo, R., Zhang, X., Wang, J. W. J. L., Lombardi, F., & Ivanov, P. C. (2020). Network physiology of cortico–muscular interactions. Frontiers in Physiology. Frontiers. https://doi.org/10.3389/fphys.2020.558070
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Journal Article | IST-REx-ID: 8949 |
Zhang, X., Mennicke, C. V., Xiao, G., Beattie, R. J., Haider, M., Hippenmeyer, S., & Ghashghaei, H. T. (2020). Clonal analysis of gliogenesis in the cerebral cortex reveals stochastic expansion of glia and cell autonomous responses to Egfr dosage. Cells. MDPI. https://doi.org/10.3390/cells9122662
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Journal Article | IST-REx-ID: 8971 |
Fäßler, F., Dimchev, G. A., Hodirnau, V.-V., Wan, W., & Schur, F. K. (2020). Cryo-electron tomography structure of Arp2/3 complex in cells reveals new insights into the branch junction. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-020-20286-x
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Conference Paper | IST-REx-ID: 8987 |
Pietrzak, K. Z. (2020). Delayed authentication: Preventing replay and relay attacks in private contact tracing. In Progress in Cryptology (Vol. 12578, pp. 3–15). Bangalore, India: Springer Nature. https://doi.org/10.1007/978-3-030-65277-7_1
[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. National Academy of Sciences. https://doi.org/10.1073/pnas.2006731117
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Journal Article | IST-REx-ID: 7910 |
Barzanjeh, S., Pirandola, S., Vitali, D., & Fink, J. M. (2020). Microwave quantum illumination using a digital receiver. Science Advances. AAAS. https://doi.org/10.1126/sciadv.abb0451
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv