在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 …
在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 …