Quantifier elimination for the reals with a predicate for the powers of two. - Jeremy Avigad; Yimu Yin (Theor. Comput. Sci., 2007)

Henselianity and the Denef-Pas language. - Yimu Yin (J. Symb. Log., 2009)

Special transformations in algebraically closed valued fields. - Yimu Yin (Ann. Pure Appl. Log., 2010)

Integration in algebraically closed valued fields. - Yimu Yin (Ann. Pure Appl. Log., 2011)

Integration in algebraically closed valued fields with sections. - Yimu Yin (Ann. Pure Appl. Log., 2013)

Markov categories, causal theories, and the do-calculus. - Yimu Yin; Jiji Zhang (CoRR, 2022)

A graphical construction of free Markov categories. - Yimu Yin (CoRR, 2022)