78.L. Zheng, C. Liu, D. Jia
An Approach to Constraint Inductive Logic Programming
Proc ICMLC’2003
77..L. Zheng, C. Liu, D. Jia, N. Zhong
A New Approach to Constraint Inductive Logic Programming
Proc. The fourteenth international symposium on methodologies for intelligent systems (ISMIS-2003)，p 357~364
76.Xinwu Yang, Chunnian Liu, Ning Zhong
First-order Rules Mining Guided by Information Gain
Proc. The fourteenth international symposium on methodologies for intelligent systems. (ISMIS), 2003, p463~467
75.Xinwu Yang, Chunnian Liu
The Evaluation Criterion Based on the Binding Concept
Proc. Of The 7th International Conference for Young Computer Scientists (ICYCS2003).. 77－82
74.Jiajin Huang, Chunnian Liu, Chuangxin Ou
Attribute Reduction of Rough Sets in Mining Market Value Functions
Proc. 2003 IEEE/WIC International Conference On Web Intelligence, IEEE press, Canada, 470~473
73.Junzhong Ji, Zhiqiang Sha, Chunnian Liu
Online Recommendation Based On Customer Shopping Model in E-Commerce
Proc. 2003 IEEE/WIC International Conference On Web Intelligence, IEEE press, Canada, 68~74
72.Chuangxin Ou, Chunnian Liu, Jiajing Huang and Ning Zhong
On Data Mining for Direct Marketing.
Proceedings of RSFDGrC 2003: 491-498. （SCI检索）
71.Wenbin Li. Ning Zhong, Chunnian Liu
Design and implementation of an E-Mail classifier
2nd International Conference on Active Media Technology, MAY 29-31, 2003 ,ACTIVE MEDIA TECHNOLOGY , 423-430, 2003（ISTP, SCI检索）
70.C. Liu,etc
WebMath: A Web-based ITS System
Springer LNCS 2436, p119-129, Aug. 2002, Hong Kong
69.N. Zhong, T. Matrunaga, C. Liu
A Text Mining Agents Based Architecture for Personal Email filtering and Management
Springer LNCS2412, August 2002, p 329-336, Manchester UK
68..N. Zhong, etc. C. Liu
Framework of A Multi Agent KDD System
Springer LNCS2412, August 2002, p 337-346, Manchester UK
67.Y.Y.Yao, N.Zhong, J.Huang, C.Ou and C.Liu
Using Market Value Functions for Targeted Marketing Data Mining
International Journal of Pattern Recognition and Artificial Intelligence.16(8)，2002 (SCI)
66.J. Li, C.Liu
Personalized Web Sit Based on Web Usage Mining
Proc. of Workshop on Web Intelligence and Software Engineering,as Technical Report of IEICE, Japan, Aug. 30-31, 2001, pp9-14
65.J. Zhang, C. Liu
Extracting Information fron theWeb
Proc. of Workshop on Web Intelligence and Software Engineering,as Technical Report of IEICE, Japan, Aug. 30-31, 2001, pp1-8
64.C.Liu etc.
Electronic Homework on the WWW
In Proc. WI-2001, as Springer- Verlag LNAI 2198, p540-548, 2001
63.Alf Inge Wang, C. Liu
Process Support for Mobile Workacross Heterogenous Systems
Proc. of EWSPT’01, as LNCS2077, p117-129, Springer-Verlag,June 2001
62.C. Liu, N. Zhong.
Dealing with Imperfect Data by RS-ILP. Bulletin of International Rough Set Society
Proc. of RSTGC 2001, May 2001, 5(1/2): 47-50
61.Junzhong Ji Lei Zheng, Chunnian Liu
The Intelligent Electronic Shopping System Based on Bayesian Customer Modeling
Proc. WI-2001, as Springer-Verlag, Japan ,LNAI 2198, 574-578, 2001
60.N. Zhong, C. Liu, S. Ohshuga
Dynamically Organizing KDD Processes in a Multi-Agent Based KDD System
Book Chapter in Agent Engineering published by World Scientific Co., Chapter 4, p93-122, 2001
59.N. Zhong, C. Liu, S. Ohshuga
Dynamically Organizing KDD Processes
International Journal of Pattern Recognition and Artificial Intelligence. 15(3): 451-473. 2001 (SCI)
58.N. Zhong, J. Dong, C. Liu, S. Ohsuga
A Hybrid Model for Rule Discovery in Data
Knowledge Based Systems, an international journal by Elsevier. 14(7),2001,p.397-412 (Abstracting/ Indexing in {\bf SCI}).
57.C. Liu, N. Zhong
Rough Problem Settings for ILP Dealing with Imperfect Data.
Computational Intelligence an International Journal,17（3），2001 (SCI)
56.C.Ou, C.Liu, etc,
On Data Mining for Direct Marketing,
Accepted by RSFDGrC’2003
55.C. Liu,etc.
WebMath: A Web-based ITS System,
Springer LNCS 2436, p119-129, Aug.2002, HongKong
54.N. Zhong, T. Matrunaga, C. Liu,
A Text Mining Agents Based Architecture for Personal Email filtering and Management
Springer LNCS2412, August 2002, p 329-336, Manchester UK
53.N. Zhong, etc. C. Liu,
Framework of A Multi Agent KDD System,
Springer LNCS2412, p337-346, August 2002, Manchester UK
52.W. Li, C.Liu,
Design and Implementation of An E-Mail Classifier,
Accepted by 2nd ICAMT
51.Y.Y.Yao, N.Zhong, J.Huang, C.Ou and C.Liu,
Using Market Value Functions for Targeted Marketing Data Mining,
International Journal of Pattern Recognition and Artificial
Intelligence.16(8) :1117~1131.2002
50. N. Zhong, J. Dong, C. Liu, S. Ohsuga
A Hybrid Model for Rule Discovery in Data
Knowledge Based Systems, an international journal by Elsevier.
Vol 14, No. 7 (2001) 397-412 (Abstracting/Indexing in {\bf SCI}).
49. N. Zhong, C. Liu, S. Ohshuga,
Dynamically Organizing KDD Processes in a Multi-Agent Based KDD
System,
Book Chapter in Agent Engineering published by World Scientific Co.,
Chapter 4, p93-122, 2001
48. N. Zhong, C. Liu, S. Ohshuga,
Dynamically Organizing KDD Processes
International Journal of Pattern Recognition and Artificial Intelligence
15(3): 451-473. 2001
47. C. Liu, N. Zhong:
Dealing with Imperfect Data by RS-ILP
Bulletin of International Rough Set Society, Proc. of RSTGC 2001,
May 2001, 5(1/2): 47-50
46. Alf Inge Wang, C. Liu:
Process Support for Mobile Work across Heterogenous Systems
Proc. of EWSPT’01, as LNCS2077, p117-129, Springer-Verlag, June 2001
45. C. Liu, N. Zhong,
Rough Problem Settings for ILP Dealing with Imperfect Data
Computational Intelligence an International Journal, Vol.17, No.3, p 446-459.
Blackwell Publishers, 2001
44. C.Liu etc.
Electronic Homework on the WWW
In Proc. WI-2001, as Springer-Verlag LNAI 2198, p540-548, 2001
43. J.Ji, L.Zheng, C.Liu
The Intelligent Electronic Shopping System Based on Bayesian Customer
Modeling
In Proc. WI-2001, as Springer-Verlag LNAI 2198, p574-578, 2001
42. J. Zhang, C. Liu,
Extracting Information fron the Web
Proc. of Workshop on Web Intelligence and Software Engineering,
as Technical Report of IEICE, Japan, Aug. 30-31, 2001, pp1-8
41. J. Li, C.Liu,
Personalized Web Sit Based on Web Usage Mining,
Proc. of Workshop on Web Intelligence and Software Engineering,
as Technical Report of IEICE, Japan, Aug. 30-31, 2001, pp9-14
40. N. Zhong, J, Dong, C. Liu, S. Ohsuga
A Hybrid Model for Rule Discovery in Data
In Proc. RSCTC'2000, The 2nd Inte’l Conf. on Rough Sets and Current Trends in
Computing, Banff Park Lodge, Banff, Canada October 16-19, 2000
As Springer-Verlag LNAI 2005, p436-444
39. C. Liu, (ISTP)
Constraint Databases,
An Invited paper of IDS2000, the 10th International Database Symposium,
Hong Kong, 2000, June 21-22
38. C. Liu, N.Zhong, S. Ohshuga,
A Multi-Agent Based Architecture for Distributed KDD Process
In Proc. ISMIS2000, The 12th International Symposium on
Methodologies for Intelligent Systems, North Carolina, U.S.A, Oct. 11-14, 2000
As LNAI 1932, Springer-Verlag 2000, p. 591-600
Z.W. Ras and S. Ohsuga (eds.) Foundations of Intelligent Systems.
37. C. Liu, N.Zhong,
Granular Computing and Imperfect Data in ILP
Proc. of JCIS2000, The 1st Joint Conference on Information Sciences,
New Jersey, U.S.A, Vol. I, p. 170-173, Feb. 27-March 3, 2000
36. Alf Inge Wang, C. Liu, etc.
Integrating Workflow with Interacting Agents to support Cooperative Software
Engineering
4th IASTED Inte’l Conference on Software Engineering and Applications
(SEA'2000), Las Vegas, Nevada, USA, 6-9 November 2000.
35. Conradi, C. Liu, etc. (EI)
Planning Support to Software Process Evolution (rev.),
International Journal of SEKE, 10(1):31-47, Feb. 2000
34. Alf Inge Wang, C. Liu, etc.
A Multi-agent Architecture for Cooperative Software Engineering
In Proc. SEKE’99, 11th International Conference on Software Engineering and
Knowledge Engineering, Kaiserslautern, Germany, p 162-169, June 16-19, 1999
33. C. Liu, N.Zhong, (ISTP)
Rough Problem Settings for Inductive Logic Programming
In Proc. RSFDGrC’99, Ube, Japan, Nov.9-11 1999,
LNAI Springer-Verlag 1711, p168-177
32. C. Liu and R. Conradi.
Process View of CSCW,
in Proc. ISFST’98, International Symposium on Future Software Technology,
Hangzhou, China, Oct. 28-30, 1998, pp46-51
31. C. Liu, R. Conradi, etc.
Planning Support to Software Process Evolution,
in: Proc. SEKE98, San Francisco Bay, USA. June 17-20, 1998, pp383-392
30. C. Liu, N. Zhong, etc. (EI, ISTP)
Handling KDD Process Iteration by Integration of Planning and Controlling,
in Proc. SMC’98, 1998 IEEE International Conference on System, Man, and
Cybernetics, San Diego, California, Oct. 11-14 1998, pp411-416
29. N. Zhong, C. Liu, etc.
Handling KDD Process Change by Incremental Replanning,
in Proc. PKDD’98, Second European Symposium on Priciples of Data Mining and
Knowledge Discovery, Nantes, France, Sept. 1998, SpringerLNAI 1510, pp111-120
28. C. Liu, N. Zhong, Y. Kakemoto and S. Ohsuga,
Planning and Replanning of KDD Process,
in Proc. of IASTED International Conference: AI and Soft Computing,
July 27 - Aug.1, 1997, Banff, Canada. pp 339--342
27. C. Liu, N.Zhong, S. Ohsuga,
Constraint ILP and its Application to KDD,
in Proc. of IJCAI-97 Workshop on Frontiers of ILP,
Aug. 25, 1997, Nagoya, Japan, pp 103--104
26. Y.Tao, W. Grosky and C.Liu, (EI, ISTP, INSPEC)
An Automatic Partial Deduction System for CLP Programs,
in Proc. of IEEE ICTAI'97, Nov. 1997, California, U.S.A. pp 149-156
25. N.Zhong, C.Liu, S. Ohsuga, (INSPEC)
A way of Increasing Both Autonomy and Versatility of a KDD System,
in Proc of ISMIS'97(10th International Symposium on Methodologies for Intelligent Systems)
Oct. 15-18, 1997, Charlotte, North Carolina, U.S.A.
Springer LNAI 1325, pp 94--105
24 N.Zhong, S.Ohsuga, C.Liu, and X.Zhang, (ISTP, INSPEC)
On Meta Levels of An Organized Society of KDD Agents,
in Proc. of PKDD'97, Trondheim, Norway, June 25-27, 1997.
Springer LNAI 1263 pp 367--375
23. N.Zhong, C.Liu, and S.Ohsuga,
KDD Process Planning,
in Proc. of KDD'97 (The 3rd International Conference on Knowledge Discovery
and Data Mining),
Aug. 14-17, 1997, Newport Beach, California, U.S.A. pp 291--294
22. R.conradi and C.Liu, (INSPEC)
Revised PMLs and PSEEs for Industrial SPI,
in Proc. of ECOOP’97, 10-11, June 1997, Finland, as Springer LNCS 1357 pp289-294
21. C. Liu,
OODB Support for Software Process Modeling and Management,
in Proc. of the 7th International HK DB Workshop, HongKong, May 1996
MultiMedia, Knowledge-Based, Object-Oriented Databases, Springer,1996, 16-25
20. R. Conradi, C. Liu, (EI)
Planning Support for Cooperating Transactions in EPOS (revised),
Information Systems, 1995, 20(4): 317-336
19. R. Conradi, C. Liu, Process Modeling Languages: One or Many?
in: Software Process Technology, Proc. EWSPT'95, Netherlands, April 1995,
Springer LNCS 913, 98-118
18. R. Conradi, C. Liu,
Planning Support for Cooperating Transactions in EPOS,
in: Advanced Information Systems Engineering, Proc. CAiSE'94,
Netherlands June 1994, Springer-Verlag LNCS 811, 2--13
17. R. Conradi, C. Liu,
EPOS: Object-Oriented Cooperative Process Modeling,
Chapter 3 in Software Process Modeling and Technology,
England: Research Studies Press LTD, 1994
16. C. Liu, R. Conradi,
Automatic Replanning of Task Networks for Process Model Evolution in EPOS,
in: Software Engineering, Proc. ESEC'93, Germany, September 1993,
Springer-Verlag LNCS 717, 434--450
15. R. Conradi, C. Liu,
Cooperating Transactions against EPOSDB,
Presented at IFIP WG2.4 Meeting, Monterey, USA, October 1993
14. C. Liu,
Software Process Planning and Execution: Coupling vs. Integration,
in: Advanced Information Systems Engineering, Proc. CAiSE'91, Norway, May 1991,
Springer-Verlag LNCS 498, 356--374
13. C. Liu,
An Expert System for Program and System Development,
in: Proc. of AVIGNON91 (the 11th International Conference on Expert Systems and
their Applications), Avignon France, May 1991,
Published by EC2, France, Vol. 3: 97--110
12. C. Liu and R. Conradi,
Process Modeling Paradigms: an Evaluation,
in: Proc. of the First European Workshop on Process Modeling, Milan Italy, May 1991,
Published by Italian Society of Computer Science, 39--52
11. R. Conradi, C. Liu,
On the Integration of CM and PM,
in: Proc. of the First European Workshop on Process Modeling, Milan Italy, May 1991,
Published by Italian Society of Computer Science, 119-120
10. R. Conradi, M.L. Jaccheri, C. Liu,
Rule and Task Network Based Process Modeling,
in: Proc. of the First European Workshop on Process Modeling, Milan Italy, May 1991,
Published by Italian Society of Computer Science, 69-70
9. R. Conradi, E. Osjord, P. Westby, C. Liu, (EI)
Initial Software Process Management in EPOS,
Software Engineering Journal, 1991, 6(5): 275--284
8. R. Conradi, C. Liu, M.L. Jaccheri,
Evaluating Software Process Modeling Paradigms,
in: Proc. 7th IEEE Int'l Software Process Workshop, San Francisco USA, Oct. 1991,
IEEE Computer Society Press, 1991, 51-53
7. M.L. Jaccheri, R. Conradi, C. Liu,
Process modeling Paradigms and the EPOS System,
in: Proc. NIK'91, Norsk Informatikk Konferanse , Trondheim, Nov. 1991,
Published by Tapir, 1991, 207-220
6. C. Liu,
A Software Process Planner in EPOS,
in: Proc. NIK'90, Norsk Informatikk Konferanse , Bergen, Nov. 1990,
Published by Tapir, 1990, 203-216
5. R. Conradi, E. Osjord, P. H. Westby, C. Liu,
Software Process Management in EPOS: Design and Initial Implementation,
in: Proc. 3rd Int'l Workshop on Software Engineering and its Applications,
Toulouse France, December 1990, 365--381
4. R. Conradi, C. Liu, P.H. Westby,
EPOS PM: Planning and Execution,
in: Proc. 6th IEEE Int'l Software Process Workshop,
Hokkaido Japan, 29--31 Oct. 1990,
3. R. Conradi, A. Lie, E. Osjord, P.H. Westby, V. Ambriola, M.L. Jaccheri, C. Liu,
Software Process Modeling in EPOS,
in: Advanced Information Systems Engineering, Proc. CAiSE'90, 1990,
Springer-Verlag LNCS 436, 109--133
2. C. Liu,
Planning Software Development Processes in EPOS,
in: Compendium of EPOS Day, Trondheim Norway, Nov. 1, 1989
1. C. Liu,
C-Meta-IV: A VDM Compiler Using Prolog as the Intermediate Language,
in: Proc. PPCC-3, (The 3rd Pam Pacific Computer Conference),
Beijing, China, August 1989, International Academic Publishers, 1989, p. 695
中文论文（论文合作者均为刘椿年的研究生）
60.毛国君、刘椿年,数据仓库的质量管理问题和方法 ,计算机科学, 中国，2003-8，30(8):99~1
59.郑磊，刘椿年, 贾东,归纳逻辑程序设计综述 ,计算机工程与应用2003,39(17),p 43~46
58.郑磊，刘椿年, 贾东,约束归纳逻辑程序设计系统 ,计算机工程,2003,29(19),p 6~7
57.郑磊，刘椿年, 贾东,约束归纳逻辑程序设计方法的研究 ,计算机工程与应用, 2003,39(10),p 63~66
56.冀俊忠，沙志强，刘椿年，郎青,B2C电子商务站点中知识发现的研究 ,北京工业大学学报. 29(2)，229~233
55.冀俊忠，刘椿年，沙志强,贝叶斯网模型的学习、推理和应用 ,计算机工程与应用，39卷(5) 24~27
54.李文斌，刘椿年,基于数据挖掘的垃圾E-mail过滤方法 ,北京工业大学学报，29（2），237-241
53.杨新武,刘椿年,选择策略对遗传归纳逻辑程序设计收敛性能的影响 ,计算机工程,29(5):8-9
52.杨新武,刘椿年,基于演化周期的惩罚策略 ,计算机工程与应用, 39(17): 53-55
51.杨新武,刘椿年,一阶规则获取中的等价类问题 ,计算机工程与应用, 39(18): 58-60
50.杨新武,刘椿年,遗传归纳逻辑程序设计的个体编码生长现象 ,计算机研究与发展, 40（8）：1238-1243
49.毛国君，刘椿年,基于项目序列操作的数据挖掘算法 ,计算机学报, 2002, 25(4): 417~423
48.郑磊，贾东，刘椿年,智能教学系统中自动推理模块的设计与实现 ,北京工业大学学报，28（3），2002
47.冀俊忠，刘椿年，江川，杨文盛,贝叶斯网及其概率推理在智能教学中的应用 ,北京工业大学学报，28(3), 353~357
46.李文斌，黄佳进，欧创新，刘椿年,个性化E-mail分类器的设计与实现 ,北京工业大学学报，28（4），487-491
45.杨新武,刘椿年,张俊卿,基于遗传算法的一阶规则获取 ,计算机工程与应用, 38(17): 28-30
44.杨新武,刘椿年,遗传归纳逻辑程序设计中规则的位串表示法 ,北京工业大学学报, 2001,27(3)： 297-302
43.冀俊忠，刘椿年，贝叶斯网模型的学习、推理和应用, 计算机工程与应用 2003年第5期
42.毛国君，刘椿年，基于项目序列集操作的数据挖掘算法， 计算机学报，2002,4
41.杨新武，刘椿年，遗传归纳逻辑程序设计的个体编码生长现象, 计算机研究与发展（录用）
40.杨新武，刘椿年，基于遗传算法的一阶规则获取, 计算机工程与应用2002年第17期
39.郑磊， 刘椿年， 智能教学系统中自动推理模块的设计与实现, 北京工业大学学报，2002,9
38.冀俊忠，刘椿年，贝叶斯网及其概率推理在智能教学中的应用, 北京工业大学学报，2002,9
37.李文斌，刘椿年,个性化E-mail分类器的设计与实现，北京工业大学学报，2002年第4期
36.李文斌，刘椿年，基于数据挖掘的垃圾邮件过滤方法，北京工业大学学报（录用）
35.黄佳进，刘椿年，市场值函数挖掘的研究和实现，北京工业大学学报（录用）
34.黄佳进，刘椿年，市场值函数学习算法的研究和实现，计算机工程与应用（录用）
33.郑磊， 刘椿年，约束归纳逻辑程序设计方法的研究, 计算机工程与应用 （录用）
32.郑磊， 刘椿年，约束归纳逻辑程序设计系统的研究与实现, 计算机工程 （录用）
31.杨新武，刘椿年，选择策略对遗传归纳程序设计收敛性能的影响, 计算机工程（录用）
30．聂文英(研)，刘椿年，王念永(研)：基于有穷论域的并行约束逻辑系统的串行化实现， 投寄：北京工业大学学报
27．夏姗姗(研)，刘椿年：约束归纳逻辑程序设计的研究，
陆汝钤主编：世纪之交的知识工程与知识科学，清华大学出版社 2001，p251-279
25．刘椿年：模态逻辑与粗糙集理论，
陆汝钤主编：世纪之交的知识工程与知识科学，清华大学出版社 2001，p289-292
24．聂文英(研)，刘椿年，王念永(研)：BPU-PARCLP(FD)语言中的约束蕴含技术的研究，
北京：计算机研究与发展，1999.7, 36(Suppl): 12-15
北京：北京工业大学学报，1999.1, 25(1):56-63
23．王志言(研)，刘椿年： 区间算术在软件测试中的应用， (EI)
北京：软件学报，1998.6, 9(6): 438-443
22。王志言(研)，刘椿年： 一种路径覆盖的自动生成算法－－剪枝法，
北京：计算机研究与发展，1998,,2, 35(2)：169—172
21。钟宁燕(研)，刘椿年，苗占禄(研)：WAM编译优化
北京：北京工业大学学报，1998.12, 24(4):43-49
20。王念永(研)，刘椿年，聂文英(研)：实数域上的并行约束逻辑程序设计系统及其实现技术
北京：北京工业大学学报，1998.12, 24(4):1-6
19。聂文英(研)，刘椿年，王念永(研)： BPU－SPAR：一个并行Prolog系统，
北京：北京工业大学学报，1997.9, 23(3):83-90
18。陶意(研)，刘椿年：逻辑程序部分演绎的一种新方法，
北京：北京工业大学学报，1997.9, 23(3):52-61
17。陶意(研)，刘椿年：约束逻辑程序的部分演绎，(INSPEC, CCA)
北京：计算机学报： 1997.3, 20(3):238-244
16。刘椿年等：BPU—CLP：一个多重论域的约束逻辑程序设计系统及其部分演绎，
北京：软件学报863专刊， 1996,10， pp 303-309
15。张秀珍(研)，刘椿年：步进的线性算术约束求解算法，
北京：软件学报863专刊， 1996,10， pp 295-302
14。张秀珍(研)，刘椿年： CLP(R)中推理机与求解器的协调技术, (EI)
北京：软件学报， 1996，7(7): 415-421
13。童梅(研)，刘椿年：逻辑程序的自动模式推导，
北京：计算机研究与发展，1996，33(2)：81-92
12。张秀珍(研)，刘椿年：CLP(R)程序部分演绎的研究，
北京：计算机研究与发展，1996，33(5)：347-354
11。刘椿年：一个基于抽象解释的部分演绎过程，
北京：软件学报，1994，5(11)：31-37
10。刘椿年：一个用于软件生产自动化的VDM元语言编译系统，
北京：北京工业大学学报，1990，16(1)： 19-24
9。孔令勉 (研)，刘椿年：全一阶谓词程序设计系统NAD，
北京：计算机研究与发展，1990， 27(6)：10-15
8。刘椿年等：Prolog，DBMS和过程模块三者集成的专家系统开发环境，
北京：计算机研究与发展，1989，26(4)：1-5
7。刘椿年：ESPRIT：欧洲信息技术研究与开发的战略计划，
成都：计算机应用研究，1989，6(5)：64-66
6。刘椿年，李晨(研)：一类受限逻辑程序的抽象解释及应用，(CCA)
北京：计算机学报，1988，11(12)：717-724
5。刘椿年，孙怀民：函数型和逻辑型语言—两者结合的动机与技术，
孙怀民主编：知识工程进展1988, 武汉：中国地质大学出版社，1988，300-306
4。刘椿年等：PROLOG的编译优化—数据流分析及其应用,
北京：中国人工智能学会第五届年会论文集， 1987.4
3。刘椿年：用Prolog描述的独立于机器的代码生成，
唐稚松主编：软件方法, 工具, 环境论文集，
西安：西北大学出版社，1985，217-228
2。刘椿年：LISPP: 一个用Prolog解释的EV-LISP系统，
合肥：第四届全国模式识别与机器智能学术会议论文集， 1984.11
1。在计算机世界报，计算机世界月刊，中国计算机用户等刊物发表综述性文章
10多篇约10万字，1986-1989。
著，译，审，校书籍
1。 刘椿年，曹德和著：Prolog语言, 它的应用与实现，
北京：科学出版社，1990
2。 刘椿年，孔令勉著：微机窗口软件及其应用，
北京：清华大学出版社，1988
3。 丘玉圃，刘椿年，刘健丽著：编译程序构造方法，
北京：科学出版社，1991〈全国统编教材〉
4。 曹德和，刘椿年译：算法 + 数据结构 = 程序（瑞士N. Wirth著），
北京：科学出版社，1985
5。 刘椿年，钟宁，刘树钧译：事务处理专家系统及开发工具GURU，
北京：科海公司培训中心，1988
6。 刘椿年任编委:
(1) 许孔时主编：英汉计算机缩略语大词典，
北京：国防工业出版社，1991
(2) 杨德元主编：软件人员水平考试辅导，
(程序员级, 高级程序员级, 习题集) 共三本，
北京：清华大学出版社，1988--1989
7。 刘椿年校:
(1) 曹德和等译：计算机科学的数学基础，
北京：科学出版社，1991
(2) 高勇秀译：IBM PC USCD PASCAL程序设计，
北京：电子工业出版社，1988
8。 刘椿年主审：
(1) 陈火旺等著：程序设计方法学基础，
长沙：湖南科技出版社，1987
(2) 胡笔蕊等著：编译技术，
北京：测绘出版社，1989
9。 刘椿年,模态逻辑与粗糙集理论 ,陆汝钤主编：世纪之交的知识工程与知识科学，清华大学出版社 2001，p289-292
10。 刘椿年,约束逻辑程序设计CLP—现状与未来 ,陆汝钤主编：世纪之交的知识工程与知识科学，清华大学出版社 2001，p251-279
