新闻
  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条师生关系。

隋立颖    Sui Liying


国家智能计算机研究开发中心



研究领域:


研究兴趣:


共检索到结果4条  被引6次[注:ScholarSpace内自引数]
查看隋立颖的合作作者    在DBLP中查找该作者文献
查看该作者的单位历史    作者项目历史

论文列表


注:被引数指ScholarSpace内自引数
No. 论文信息 被引数
2000
4 陈庆锋 白硕 王驹 张师超 隋立颖 . SET协议中问题的分析及解决方案. 计算机学报, 2000, 23 (02): 202-209 0
3 白硕 隋立颖 陈庆锋 付岩 庄超 . 安全协议的验证逻辑. 软件学报, 2000, 11 (02): 213-222 4
2 陈庆锋 王驹 白硕 张师超 隋立颖 . 电子商务安全协议的逻辑验证. , 2000, 11 (03): 346-363 0
1 陈庆锋 白硕 王驹 张师超 隋立颖 . 电子商务安全协议及其非单调动态逻辑验证. 软件学报, 2000, 11 (02): 240-250 2

DBLP检索到的论文列表

No. Paper Inforamtion
2007
1 Surajit Chaudhuri, Kenneth Ward Church, Arnd Christian K?nig, Liying Sui, Heavy-tailed distributions and multi-keyword queries. SIGIR, 2007
2006
0 Alin Deutsch, Liying Sui, Victor Vianu, Dayou Zhou, A system for specification and verification of interactive, data-driven web applications. SIGMOD Conference, 2006
-1 Alin Deutsch, Liying Sui, Victor Vianu, Dayou Zhou, Verification of communicating data-driven web services. PODS, 2006
2005
-2 Alin Deutsch, Monica Marcus, Liying Sui, Victor Vianu, Dayou Zhou, A Verifier for Interactive, Data-Driven Web Applications. SIGMOD Conference, 2005
-3 Marco Brambilla, Alin Deutsch, Liying Sui, Victor Vianu, The Role of Visual Tools in a Web Application Design and Verification Framework: A Visual Notation for LTL Formulae. ICWE, 2005
2004
-4 Alin Deutsch, Liying Sui, Victor Vianu, Specification and Verification of Data-driven Web Services. PODS, 2004

合作作者列表

1 付岩 [3]  
2 庄超 [3]  
3 张师超 [1]   [4]  [2]  
4 王驹 [1]   [4]  [2]  
5 白硕 [3]   [1]  [4]  [2]  
6 陈庆锋 [3]   [1]  [4]  [2]  

单位历史信息

国家智能计算机研究开发中心 (2000--2000)
广西师范大学数学与计算机科学 (2000--2000)

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