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.
9078 Publications
2020 | Conference Paper | IST-REx-ID: 8287 | 
Bogomolov, Sergiy, et al. “Reachability Analysis of Linear Hybrid Systems via Block Decomposition.” Proceedings of the International Conference on Embedded Software, 2020.
[Preprint]
View
| Files available
| arXiv
2020 | Journal Article | IST-REx-ID: 8788
Pavlogiannis, Andreas, et al. “Precedence-Aware Automated Competitive Analysis of Real-Time Scheduling.” IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 39, no. 11, IEEE, 2020, pp. 3981–92, doi:10.1109/TCAD.2020.3012803.
View
| DOI
| WoS
2020 | Journal Article | IST-REx-ID: 8790 |
Bogomolov, Sergiy, et al. “Reachability Analysis of Linear Hybrid Systems via Block Decomposition.” IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 39, no. 11, IEEE, 2020, pp. 4018–29, doi:10.1109/TCAD.2020.3012859.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Journal Article | IST-REx-ID: 8924 |
Nibau, Candida, et al. “A Functional Kinase Is Necessary for Cyclin-Dependent Kinase G1 (CDKG1) to Maintain Fertility at High Ambient Temperature in Arabidopsis.” Frontiers in Plant Science, vol. 11, 586870, Frontiers, 2020, doi:10.3389/fpls.2020.586870.
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Journal Article | IST-REx-ID: 8926
Irtem, Erdem, et al. “Ligand-Mode Directed Selectivity in Cu-Ag Core-Shell Based Gas Diffusion Electrodes for CO2 Electroreduction.” ACS Catalysis, vol. 10, no. 22, American Chemical Society, 2020, pp. 13468–78, doi:10.1021/acscatal.0c03210.
View
| DOI
| WoS
2020 | Journal Article | IST-REx-ID: 8944 |
Zemlicka, Martin, et al. “Zeeman-Driven Superconductor-Insulator Transition in Strongly Disordered MoC Films: Scanning Tunneling Microscopy and Transport Studies in a Transverse Magnetic Field.” Physical Review B, vol. 102, no. 18, 180508, American Physical Society, 2020, doi:10.1103/PhysRevB.102.180508.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Journal Article | IST-REx-ID: 8955 |
Rizzo, Rossella, et al. “Network Physiology of Cortico–Muscular Interactions.” Frontiers in Physiology, vol. 11, 558070, Frontiers, 2020, doi:10.3389/fphys.2020.558070.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Journal Article | IST-REx-ID: 8949 |
Zhang, Xuying, et al. “Clonal Analysis of Gliogenesis in the Cerebral Cortex Reveals Stochastic Expansion of Glia and Cell Autonomous Responses to Egfr Dosage.” Cells, vol. 9, no. 12, 2662, MDPI, 2020, doi:10.3390/cells9122662.
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Journal Article | IST-REx-ID: 8971 |
Fäßler, Florian, et al. “Cryo-Electron Tomography Structure of Arp2/3 Complex in Cells Reveals New Insights into the Branch Junction.” Nature Communications, vol. 11, 6437, Springer Nature, 2020, doi:10.1038/s41467-020-20286-x.
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Conference Paper | IST-REx-ID: 8987 |
Pietrzak, Krzysztof Z. “Delayed Authentication: Preventing Replay and Relay Attacks in Private Contact Tracing.” Progress in Cryptology, vol. 12578, Springer Nature, 2020, pp. 3–15, doi:10.1007/978-3-030-65277-7_1.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS