Hanfei Wang

According to our database, Hanfei Wang authored at least 12 papers between 2005 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Bibliometric Analysis of a Product-Service System's Rebound Effect: Identification of a Potential Mitigation Strategy.

Salman Alfarisi, Yuya Mitake, Yusuke Tsutsui, Hanfei Wang, Yoshiki Shimomura

Syst., September, 2023

2021

Cross-domain recommendation with user personality.

Hanfei Wang, Yuan Zuo, Hong Li, Junjie Wu

Knowl. Based Syst., 2021

2020

Research on the Knowledge and Ability dual-driven Teaching Model for the Course of Compilers Principles.

Yanxiang He, Zhuomin Du, Hanfei Wang

Proceedings of the 15th International Conference on Computer Science & Education, 2020

2015

基于数据流分析的单链表可达性自动化验证 (Automatic Verification of Singly Linked List Pointer's Reachability Property Using Data-flow Analysis Method).

Yuchen Dong, Hanfei Wang, Jianhua Zhao

计算机科学, 2015

Assertion-Directed Precondition Synthesis for Loops over Data Structures.

Juan Zhai, Hanfei Wang, Jianhua Zhao

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2015

A Fault-Localization Approach Based on the Coincidental Correctness Probability.

Xiaoli Zhou, Hanfei Wang, Jianhua Zhao

Proceedings of the 2015 IEEE International Conference on Software Quality, 2015

Node-Set Analysis for Linked Recursive Data Structures.

Zhenhao Tang, Hanfei Wang, Bin Li, Juan Zhai, Jianhua Zhao, Xuandong Li

Proceedings of the 2015 IEEE International Conference on Software Quality, 2015

Analyzing Inductively Defined Properties for Recursive Data Structures.

Zhenhao Tang, Hanfei Wang, Bin Li, Juan Zhai, Jianhua Zhao, Xuandong Li

Proceedings of the 7th Asia-Pacific Symposium on Internetware, 2015

2014

Post-condition-Directed Invariant Inference for Loops over Data Structures.

Juan Zhai, Hanfei Wang, Jianhua Zhao

Proceedings of the IEEE Eighth International Conference on Software Security and Reliability, 2014

2013

Leveraging design rules to improve software architecture recovery.

Yuanfang Cai, Hanfei Wang, Sunny Wong, Linzhang Wang

Proceedings of the 9th international ACM SIGSOFT conference on Quality of Software Architectures, 2013

2012

An Integration of Several Different Data Flow Analysis Techniques.

Yuchen Xing, Hanfei Wang, Jianhua Zhao

Proceedings of the Trustworthy Computing and Services - International Conference, ISCTCS 2012, Beijing, China, May 28, 2012

2005

A Web warehouse system for semi-automatically gathering and managing online news.

Kai Cheng, Hanfei Wang

Proceedings of the 2005 International Conference on Active Media Technology, 2005