Zhou, Y. and Zhou, N. and Han, Tingting and Gu, J. and Wu, W. (2018) Probabilistic verification of hierarchical leader election protocols in dynamic systems. Frontiers of Computer Science 12 (4), pp. 763-776. ISSN 2095-2228.

Blombach, F. and Ausiannikava, D. and Figueiredo, A.M. and Soloviev, Z. and Prentice, T. and Zhang, M. and Zhou, N. and Thalassinos, Konstantinos and Allers, T. and Werner, F. (2018) Structural and functional adaptation of Haloferax volcanii TFEα/β. Nucleic Acids Research 46 (5), pp. 2308-2320. ISSN 0305-1048.