Hongfei Fu
ORCIDPublication Activity (10 Years)
Years Active: 2009-2023
Publications (10 Years): 41
Publications (10 Years): 41
RWTH Aachen University (PHD)
Education History
RWTH Aachen University
Publications
- Hongming Liu, Hongfei Fu, Zhiyong Yu, Jiaxin Song, Guoqiang LiScalable linear invariant generation with Farkas' lemma. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
- Yucheng Ji, Hongfei Fu, Bin Fang, Haibo Chen
- Jinyi Wang, Zhaoyang Lyu, Dahua Lin, Bo Dai, Hongfei Fu
- Hongfei Fu
- Hongfei Fu