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.

Precedence-aware automated competitive analysis of real-time scheduling
A. Pavlogiannis, N. Schaumberger, U. Schmid, K. Chatterjee, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 39 (2020) 3981–3992.

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.

A functional kinase is necessary for cyclin-dependent kinase  (CDK) 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).

Ligand-mode directed selectivity in Cu-Ag core-shell based gas diffusion electrodes for CO2 electroreduction
E. Irtem, D. Arenas Esteban, M. Duarte, D. Choukroun, S. Lee, M. Ibáñez, S. Bals, T. Breugelmans, ACS Catalysis 10 (2020) 13468–13478.

Zeeman-driven superconductor-insulator transition in strongly disordered MoC films: Scanning tunneling microscopy and transport studies in a transverse magnetic field
M. Zemlicka, M. Kopdík, P. Szabó, T. Samuely, J. Kadmardík, P. Neilinger, M. Grajcar, P. Samuely, Physical Review B 102 (2020).

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).

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).

Cryo-electron tomography structure of Ar/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).

Delayed authentication: Preventing replay and relay attacks in private contact tracing
K.Z. Pietrzak, in:, Progress in Cryptology, Springer Nature, 2020, pp. 3–15.