Haiyan Zhao

	2009
22		Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Hui Song, Masato Takeichi, Hong Mei: Supporting automatic model inconsistency fixing. ESEC/SIGSOFT FSE 2009: 315-324
21		Hua Yan, Wei Zhang, Haiyan Zhao, Hong Mei: An Optimization Strategy to Feature Models' Verification by Eliminating Verification-Irrelevant Features and Constraints. ICSR 2009: 65-75
	2008
20		Bingzhao Gao, Hong Chen, Haiyan Zhao, Kazushi Sanada: A reduced-order nonlinear clutch pressure observer for automatic transmission using ISS. CDC 2008: 5712-5717
19		Haiyan Zhao, Jian Cao: ECA Rule based Agent for Business Process Management. ICNSC 2008: 1201-1206
18		Jian Cao, Haiyan Zhao: A Semantic Model and Query Mechanism for Service Workflow. ICNSC 2008: 1850-1855
17		Wei Zhang, Hua Yan, Haiyan Zhao, Zhi Jin: A BDD-Based Approach to Verifying Clone-Enabled Feature Models' Constraints and Customization. ICSR 2008: 186-199
16		Mitoshi Fujimoto, Haiyan Zhao, Toshikazu Hori: Compensation Effect of Quasi-Inverse Filter (QIF) on Frequency Characteristic Distortion in Wideband Systems. IEICE Transactions 91-B(6): 1783-1790 (2008)
	2007
15		Yingfei Xiong, Dongxi Liu, Zhenjiang Hu, Haiyan Zhao, Masato Takeichi, Hong Mei: Towards automatic model synchronization from model transformations. ASE 2007: 164-173
14		Haiyan Zhao, Hongxia Tong: A Dynamic Service Composition Model Based on Constraints. GCC 2007: 659-662
13		Jian Cao, Haiyan Zhao, Yujie Mou, Minglu Li: A Goal Driven Configurable Service Workflow Model. GCC 2007: 663-669
	2006
12		Weizhong Shao, Gang Huang, Haiyan Zhao: Modeling of component based systems. ICSE 2006: 1077-1078
11		Kun Chen, Haiyan Zhao, Wei Zhang, Hong Mei: Identification of Crosscutting Requirements Based on Feature Dependency Analysis. RE 2006: 300-303
10		Wei Zhang, Hong Mei, Haiyan Zhao: Feature-driven requirement dependency analysis and high-level software design. Requir. Eng. 11(3): 205-220 (2006)
9		Hong Mei, Gang Huang, Haiyan Zhao, Wenpin Jiao: A software architecture centric engineering approach for Internetware. Science in China Series F: Information Sciences 49(6): 702-730 (2006)
8		Hong Mei, Wei Zhang, Haiyan Zhao: A metamodel for modeling system features and their refinement, constraint and interaction relationships. Software and System Modeling 5(2): 172-186 (2006)
	2005
7		Wei Zhang, Hong Mei, Haiyan Zhao, Jie Yang: Transformation from CIM to PIM: A Feature-Oriented Component-Based Approach. MoDELS 2005: 248-263
6		Wei Zhang, Hong Mei, Haiyan Zhao: A Feature-Oriented Approach to Modeling Requirements Dependencies. RE 2005: 273-284
5		Kun Chen, Wei Zhang, Haiyan Zhao, Hong Mei: An Approach to Constructing Feature Models Based on Requirements Clustering. RE 2005: 31-40
	2004
4		Wei Zhang, Haiyan Zhao, Hong Mei: A Propositional Logic-Based Method for Verification of Feature Models. ICFEM 2004: 115-130
	2002
3		Haiyan Zhao, Zhenjiang Hu, Masato Takeichi: A Compositional Framework for Mining Longest Ranges. Discovery Science 2002: 406-413
	2001
2		Haiyan Zhao, Zhenjiang Hu, Masato Takeichi: A Compositional Framework for Querying Optimized Ranges. APLAS 2001: 363-376
	2000
1		Haiyan Zhao, Zhenjiang Hu, Masato Takeichi: Mining Optimized Ranges. APLAS 2000: 119-127

Coauthor Index

1	Jian Cao	[13] [18] [19]
2	Hong Chen	[20]
3	Kun Chen	[5] [11]
4	Mitoshi Fujimoto	[16]
5	Bingzhao Gao	[20]
6	Toshikazu Hori	[16]
7	Zhenjiang Hu	[1] [2] [3] [15] [22]
8	Gang Huang	[9] [12]
9	Wenpin Jiao	[9]
10	Zhi Jin	[17]
11	Minglu Li	[13]
12	Dongxi Liu	[15]
13	Hong Mei	[4] [5] [6] [7] [8] [9] [10] [11] [15] [21] [22]
14	Yujie Mou	[13]
15	Kazushi Sanada	[20]
16	Weizhong Shao	[12]
17	Hui Song	[22]
18	Masato Takeichi	[1] [2] [3] [15] [22]
19	Hongxia Tong	[14]
20	Yingfei Xiong	[15] [22]
21	Hua Yan	[17] [21]
22	Jie Yang	[7]
23	Wei Zhang	[4] [5] [6] [7] [8] [10] [11] [17] [21]

Colors in the list of coauthors