Haiyan Zhao
Haiyan Zhao
Verified email at - Homepage
Cited by
Cited by
Towards automatic model synchronization from model transformations
Y Xiong, D Liu, Z Hu, H Zhao, M Takeichi, H Mei
Proceedings of the twenty-second IEEE/ACM international conference on …, 2007
An approach to constructing feature models based on requirements clustering
K Chen, W Zhang, H Zhao, H Mei
13th IEEE International Conference on Requirements Engineering (RE'05), 31-40, 2005
A propositional logic-based method for verification of feature models
W Zhang, H Zhao, H Mei
International Conference on Formal Engineering Methods, 115-130, 2004
A bidentate Lewis acid with a telluronium ion as an anion-binding site
H Zhao, FP Gabbaï
Nature Chemistry 2 (11), 984-990, 2010
Sulfonium boranes for the selective capture of cyanide ions in water
Y Kim, H Zhao, FP Gabbaï
Angewandte Chemie International Edition 48 (27), 4957-4960, 2009
Turn‐On Fluorescence Sensing of Cyanide Ions in Aqueous Solution at Parts‐per‐Billion Concentrations
Y Kim, HS Huh, MH Lee, IL Lenov, H Zhao, FP Gabbaï
Chemistry–A European Journal 17 (7), 2057-2062, 2011
Feature-driven requirement dependency analysis and high-level software design
W Zhang, H Mei, H Zhao
Requirements Engineering 11 (3), 205-220, 2006
Anion capture and sensing with cationic boranes: on the synergy of Coulombic effects and onium ion-centred Lewis acidity
H Zhao, LA Leamer, FP Gabbaï
Dalton Transactions 42 (23), 8164-8178, 2013
A feature-oriented approach to modeling requirements dependencies
W Zhang, H Mei, H Zhao
13th IEEE International Conference on Requirements Engineering (RE'05), 273-282, 2005
Supporting automatic model inconsistency fixing
Y Xiong, Z Hu, H Zhao, H Song, M Takeichi, H Mei
Proceedings of the 7th joint meeting of the European software engineering …, 2009
Transformation from CIM to PIM: A feature-oriented component-based approach
W Zhang, H Mei, H Zhao, J Yang
International Conference on Model Driven Engineering Languages and Systems …, 2005
A software architecture centric engineering approach for Internetware
H Mei, G Huang, H Zhao, W Jiao
Science in China Series F: Information Sciences 49 (6), 702-730, 2006
A bdd-based approach to verifying clone-enabled feature models’ constraints and customization
W Zhang, H Yan, H Zhao, Z Jin
International Conference on Software Reuse, 186-199, 2008
On the synergy of Coulombic and chelate effects in bidentate diboranes: Synthesis and anion binding properties of a cationic 1, 8-Diborylnaphthalene
H Zhao, FP Gabbaı̈
Organometallics 31 (6), 2327-2335, 2012
A reinforcement learning-based framework for the generation and evolution of adaptation rules
T Zhao, W Zhang, H Zhao, Z Jin
2017 IEEE International Conference on Autonomic Computing (ICAC), 103-112, 2017
Nucleophilic fluorination reactions starting from aqueous fluoride ion solutions
H Zhao, FP Gabbaï
Organic Letters 13 (6), 1444-1446, 2011
A use case based approach to feature models' construction
B Wang, W Zhang, H Zhao, Z Jin, H Mei
2009 17th IEEE International Requirements Engineering Conference, 121-130, 2009
Lewis acidic behavior of B (C 6 Cl 5) 3
H Zhao, JH Reibenspies, FP Gabbaï
Dalton Transactions 42 (3), 608-610, 2013
An optimization strategy to feature models’ verification by eliminating verification-irrelevant features and constraints
H Yan, W Zhang, H Zhao, H Mei
International Conference on Software Reuse, 65-75, 2009
Stabilization of zwitterionic aryltrifluoroborates against hydrolysis
CR Wade, H Zhao, FP Gabbaï
Chemical communications 46 (34), 6380-6381, 2010
The system can't perform the operation now. Try again later.
Articles 1–20