新闻
  19.7.23
ScholarSpace计算机中文文献导读已更新到2019年6月!
  19.5.9
计算机学科排名系统ScholarRankings v2.0发布,新增领域选择和排名方式选择功能。
  19.4.27
学术引用系统ScholarCitation v1.0发布,基于计算机领域82826篇期刊论文间的引用关系,评估学术影响力。
  18.1.9
计算机学科排名系统ScholarRankings v1.0发布,其旨在改善原有排名方法,激励国内高校和教师积极参与计算机各个领域的研究,学者与学校的排名不仅取决于论文数量,排名结果更具有参考性(排名算法参考CSRankings)。
  17.11.9
学者关系知识图谱ScholarGraph v1.0发布,涵盖七大领域(计算机、经济、管理、物理、地理、考古、教育)673,044位学者、1,068,928篇论文的数据,共计10,612,497个三元组,每个领域下均有作者、期刊、论文、论文实体,以及论文发表、论文出版关系等。
  17.10.25
学者谱系检索系统ScholarTree(DegreeTree v2.0)系统发布,现已收录53个领域4,003,276条学位论文(涉及53个领域),挖掘出4,643,028条师生关系。

贾仰理    Jia Yangli


聊城大学计算机学院



研究领域:


研究兴趣:

共检索到结果8条  被引10次[注:ScholarSpace内自引数]
查看贾仰理的合作作者    在DBLP中查找该作者文献
查看该作者的单位历史    作者项目历史

论文列表


注:被引数指ScholarSpace内自引数
No. 论文信息 被引数
2014
8 周恩光 李舟军 郭华 贾仰理 . 一个改进的云存储数据完整性验证方案. 电子学报, 2014, (01): 150-155 2
2013
7 赵海勇 贾仰理 . 一种改进的各向异性扩散去噪模型. 计算机科学, 2013, (S2): 0
2012
6 张振领 贾仰理 周恩光 李舟军 . TCBV:一种构件时序行为建模与相容性验证工具. 计算机科学, 2012, (10): - 0
5 张振领 贾仰理 李舟军 . 时间行为协议状态空间约减算法. 计算机科学, 2012, (04): - 0
4 张振领 贾仰理 谢圣献 李舟军 . 基于协议的实时构件行为一致性验证. 计算机科学, 2012, (06): - 1
2011
3 贾仰理 李舟军 邢建英 陈石坤 . 基于模型检验的构件验证技术研究进展. 计算机研究与发展, 2011, (06): 913-922 2
2010
2 贾仰理 张振领 李舟军 . 基于自动机的构件实时交互行为的形式化模型. 计算机科学, 2010, 37 (09): 151-157 1
1 贾仰理 张振领 李舟军 . 构件行为协议实时性扩展及相容性验证. 计算机科学, 2010, (10): 4

DBLP检索到的论文列表

No. Paper Inforamtion

合作作者列表

1 周恩光 [6]   [8]  
2 张振领 [2]   [1]  [5]  [4]  [6]  
3 李舟军 [2]   [1]  [3]  [5]  [4]  [6]  [8]  
4 谢圣献 [4]  
5 赵海勇 [7]  
6 邢建英 [3]  
7 郭华 [8]  
8 陈石坤 [3]  

单位历史信息

聊城大学计算机学院 (2010--2014)
北京航空航天大学计算机学院 (2010--2012)

说明: 作者的单位历史信息是根据本系统中论文的单位信息采用算法自动计算得到,部分信息可能不准确,仅供参考。