Concepedia

Haiyan Zhao

HZ

9

Publications

393

Citations

9

H-Index

2007

Active since

Affiliations

Peking University(Current)

University of Shanghai for Science and Technology

Shanghai Jiao Tong University

The University of Tokyo

Huawei Technologies (China)

Haiyan Zhao is an author at Peking University specializing in computer science, engineering, and software engineering.

Top concepts

EngineeringComputer ScienceSoftware DesignSystems EngineeringSoftware EngineeringData ScienceSoftware AnalysisFormal VerificationSoftware MaintenanceFormal Methods

Publications per year

2007–2021

9

Publications

9

Towards automatic model synchronization from model transformations

Yingfei Xiong, Dongxi Liu, Zhenjiang Hu et al. · 2007 · 150 citations

Software Maintenance, Engineering, Model Transformation Techniques +24

Supporting automatic model inconsistency fixing

Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao et al. · 2009 · 86 citations

Software Maintenance, Engineering, Verification +19

IntelliMerge: a refactoring-aware software merging technique

Bo Shen, Wei Zhang, Haiyan Zhao et al. · Proceedings of the ACM on Programming Languages · 2019 · 57 citations · Full text

Software Maintenance, Engineering, Computer Architecture +18

A policy-based authorization model for workflow-enabled dynamic process management

Jian Cao, Jinjun Chen, Haiyan Zhao · Journal of Network and Computer Applications · 2008 · 29 citations

Workflow Security, Engineering, Information Security +10

Mining binary constraints in the construction of feature models

Yi Li, Wei Zhang, Haiyan Zhao et al. · 2012 · 17 citations

Mathematical Programming, Artificial Intelligence, Engineering +17

Rows per page

1–5 of 9