1999年，
Agent系统的推理模型与知识库组织结构的研究，计算机科学，1999年11期，页码：15-17+43
2005年，
基于RDF的知识表示到语义网络语言SNetL的转换研究，微型机与应用，2005年12期，页码：69-72
1999年，
语义网络的知识获取及转换的研究，云南师范大学学报(自然科学版)，1999年06期，页码：43-47
1999年，
智能型交互式用户需求描述的方法设计与知识获取，计算机应用与软件，1999年05期，页码：42-47
2004年，
基于分布式智能计算的自动生成MIS平台设计与实现，云南师范大学学报(自然科学版)，2004年03期，页码：11-14+62
2001年，
由语义网络语言的知识表示到谓词逻辑的转换，云南师范大学学报(自然科学版)，2001年06期，页码：34-37
2003年，
分布式应用程序体系结构到C/S网络数据模型转换机制研究，云南师范大学学报(自然科学版)，2003年01期，页码：12-17
2003年，
数据流图描述语言的研究与设计，云南师范大学学报(自然科学版)，2003年03期，页码：7-11
2001年，
使用Lotus Notes5.0办公自动化系统的研制，云南师范大学学报(自然科学版)，2001年01期，页码：36-40
2003年，
用户需求描述语言的扩充及需求分析描述语言的设计，云南师范大学学报(自然科学版)，2003年02期，页码：20-24
1999年，
软件Agent的初步研究，云南师范大学学报(自然科学版)，1999年03期，页码：11-14
1999年，
从NEWCOM到RDM转换算法的设计与实现，云南大学学报(自然科学版)，1999年06期，页码：64-67
2001年，
基于非单调推理的领域专家知识库的研究，计算机科学，2001年09期，页码：108-110
2000年，
从分布式应用程序体系结构到关系数据模型的转换，云南师范大学学报(自然科学版)，2000年05期，页码：18-22
2003年，
数据字典描述语言的研究与设计，云南师范大学学报(自然科学版)，2003年01期，页码：18-23
2001年，
基于语义网络的知识表示的形式转换及推理，武汉大学学报(信息科学版)，2001年04期，页码：89-93
2001年，
计算机辅助教学讲授平台的研制与典型课件设计，云南师范大学学报(自然科学版)，2001年01期，页码：31-35
2007年，
基于DAPADL自动生成MIS平台设计与实现，计算机工程与设计，2007年09期，页码：231-233
