Friedberg numbering in fragments of Peano Arithmetic and α-recursion theory. - Wei Li 050 (J. Symb. Log., 2013)

Nonstandard Models in Recursion Theory and Reverse Mathematics. - C. T. Chong; Wei Li 050; Yue Yang 004 (Bull. Symb. Log., 2014)

Fragments of Kripke-Platek set theory and the metamathematics of α-recursion theory. - Sy-David Friedman; Wei Li 050; Tin Lok Wong (Arch. Math. Log., 2016)

Deciding parity games in quasipolynomial time. - Cristian S. Calude; Sanjay Jain 001; Bakhadyr Khoussainov; Wei Li 050; Frank Stephan 001 (STOC, 2017)

Random Subgroups of Rationals. - Ziyuan Gao; Sanjay Jain 001; Bakhadyr Khoussainov; Wei Li 050; Alexander G. Melnikov; Karen Seidel 001; Frank Stephan 001 (MFCS, 2019)

Deciding Parity Games in Quasi-polynomial Time. - Cristian S. Calude; Sanjay Jain 001; Bakhadyr Khoussainov; Wei Li 050; Frank Stephan 001 (SIAM J. Comput., 2022)

Learnability and positive equivalence relations. - David R. Bélanger; Ziyuan Gao; Sanjay Jain 001; Wei Li 050; Frank Stephan 001 (Inf. Comput., 2023)