Jian Lv(吕建)State Key Laboratory of Computer Software and New Technology Nanjing University关注立即认领分享关注立即认领分享基本信息浏览量:4职业迁徙个人简介暂无内容研究兴趣论文共 123 篇作者统计合作学者相似作者按年份排序按引用量排序主题筛选期刊级别筛选合作者筛选合作机构筛选时间引用量主题期刊级别合作者合作机构PaxosStore中共识协议TPaxos的推导、规约与精化 易星辰,魏恒峰,黄宇,乔磊,吕建软件学报(2020)引用0浏览0引用00可成长软件理论方法和实现技术:从范型到跨越许畅,秦逸,余萍,曹春,吕建中国科学(信息科学)(2020)引用8浏览0引用80CRDT协议的TLA+描述与验证 纪业,魏恒峰,黄宇,吕建软件学报(2020)引用0浏览0引用00Android应用测试输入自动生成技术王珏,蒋炎岩,许畅,马晓星,吕建中国科学(信息科学)(2019)引用5浏览0引用50内涵式应用基础研究:构建软件新技术研究高地吕建前沿科学(2018)引用0浏览0引用00基于循环神经网络的缺陷报告分派方法吕建,徐锋,姚远,席圣渠软件学报no. 8 (2018): 2322-2335引用5浏览0引用50未来软件的呼唤:记ISFST—99第四届未来软件技术国际学术会议吕建 费翔林openalex(2018)引用0浏览0引用00模式、机制、成效:以质量为核心的南京大学"四三三"博士研究生教育改革实践吕建,吴俊,卞清,仇鹏飞学位与研究生教育(2017)引用1浏览0引用10获取访存依赖:并发程序动态分析基础技术综述吕建,马晓星,许畅,蒋炎岩软件学报no. 4 (2017): 745-763引用0浏览0引用00面向动作的上下文感知应用的规约与运行时验证宋巍,吕建,陶先平,李晅松软件学报(2017)引用0浏览0引用00加载更多作者统计合作学者合作机构D-Core合作者学生导师暂无相似学者,你可以通过学者研究领域进行搜索筛选数据免责声明页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果,我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问,可以通过电子邮件方式联系我们:report@aminer.cn