近期论文
查看导师新发文章
（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）
2015年
LingyunSITU,LingzhongZHAO.CSPBoundedModelCheckingofPreprocessedCTLextendedwithEventsusingAnswerSetProgramming,ProceedingsofASIA-PACIFICSOFTWAREENGINEERINGCONFERENCE,APSEC2015,2015,pp.16-23.
刘彦青，赵岭忠（通信作者），钱俊彦.基于Petri网的CSP并发系统验证技术研究.计算机科学，2015,42(10):244-250,291.
赵岭忠,翟仲毅,钱俊彦,郭云川.基于关键迹和ASP的CSP模型检测.软件学报,2015,26(10):2521~2544.http://www.jos.org.cn/1000-9825/4738.htm
2014年
XuesongWANG,LiqinZHANG,LingzhongZHAO,JunyanQIAN,AnImprovedASPBasedVerificationToolImF_ASPforCommunicationProtocolsDescribedbyCSP,JournalofComputationalInformationSystems,2014.9.18投稿(EI)
LingzhongZHAO,LiqinZHANG,JunyanQIAN,HaitaoZHANG,YingZHU,ASPbasedPropertyVerificationofCommunicationProtocolsDescribedbyCSP,JournalofComputationalInformationSystems,2014,10(11):4929-4936.ISSN1553-9105(EI)
钱俊彦，赵岭忠（通信作者），蔡国永.基于完备抽象解释的性质强保留抽象研究，计算机学报，2014，37（8）：1754-1767.(EI)
钱俊彦，贾书贵，赵岭忠，郭云川.基于上下文定界的递归队列并发程序可达性分析，计算机学报，2014,37(12):2574-2585.
2013年
王雪松，赵岭忠，张超.基于ASP的CSP模型验证性质反例生成技术研究,计算机应用研究，2013,30(1):52-55.
赵岭忠，翟仲毅，钱俊彦，基于进程迹的CSP模型验证框架，计算机科学，2013,40(11):181-186.
赵岭忠，司徒凌云，翟仲毅，钱俊彦.基于ASP的CSP进程描述与组合研究，计算机科学，2013,40(12):133-140.
钱俊彦，贾书贵，蔡国永，赵岭忠.基于上下文定界的Fork/Join并行性的并发程序可达性分析，计算机工程与科学，2013，35(2):1-6.
2012年
赵岭忠,张超,钱俊彦.基于ASP的CSP并发系统验证研究.计算机科学,2012,39(12):133-136.
王雪松,钱俊彦,赵岭忠,高荣亮.基于并发事务逻辑的语义Web服务组合,计算机科学,2012，39(10):139-142,156.
翟仲毅,王雪松,赵岭忠.基于ASP的程序切片,桂林电子科技大学学报,2012,32(1):29-34.
董凤娇，王雪松，赵岭忠,张超.基于启发式搜索的ASP程序支撑原因分析算法，桂林电子科技大学学报，2012,32(3):222-226.
2011年：
赵岭忠,王雪松.基于OBDD的含圈与或图搜索算法研究.计算机应用研究,2011,28(4):1325-1329.
方毅立，赵岭忠.正规逻辑程序回答集存在性研究.计算机科学,2011,38(12):213-220.
钱俊彦,黄国旺,赵岭忠.基于答案集的WEB服务组合验证,计算机科学,2011,38(12):131-134.
Qian,Jun-Yan,Huang,Guo-Wang,Zhao,Ling-Zhong.Semanticwebservicecompositionusinganswersetplanning.InternationalJournalofAdvancementsinComputingTechnology,3(5):p20-31,June2011.(EI)
2010年：
LingzhongZhao,JunyanQian,LiangChang,andGuoyongCai.UsingASPforKnowledgeManagementwithUserAuthorization.Data&KnowledgeEngineering,2010,69(8):737-762.(SCI/EI)
LingzhongZhao,XuesongWang,JunyanQian,andTianlongGu.UsingASPtoImprovetheInformationReuseinMechanicalAssemblySequencePlanning,Proceedingsofthe11thPacificRimInternationalConferenceonArtificialIntelligence(PRICAI2010),LectureNotesinArtificialIntelligence,6230,pp.384-396.(EI)
LingzhongZhao,YiliFang.AKnowledgeBasedMethodforDataFlowAnalysis.Proceedingsof2010InternationalConferenceonIntelligentComputingandIntegratedSystems(ICISS2010),pp.555-558.(EI)
王雪松,赵岭忠,古天龙.无圈与或图搜索的符号OBDD算法研究.计算机科学,2010,37(7):169-173.
赵岭忠,王雪松,钱俊彦,蔡国永.从经典逻辑知识构建ASP知识库的新方法.计算机应用,2010,30(11):2932-2936.
2009年以前：
LingzhongZhao,WeizhiLiao,YiliFang,JunyanQianandCongwenZeng.AnASPBasedMethodforSubassemblyIdentification.ProceedingsofROBIO2009,pp.1317-1322.(EI)
LingzhongZhao,TianlongGuandJunyanQian.TestFramesUpdatinginCPMTestingofPrologPrograms.SoftwareQualityJournal,2008,16(2):277-298.(SCI)
LingzhongZhao,TianlongGu,JunyanQian,andGuoyongCai.ANovelTestCaseGenerationMethodforPrologProgramsBasedonCallPatternsSemantics.In:ProceedingsofTheFifthASIANSymposiumonProgrammingLanguagesandSystems(APLAS2007),LectureNotesinComputerScience,2007,4807,pp.105-121.(EI)
LingzhongZhao,TianlongGuandJunyanQian.Goal-independentSemanticsforPathDependentAnalysisofPrologPrograms.Proceedingsof1stIEEE&IFIPInternationalSymposiumonTheoreticalAspectsofSoftwareEngineering(TASE2007),2007,pp.261-270.(EI)
LingzhongZhao,TianlongGuandJunyanQian.Constraint-basedCorrectPartialAnswerSemanticsfortheAnalysisofPrologPrograms.WSEASTransactionsonComputers,2007,6(6):947-952.（EI）
LingzhongZhao,TianlongGu,JunyanQian,andGuoyongCai.DesigningPrologSemanticsforaClassofObservables.ProceedingsofNinthPacificRimInternationalConferenceonArtificialIntelligence(PRICAI’06),LectureNotesinArtificialIntelligence,2006,4099,pp.1052-1057.(SCI,EI)
LingzhongZhao,TianlongGu,JunyanQian,andGuoyongCai.OntheNewApplicationofCallPatternstoCPMTestingofPrologPrograms.Proceedingsofthe19thACSAustralianJointConferenceonArtificialIntelligence(AI’06),LectureNotesinArtificialIntelligence,2006,4304:1265-1270.(ISTP)
LingzhongZhao,TianlongGu,JunyanQian,andGuoyongCai.AConstraint-basedCorrectCallPatternSemanticsforPrologasanAbstractionofDecoratedTreeSemantics.ProceedingsoftheEighteenthInternationalConferenceonSoftwareEngineeringandKnowledgeEngineering(SEKE'06),2006,pp.359-362.(DBLP)
LingzhongZhao,TianlongGu,JunyanQian,andGuoyongCai.ABaseforAchievingSemanticsforPrologwithCutfor“Correct”Observables.Proceedingsofthe2006InternationalConferenceonSoftwareEngineeringResearchandPractice(SERP’06),2006,pp.664-670.(INSPEC,DBLP)
XuesongWang,LingzhongZhao,CongenZeng,JunyanQianandTianlongGu.AnASPbasedSolutiontoMechanicalAssemblySequencePlanning.ProceedingsofWGEC2009,pp.205-208.(EI)
JunyanQian,LingzhongZhao,GuoyongCai,TianlongGu:AutomaticConstructionofCompleteAbstractionbyAbstractInterpretation.ProceedingsofACIS-ICIS2009,pp.927-932.(EI)
JunyanQian,LingzhongZhao,TianlongGuandGuoyongCai.Formula-dependentabstractionforCTLmodelchecking.ProceedingsoftheICCSA2008,LectureNotesinComputerScience5073,July,2008,pp.1035-1048.(EI)
LiangChang,ZhongzhiShi,TianlongGu,LingzhongZhao,AFamilyofDynamicDescriptionLogicsforRepresentingandReasoningAboutActions，JournalofAutomatedReasoning,pp.1-52,2010.(SCI、EI)
JunyanQian,GuoyongCai,TianlongGuandLingzhongZhao.AbstractModelCheckingforWebServices.WuhanUniversityJournalofNaturalScience.13(5),2008(EI)
CongwenZeng,TianlongGuandLingzhongZhao.ANovelGeneticAlgorithmforTravelingSalesmanProblem.DCDISSERIESB:APPLICATIONSANDALGORITHMS.2006,5:859-862.
GuoyongCai，JiGao，JunyanQian，LingzhongZhao.Distributedcollaboratingsystemdesignviaelectronicinstitutionalcalculus.InternationalConferenceonNetworkandParallelComputing(NPC2007),Sep.18-20,2007,Dalian,China,pp754-761.（EI）
GuoyongCai，JiGao，JunyanQian，LingzhongZhao.FormalizinginteractiveinstitutionwithRBAcalculus.AcceptedbyInternationalConferenceonIntelligentSystemsandKnowledgeEngineering(ISKE2007),October15-16,2007,Chengdu,China.
赵岭忠，廖伟志,钱俊彦,古天龙.基于计算解语义的逻辑程序测试和调试框架.计算机科学.2009,36(9):115-121.
赵岭忠,古天龙，蔡国永,钱俊彦.基于抽象解释的Prolog程序验证技术研究.计算机科学.2008,35(7):261-268.
赵岭忠,古天龙,钱俊彦.目标独立的Prolog程序路径依赖分析语义.计算机科学.2008,35(2):246-252,297.
赵岭忠,钱俊彦.调用模式和正确调用模式语义在Prolog程序测试中的应用.计算机应用研究.2008,25(4):1008-1012.
赵岭忠,王雪松,古天龙,钱俊彦.一种基于熵的OBDD变量排序算法.计算机科学.2007,34(2):216-219.
赵岭忠,董荣胜,蔡国永,古天龙.基于对象分布式实时系统约束的一致性研究.计算机工程与应用,2002,38(15):60-62,71.
赵岭忠,董荣胜,古天龙,蔡国永.实时系统非周期任务的可预测调度研究.桂林电子工业学院学报.2001,21(3):18-21.
钱俊彦,赵岭忠.基于自动机理论的符号模型检验.兰州理工大学学报,2008,35(4):96-99.
王雪松,赵岭忠,钱俊彦.Prolog程序正确调用模式语义的抽象技术研究.计算机应用研究(增刊)4-7月.(已录用).
钱俊彦,赵岭忠.基于LTS的Statecharts操作语义研究.计算机工程，2006,32(22):43-45.(EI)
钱俊彦,赵岭忠,古天龙.一种基于时间自动机的时钟等价性优化方法.计算机工程,2005,31(18):71-73.(EI)(9月出版)
钱俊彦,赵岭忠,古天龙.一种基于自动机理论的LTL检验符号优化方法.计算机工程,2005,31(23):20-21,27.(EI)(12月出版)（半月刊）
钱俊彦,赵岭忠.一种基于时间自动机的域构造方法.计算机应用研究,2005,22(7):68-70.
董荣胜,赵岭忠,蔡国永,古天龙.基于对象的分布式实时系统调度模型研究.计算机研究与发展.2002,21(3):1464-1470.(EI)
黄廷辉,崔更申,赵岭忠.无线传感器网络软件动态加载技术研究,计算机应用,2008,28(04):1029-1031.
钱俊彦,古天龙,赵岭忠.基于EHA模型检验Statecharts计算机工程,2006,32(3):19-21.(EI)
钱俊彦,古天龙,赵岭忠.Statecharts的形式化验证研究.计算机工程2005,31(18):19-22.(EI)
王雪松,张会兵,赵岭忠,熊凤.串行通信服务器中的自适应以太网设计.兵工自动化,2007,26(8):39-40,47.
古天龙,熊太平,赵岭忠.柔性制造系统中生产调度问题求解的一种符号算法.计算机集成制造系统，2007，13(2):338-344.(EI)
徐周波,古天龙,赵岭忠.网络最大流问题求解的符号ADD增广路径算法.计算机科学,2005,32(10):38-40.
徐周波,古天龙,赵岭忠.网络最大流问题的一种新的符号ADD求解算法,通信学报,2005,26(2):1-8.
廖伟志,古天龙,元昌安,赵岭忠,基于一阶混杂Petri网的柔性制造系统粗糙控制。控制与决策，2009,24(3):365-370.
董荣胜,曹双进,蔡国永,赵岭忠.基于对象分布式实时系统的容错模型研究.计算机工程与应用.2004,40(7):61-65.
京公网安备 11010802027423号