在TOSEM、TSE、ICSE、FSE、ISSTA、ICST等会议和期刊发表论文80余篇，申请发明专利30余项(已授权16项)，部分专利成果已经在百度、阿里和华为等知名软件公司转化，研究成果获2012年度江苏省科学技术奖一等奖和2015年湖北省科技进步奖一等奖。
期刊 检 索 高级检索 论文 专利 资讯 报告 项目 期刊 学者 机构 资源所外获取 常用数据库 馆/藏/纸/本 任意字段 任意字段 题名 作者 出版社 ISBN 检 索 馆藏分布 文献传递与馆际互借 ...
研究生毕业科研成果要求. 博士生毕业要求至少达到下列条件之一（要求论文第一或通讯作者，所有论文均为长文，short paper、tool paper、demo、poster paper均不予计算，同一条件中论文工作互不相同，例如期刊论文作为会议论文的扩充版本，则两者只能计入其一 ...
Speaker Introduction-ICST 2019. 陈睿，博士，北京轩宇信息技术有限公司软件工具研发部部长，中国计算机学会形式化方法专委会委员，北京市计算机学会理事。. 长期从事软件分析与测试技术和工具的研发，作为杨孟飞院士可信软件研究团队主要成员之一，主持或承担 ...
近日，我 院朱恩强教授和邵泽辉教授在数学-应用数学国际顶级期刊《Applied Mathematics and Computation》上，以广州大学作为第一署名单位发表了计算科学领域的重要分支-图着色理论方面的研究成果“On acyclically 4-colorable maximal planar graphs”。 ...
求助 Journal of Cancer Research and Therapeutics这个杂志是否还属于sci。有篇文章准备今年2月在这个杂志发表，不知道目前还是否属于sci，我在 web of science能查到文章，并能看到2016的影响因子。
为全面落实立德树人根本任务和全国教育大会精神，推动软件工程学科发展，提高专业人才培养质量，解决高校软件工程学科发展的问题和困惑，西安电子科技大学举办“第二届软件工程学术进展暨学科建设研讨会”。本次研讨会围绕软件工程领域最新学术进展、学科建设、科学研究、创新人才培养 ...
学院概览计算机与信息技术学院前身为数学系计算机教研室，1998年获批计算机科学与技术本科专业，2002年7月成立计算机科学与技术系；2011年12月成立工学院；2012年新增软件工程专业；2014年获批教育硕士现代教育技术领域专业学位授权点 ...
出版物 期刊 会议 发表时间 - 语言检索范围 不限 不限 英文 中文 文献 期刊 学者 订阅 收藏 论文查重 优惠 论文查重 开题分析 单篇购买 文献互助 用户中心 An algorithm for the machine calculation of …
中文 | English | ICST·35th Home About us People Research Platform Event Research Area Publication 2016 2014 2013 2012 2011 2008 2007 2006 2005 2004 2005 …
17ICSTIEEEVerificationandValidationInternationalSymposiumonAutomatedTechnologyfor18ATVAVerificationandAnalysis19ESEMInternationalSymposiumon...
19LiangcaiGao,KeYuan,YuehanWang,ZhuorenJiang,ZhiTangTheMathRetrievalSystemofICSTforNTCIR-12MathIRTaskThe12thofNIITestbedsandCommunityf...
te-Net/ICSTInternationalConferenceonCOMmunicationSystemsoftWAreandMiddlewaRECCPDConstraintProgrammingDayCCryPACCryptographyPoli...
VerificationandReliability9ICSTICFPRECAiSEHotOSETAPSVMCAIISSREMoDELSESEMFMEMSOFTSCCICWSCPATVA期刊简称TSETOSEMTOPLAS期刊简称TSCISTESESo...
中国计算机学会推荐国际学术会议和期刊目录(2015年)中国计算机学会中国计算机学会推荐国际学术期刊(计算机体系结构/并行与分布计算/存储系统)1、A类css...
首页会议期刊科研人员招聘登录中文|English|Español|日本語ConferencePartner»会议»ICST'会议信息ICST'2018:InternationalConferenceo...
InternationalConferenceonSmartTechnologiesforSustainableDevelopment2021(ICSTSD2021)2ndInternationalConferenceonComputationalIntelligence&IoT2021(ICCII...
ICSTM2020所有被选择和发表的论文将会根据主题出版在以下国际期刊中:1.高级管理科学期刊(JOAMS),该期刊将会被...1.通过投稿系统:Byourelectricsystem:ht...
7ICSTIEEEInternationalConferenceonSoftwareTesting,VerificationandValidationIEEEhttp://dblp.uni-trier.de/db/conf/icst/8ISPASSIEEEInte...
ICSTIEEEInternationalConferenceonSoftwareTesting,VerificationandValidationIEEE8ISPASSIEEEInternationalSymposiumonPerformanceAnalysisofSystems...