语言学论丛2009.北京大学汉语语言学研究中心《语言学论丛》编委会, 编 语言学论丛2010.北京大学汉语语言学研究中心《语言学论丛》编委会, 编 语言学论丛2011.北京大学汉语语言学研究中心《语言学论丛》编委会, 编 语言学论丛2010.北京大学汉语语言学研究中心《语言学论丛》编委会, 编 语言学论丛2008.02北京大学汉语语言学研究中心《语言学论丛》编委会, 编 语言学论丛2008.08北京大学汉语语言学研究中心《语言学论丛》编委会, 编 语言学论丛2004.北京大学汉语语言学研究中心《语言学论丛》编辑部, 编 语言学论丛2005.北京大学汉语语言学研究中心《语言学论丛》编辑部, 编 语言学论丛2011.北京大学汉语语言学研究中心《语言学论丛》编委会, 编 语言学论丛2012.北京大学汉语语言学研究中心《语言学论丛》编委会, 编 语言学论丛2012.北京大学汉语语言学研究中心《语言学论丛》编委会, 编 语言学论丛2008.12北京大学汉语语言学研究中心《语言学论丛》编委会, 编 形式化软件规约Radl获取、验证与确认方法2014.王昌晶, 罗海梅, 著 图形世界探秘2006.11杜国平, 著 形式化方法导论2015.张广泉, 编著