Toman V. Improved verification techniques for concurrent systems. 2021. doi:10.15479/at:ista:10199

Patxot M, Trejo Banos D, Kousathanas A, et al. Probabilistic inference of the genetic architecture underlying functional enrichment of complex traits. Nature Communications. 2021;12(1). doi:10.1038/s41467-021-27258-9

Foerster K-T, Korhonen J, Paz A, Rybicki J, Schmid S. Input-dynamic distributed algorithms for communication networks. In: Abstract Proceedings of the 2021 ACM SIGMETRICS / International Conference on Measurement and Modeling of Computer Systems. Association for Computing Machinery; 2021:71-72. doi:10.1145/3410220.3453923

Foerster K-T, Korhonen J, Paz A, Rybicki J, Schmid S. Input-dynamic distributed algorithms for communication networks. Proceedings of the ACM on Measurement and Analysis of Computing Systems. 2021;5(1):1-33. doi:10.1145/3447384

Chatterjee K, Dvoák W, Henzinger MH, Svozil A. Algorithms and conditional lower bounds for planning problems. Artificial Intelligence. 2021;297(8). doi:10.1016/j.artint.2021.103499

Robinson MR. Probabilistic inference of the genetic architecture of functional enrichment of complex traits. 2021. doi:10.5061/dryad.sqv9s4n51

Zhang Y, Xing C, Liu Y, et al. Influence of copper telluride nanodomains on the transport properties of n-type bismuth telluride. Chemical Engineering Journal. 2021;418(8). doi:10.1016/j.cej.2021.129374

Baldwin KT, Tan CX, Strader ST, et al. HepaCAM controls astrocyte self-organization and coupling. Neuron. 2021;109(15):2427-2442.e10. doi:10.1016/j.neuron.2021.05.025

Zhang Y, Xing C, Liu Y, et al. Doping-mediated stabilization of copper vacancies to promote thermoelectric properties of Cu2-xS. Nano Energy. 2021;85(7). doi:10.1016/j.nanoen.2021.105991

Cavallari N, Artner C, Benková E. Auxin-regulated lateral root organogenesis. Cold Spring Harbor Perspectives in Biology. 2021;13(7). doi:10.1101/cshperspect.a039941