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.

5660 Publications


2020 | Conference Paper | IST-REx-ID: 8287 | OA
Reachability analysis of linear hybrid systems via block decomposition
S. Bogomolov, M. Forets, G. Frehse, K. Potomkin, C. Schilling, in:, Proceedings of the International Conference on Embedded Software, 2020.
[Preprint] View | Files available | arXiv
 

2020 | Journal Article | IST-REx-ID: 8790 | OA
Reachability analysis of linear hybrid systems via block decomposition
S. Bogomolov, M. Forets, G. Frehse, K. Potomkin, C. Schilling, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 39 (2020) 4018–4029.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2020 | Journal Article | IST-REx-ID: 8924 | OA
A functional kinase is necessary for cyclin-dependent kinase G1 (CDKG1) to maintain fertility at high ambient temperature in Arabidopsis
C. Nibau, D. Dadarou, N. Kargios, A. Mallioura, N. Fernandez-Fuentes, N. Cavallari, J.H. Doonan, Frontiers in Plant Science 11 (2020).
[Published Version] View | Files available | DOI | WoS
 

2020 | Journal Article | IST-REx-ID: 8944 | OA
Zeeman-driven superconductor-insulator transition in strongly disordered MoC films: Scanning tunneling microscopy and transport studies in a transverse magnetic field
M. Zemlicka, M. Kopčík, P. Szabó, T. Samuely, J. Kačmarčík, P. Neilinger, M. Grajcar, P. Samuely, Physical Review B 102 (2020).
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2020 | Journal Article | IST-REx-ID: 8955 | OA
Network physiology of cortico–muscular interactions
R. Rizzo, X. Zhang, J.W.J.L. Wang, F. Lombardi, P.C. Ivanov, Frontiers in Physiology 11 (2020).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8949 | OA
Clonal analysis of gliogenesis in the cerebral cortex reveals stochastic expansion of glia and cell autonomous responses to Egfr dosage
X. Zhang, C.V. Mennicke, G. Xiao, R.J. Beattie, M. Haider, S. Hippenmeyer, H.T. Ghashghaei, Cells 9 (2020).
[Published Version] View | Files available | DOI | WoS
 

2020 | Journal Article | IST-REx-ID: 8971 | OA
Cryo-electron tomography structure of Arp2/3 complex in cells reveals new insights into the branch junction
F. Fäßler, G.A. Dimchev, V.-V. Hodirnau, W. Wan, F.K. Schur, Nature Communications 11 (2020).
[Published Version] View | Files available | DOI | WoS
 

2020 | Conference Paper | IST-REx-ID: 8987 | OA
Delayed authentication: Preventing replay and relay attacks in private contact tracing
K.Z. Pietrzak, in:, Progress in Cryptology, Springer Nature, 2020, pp. 3–15.
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 

2020 | Journal Article | IST-REx-ID: 9000 | OA
Nonequilibrium models of optimal enhancer function
R. Grah, B. Zoller, G. Tkačik, PNAS 117 (2020) 31614–31622.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7910 | OA
Microwave quantum illumination using a digital receiver
S. Barzanjeh, S. Pirandola, D. Vitali, J.M. Fink, Science Advances 6 (2020).
[Published Version] View | Files available | DOI | WoS | arXiv
 

Filters and Search Terms

oa=1

Search

Filter Publications