发表时间

朱曼菲，姜云飞

CEFF--一种基于组件的条件效果处理方法

《计算机学报》，第27卷，第12期，2004年12月，1601-1611

2004年12月

吴康恒，姜云飞

基于模型检测的领域约束规划

《软件学报》, 2004年11月, 第15卷 第11期, 1629-1640

2004年11月

Danran Liang,Kangheng Wu,Yunfei Jiang(姜云飞),Sujun Sun 等

Theory of Separation Predication for Scheduling under Uncertainty in Software Engineering

International Symposium on Computing and Information (ISC&I 2004), August 15-18,2004, Zhuhai,Guangdong,China

2004年8月

Gang Zhou，Yunfei Jiang(姜云飞), Sujun Sun

Planning and Scheduling for the Teams of the Software Project

International Symposium on Computing and Information (ISC&I 2004), August 15-18,2004, Zhuhai,Guangdong,China

2004年8月

Bin Kong, Xiaonan Luo, Yunfei Jiang(姜云飞), Mingzhi Mao

Template-based software process improvement

International Symposium on Computing and Information (ISC&I 2004), August 15-18, 2004,  Zhuhai,Guangdong,China

2004年8月

L.Lin, Y. Jiang(姜云飞)

Dynamic Value-Based Diagnosis System for Assembler Program

15th international Workshop on principles of Diagnosis, June 23-25, 2004, Carcassonne, France, 209-214

2004年6月

余芳,姜云飞

一种基于朴素贝叶斯分类的特征选择方法

中山大学学报(自然科学版), Vol 43, 2004年5月, 118-120

2004年5月

Yunfei Jiang(姜云飞), Kangheng Wu

Domain-Dependent Planning in the Graphplan Framework

第九届联合国际计算机会议论文集，11-18，中国 珠海

2003年11月

Xuelian Xiao, Yunfei Jiang(姜云飞)

A Causality-based Approch for Indirect Effect of Planningaction

第九届联合国际计算机会议论文集，202-209， 中国 珠海

2003年11月

李占山， 姜云飞， 王涛

基于模型诊断问题的分解及其算法

《计算机学报》，第26卷，第9期，2003年9月，1171-1176

2003年9月

姜云飞，林笠

用布尔代数方法计算最小碰集

《计算机学报》，第26卷，第8期，2003年8月，919-924

2003年8月

Li Lin, Yunfei Jiang(姜云飞)

The computation of hitting sets: Review and new algorithms

Information Processing Letters 86 (2003) 177-184

2003年

陈荣，孙吉贵，姜云飞

受限的proflog语言及其表推演过程语义

第七届中国人工智能联合学术会议论文集，广西 桂林

2003年

陈荣，姜云飞，林笠

溯因推理研究：现状与问题

《计算机科学》，2003年，第5期，23-25

2003年

姜云飞，林笠

用对分HS-树计算最小碰集`

《软件学报》，Vol.13，No.12，2002年12月，2267-2274

2002年12月

姜云飞，马宁

基于限定的规划识别问题求解

《计算机学报》，第25卷 第12期，2002年12月，1411-1416

2002年12月

杜剑峰， 姜云飞

网络集成信息的研究

《计算机科学》，第29卷 第5期，2002年5月，36-40

2002年5月

丁德路，姜云飞

智能规划及其应用的研究

《计算机科学》，第29卷 第2期，2002年5月，36-40

2002年5月

姜云飞， 马宁

一种基于规划知识图的规划识别算法

《软件学报》，Vol。13，No。4，2002年4月，686-692

2002年4月

Linli, Yunfei JIANG( 姜云飞)

The construction of an Insert_Able Near-Huffman Tree

Computer Science and Technology in New Century, Volume II, Oct 2001, 694-696, International Academic Publishers World publishing Corporation

2001年10月

李天际， 姜云飞

图规划及其扩展的分析和研究

计算机科学，第28卷 第7期，2001年7月，69-72

2001年7月

姜云飞，李占山

基于模型诊断的元件替换与替换测试

计算机学报，第24卷 第6期，2001年6月，666-672

2001年6月

陈 荣， 姜云飞

含约束的基于模型的诊断系统

计算机学报，第 24 卷 第 2 期， 2001 年 2 月， 127-135

2001 年 2月

陈 荣， 姜云飞

一种新的辩论推理模式极其应用

计算机学报，第24卷 第2期，2001年2月，120-126

2001年2月

陈 荣， 姜云飞

拓展溯因逻辑程序设计的辩论理论基础

计算机学报， 第 23 卷 第 6 期， 2000 年 6 月， 561-569

2000 年 6月

李占山，姜云飞

基于模型诊断测试的修正与扩充

软件学报, 2000, 11(7): 979-983

2000年

李占山，姜云飞，孙吉贵

不确定因果理论的基于模型诊断

吉林大学学报,2000,(4)

2000年//4

陈海广，李磊，姜云飞

基于逻辑模型的电话网动态选路方法

计算机研究与发展，2000年第37卷，912 - 917

2000年

欧阳丹彤，姜云飞

基于扩展的因果理论的鉴别诊断

软件学报，第10卷第 7 期，719 - 723

1999年 7 月

程晓春， 姜云飞

与替换和集合运算有关的错误

软件学报, 第9 卷 第 2 期, 201 - 204.

1999年2月

欧阳丹彤， 姜云飞

刻画基于模型的中心诊断

软件学报, 第 10 卷 第 1 期, 74 - 77

1999年1月

欧阳丹彤， 姜云飞

广义因果理论的基于模型的诊断

计算机研究与发展第 36 卷 第 1 期， 31 - 35

1999年 1 月

姜云飞, 智桂兰

使用选择函数的亚蕴函询问求值

软件学报, 第 9 卷 第 1 期, 64 - 68

1998年1月

欧阳丹彤， 姜云飞

基于一致性的中心诊断及中心溯因诊断

《计算机学报》, 1998年6期，540-545

1998年

欧阳丹彤， 姜云飞

基于一致性最小正常诊断及其应用

《计算机学报》, 1998年6期，540-545

1998年

姜云飞

基于知识结构图的智能教学规划 

计算机研究与发展, 1998年9期，787 - 792.

1998年

李占山， 姜云飞

基于模型的诊断及其应用

计算机科学。 第25卷第 6 期， 54-57

1998年

程晓春,姜云飞

关于择优蕴涵的悖论

计算机研究与发展, 1997年2期，81-86.

1997年

程晓春,姜云飞,刘叙华

基于辩论语义的算子模糊逻辑(Dialectic Operator fuzzy Logic)

中国科学,E辑,1996年1