Browse by Person
Up a level |
Number of items: 2.
Frontiers of Computer Science
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.
Nucleic Acids Research
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.