2014년 操作系统形式化设计与安全需求的一致性验证研究 操作繫統形式化設計與安全需求的一緻性驗證研究 조작계통형식화설계여안전수구적일치성험증연구

2014년 一种轻量级的Android内核保护监控器 一種輕量級的Android內覈保護鑑控器 일충경량급적Android내핵보호감공기

2014년 一种Android系统上对应用程序权限进行限制的方法 一種Android繫統上對應用程序權限進行限製的方法 일충Android계통상대응용정서권한진행한제적방법

2014년 初中数学活动课的教学实践与思考 初中數學活動課的教學實踐與思攷 초중수학활동과적교학실천여사고

2013년 微内核中断机制的形式化设计与验证 微內覈中斷機製的形式化設計與驗證 미내핵중단궤제적형식화설계여험증

2013년 微内核架构多线程机制的形式化设计研究 微內覈架構多線程機製的形式化設計研究 미내핵가구다선정궤제적형식화설계연구

2013년 微内核架构下的驱动监控 微內覈架構下的驅動鑑控 미내핵가구하적구동감공

2013년 快速上下文切换调度算法 快速上下文切換調度算法 쾌속상하문절환조도산법

2013년 微内核架构文件系统的形式化设计与验证方法研究 微內覈架構文件繫統的形式化設計與驗證方法研究 미내핵가구문건계통적형식화설계여험증방법연구

2012년 龙芯平台在Linux嵌入式系统教学改革中的应用 龍芯平檯在Linux嵌入式繫統教學改革中的應用 룡심평태재Linux감입식계통교학개혁중적응용