宋高 0014
人员信息
unicode名称: 高嵩 附属: 中国科学院软件研究所计算机科学国家重点实验室,北京 附属: 中国科学院北京大学
其他同名人员
SPARQL查询
优化列表
2020年–今天
2021 【c2】 宋高 , 伯华詹 , 刘德鹏 , 孙学超 , 延安之 , 大卫·N·詹森 , 张丽君 :
金牛座分布式数据库中共识的形式验证。 FM公司 2021 : 741-751 【c1】 康斯坦丁·库兹涅佐夫 , 陈福 , 宋高 , 大卫·N·詹森 , 张丽君 , 安德利亚斯·策勒 :
Frontmatter:大规模挖掘Android用户界面。 ESEC/SIGSOFT FSE 2021 : 1580-1584 [i1] 康斯坦丁·库兹涅佐夫 , 陈福 , 宋高 , 大卫·N·詹森 , 张丽君 , 安德利亚斯·策勒 :
这些按钮都是做什么的? 大规模静态挖掘Android用户界面。 CoRR公司 abs/2105.03144 ( 2021 )