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

Bogomolov S, Forets M, Frehse G, Potomkin K, Schilling C. Reachability analysis of linear hybrid systems via block decomposition. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 2020;39(11):4018-4029. doi:10.1109/TCAD.2020.3012859

Nibau C, Dadarou D, Kargios N, et al. A functional kinase is necessary for cyclin-dependent kinase10.3389/fpls.2020.586870__(CDK) to maintain fertility at high ambient temperature in Arabidopsis. Frontiers in Plant Science. 2020;11. doi:10.3389/fpls.2020.586870

Irtem E, Arenas Esteban D, Duarte M, et al. Ligand-mode directed selectivity in Cu-Ag core-shell based gas diffusion electrodes for CO2 electroreduction. ACS Catalysis. 2020;10(22):13468-13478. doi:10.1021/acscatal.0c03210

Zemlicka M, Kopdík M, Szabó P, 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. 2020;102(18). doi:10.1103/PhysRevB.102.180508