Modelling and Analyzing Systems Biology Using Process Algebra. (Modélisation et analyse de processus biologiques dans des algèbres de processus). - Min Zhang 019 (2007)

Computational self-assembly. - Pierre-Louis Curien; Vincent Danos; Jean Krivine; Min Zhang 019 (Theor. Comput. Sci., 2008)

Preface for the special issue of Theoretical Computer Science in honor of the 60th birthday of Yuxi Fu. - Yijia Chen; Pierre-Louis Curien; Yuxin Deng; Min Zhang 019 (Theor. Comput. Sci., 2023)