logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
贺飞 封面图

贺飞 (Fei He)

Tsinghua University

16H指数
130论文数
1.1K被引数
收录论文 15
发表时间
logo
Structural Abstraction and Refinement for Probabilistic Programs概率程序的结构抽象与精化
errPROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL
IF2.8
err2025-10-01
err0
PREAI
errLi, Guanyan; Li, Juanen; Han, Zhilei; Wang, Peixin; Fu, Hongfei; He, Fei
err分享
err收藏
On the methodology of three-way structured merge in version control systems: Top-down, bottom-up, or both
errJOURNAL OF SYSTEMS ARCHITECTURE
IF4.1
err2023-12-01
err0
PREAI
errZhu, Fengmin; Xie, Xingyu; Feng, Dongyu; Meng, Na; He, Fei
err分享
err收藏
A Characterization Study of Merge Conflicts in Java Projects
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2023-03-31
err7
errOAAI
errShen, Bowen; Gulzar, Muhammad Ali; He, Fei; Meng, Na
err分享
err收藏
Efficient Summary Reuse for Software Regression Verification
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2022-04-01
err2
PREAI
errHe, Fei; Yu, Qianshan; Cai, Liming
err分享
err收藏
Leveraging Control Flow Knowledge in SMT Solving of Program Verification
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2021-05-10
err3
PREAI
errChen, Jianhui; He, Fei
err分享
err收藏
PSpec-SQL: Enabling Fine-Grained Control for Distributed Data Analytics
errIEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING
IF7.5
err2021-03-01
err1
PREAI
errLuo, Chen; He, Fei; Peng, Fei; Yan, Dong; Zhang, Dan; Zhou, Xin
err分享
err收藏
Efficient software product-line model checking using induction and a SAT solver使用感应和SAT求解器进行有效的软件产品线模型检查
errFRONTIERS OF COMPUTER SCIENCE
IF4.6
err2018-02-07
err4
PREAI
errHe, Fei; Gao, Yuan; Yin, Liangze
err分享
err收藏
SMT-based query tracking for differentially private data analytics systems
errFRONTIERS OF COMPUTER SCIENCE
IF4.6
err2018-01-27
err0
PREAI
errLuo, Chen; He, Fei
err分享
err收藏
Learning Weighted Assumptions for Compositional Verification of Markov Decision Processes
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2016-06-06
err11
PREAI
errHe, Fei; Gao, Xiaowei; Wang, Miaofei; Wang, Bow-Yaw; Zhang, Lijun
err分享
err收藏
Generalized interface automata with multicast synchronization
errFRONTIERS OF COMPUTER SCIENCE
IF4.6
err2014-10-24
err0
PREAI
errHe, Fei; Song, Xiaoyu; Gu, Ming; Sun, Jiaguang
err分享
err收藏
Safety Verification of Semi-Algebraic Dynamical Systems via Inductive Invariant基于归纳不变量的半代数动力系统安全性验证
errTSINGHUA SCIENCE AND TECHNOLOGY
IF3.5
err2014-04-01
err1
errOAAI
errKong, Hui; He, Fei; Song, Xiaoyu; Gu, Ming; Tan, Hongyan; Sun, Jiaguang
err分享
err收藏
Capacity Region Bounds and Resource Allocation for Two-Way OFDM Relay Channels
errIEEE TRANSACTIONS ON WIRELESS COMMUNICATIONS
IF10.7
err2013-06-01
err18
errOAAI
errHe, Fei; Sun, Yin; Xiao, Limin; Chen, Xiang; Chi, Chong-Yung; Zhou, Shidong
err分享
err收藏
Maxterm Covering for Satisfiability
errIEEE TRANSACTIONS ON COMPUTERS
IF3.8
err2012-03-01
err14
PREAI
errYin, Liangze; He, Fei; Hung, William N. N., Sr.; Song, Xiaoyu, Sr.; Gu, Ming
err分享
err收藏
Integrating Evolutionary Computation with Abstraction Refinement for Model Checking
errIEEE TRANSACTIONS ON COMPUTERS
IF3.8
err2010-01-01
err11
PREAI
errHe, Fei; Song, Xiaoyu; Hung, William N. N.; Gu, Ming; Sun, Jiaguang
err分享
err收藏
Probabilistic optimization for FPGA board level routing problems
errIEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS II-EXPRESS BRIEFS
IF4.9
err2006-04-01
err3
errOAAI
errHe, F; Song, XY; Gu, M; Yang, GW; Hung, WNN; Sun, JG
err分享
err收藏

研究方向

程序语言、可信软件、形式验证、模型检验、逻辑推理
合作学者
合作期刊
Y
Yuan Gao
H 指数: 46 · 论文数: 331
J
Jiaguang Sun
H 指数: 41 · 论文数: 289
C
Chong‐Yung Chi
H 指数: 35 · 论文数: 259
X
Xiaoyu Song
H 指数: 35 · 论文数: 402
S
Shidong Zhou
H 指数: 35 · 论文数: 439
查看更多