Hai H. Wang

2009
30	EE	Hai H. Wang, Jing Sun: A semantic web environment for components. Knowledge Eng. Review 24(1): 59-75 (2009)
2008
29	EE	Jun Sun, Yang Liu, Jin Song Dong, Hai H. Wang: Specifying and Verifying Event-Based Fairness Enhanced Systems. ICFEM 2008: 5-24
2007
28	EE	Yuzhang Feng, Yuan-Fang Li, Colin Keng-Yan Tan, Bimlesh Wadhwa, Hai H. Wang: Belief-augmented OWL (BOWL) Engineering the SemanticWeb with Beliefs. ICECCS 2007: 165-174
27	EE	Hai H. Wang, Nick Gibbins, Terry R. Payne, Ahmed Saleh, Jun Sun: A Formal Semantic Model of the Semantic Web Service Ontology (WSMO). ICECCS 2007: 74-86
26	EE	Hai H. Wang, Shengchao Qin, Jun Sun, Jin Song Dong: Realizing Live Sequence Charts in SystemVerilog. TASE 2007: 379-388
25	EE	Hai H. Wang, Terry R. Payne, Nick Gibbins, Ahmed Saleh: Formal Specification of OWL-S with Object-Z: The Dynamic Aspect. WISE 2007: 237-248
24	EE	Hai H. Wang, Ahmed Saleh, Terry R. Payne, Nick Gibbins: Formal Specification of OWL-S with Object-Z: the Static Aspect. Web Intelligence 2007: 431-434
23	EE	Hai H. Wang, Yuan-Fang Li, Jing Sun, Hongyu Zhang, Jeff Pan: Verifying feature models using OWL. J. Web Sem. 5(2): 117-129 (2007)
2006
22	EE	Yuan-Fang Li, Jing Sun, Gillian Dobbie, Jun Sun, Hai H. Wang: Validating Semistructured Data Using OWL. WAIM 2006: 520-531
21	EE	Yuan-Fang Li, Jing Sun, Gillian Dobbie, Hai H. Wang, Jun Sun: Reasoning About ORA-SS Data Models Using the Semantic Web. J. Data Semantics VII: 219-241 (2006)
20	EE	Hai H. Wang, Jin Song Dong, Jing Sun, Jun Sun: Reasoning support for Semantic Web ontology family languages using Alloy. Multiagent and Grid Systems 2(4): 455-471 (2006)
2005
19	EE	Wei Wang, Ji Zhang, Hai H. Wang: Grid-ODF: Detecting Outliers Effectively and Efficiently in Large Multi-dimensional Databases. CIS (1) 2005: 765-770
18	EE	Jing Sun, Hongyu Zhang, Yuan-Fang Li, Hai H. Wang: Formal Semantics and Verification for Feature Modeling. ICECCS 2005: 303-312
17	EE	Jun Sun, Yuan-Fang Li, Hai H. Wang, Jing Sun: Visualizing and Simulating Semantic Web Services Ontologies. ICFEM 2005: 435-449
16	EE	Jing Sun, Hai H. Wang, Sasanka Athauda, Tazkiya Sheik: SVG Web Environment for Z Specification Language. ICFEM 2005: 480-494
15		Hai H. Wang, Jin Song Dong, Jing Sun, Yuan-Fang Li: TCOZ Approach to OWL-S Process Model Design. SEKE 2005: 354-359
14		Hai H. Wang, Jin Song Dong, Jing Sun: Reasoning Support for SWRL-FOL Using Alloy. SEKE 2005: 626-631
13	EE	Hai H. Wang, Yuan-Fang Li, Jing Sun, Hongyu Zhang: Verify Feature Models using protegeowl. WWW (Special interest tracks and posters) 2005: 1038-1039
2004
12	EE	Jin Song Dong, Chew Hung Lee, Yuan-Fang Li, Hai H. Wang: Verifying DAML+OIL and Beyond in Z/EVES. ICSE 2004: 201-210
11	EE	Ji Zhang, Meng Lou, Tok Wang Ling, Hai H. Wang: HOS-Miner: A System for Detecting Outlying Subspaces of High-dimensional Data. VLDB 2004: 1265-1268
10	EE	Jin Song Dong, Chew Hung Lee, Hian Beng Lee, Yuan-Fang Li, Hai H. Wang: A combined approach to checking web ontologies. WWW 2004: 714-722
9	EE	Jin Song Dong, Yuan-Fang Li, Hai H. Wang: TCOZ approach to semantic web services design. WWW (Alternate Track Papers & Posters) 2004: 442-443
2003
8	EE	Jin Song Dong, Jing Sun, Hai H. Wang: Checking and Reasoning about Semantic Web through Alloy. FME 2003: 796-813
7		Jin Song Dong, Jun Sun, Hai H. Wang, Chew Hung Lee, Hian Beng Lee: Analysing Web Ontology in Alloy: A Military Case Study. SEKE 2003: 542-546
2002
6	EE	Jin Song Dong, Jing Sun, Hai H. Wang: Semantic Web for Extending and Linking Formalisms. FME 2002: 587-606
5	EE	Jin Song Dong, Jing Sun, Hai H. Wang: Z Approach to Semantic Web. ICFEM 2002: 156-167
4	EE	Jin Song Dong, Yuan-Fang Li, Jing Sun, Jun Sun, Hai H. Wang: XML-Based Static Type Checking and Dynamic Visualization for TCOZ. ICFEM 2002: 311-322
3		Jing Sun, Jin Song Dong, Jing Liu, Hai H. Wang: A Formal Object Approach to the Design of ZML. Ann. Software Eng. 13(1-4): 329-356 (2002)
2001
2	EE	Jing Sun, Jin Song Dong, Jing Liu, Hai H. Wang: An XML/XSL Approach to Visualize and Animate TCOZ. APSEC 2001: 453-460
1	EE	Jing Sun, Jin Song Dong, Jing Liu, Hai H. Wang: Object-Z web environment and projections to UML. WWW 2001: 725-734

Coauthor Index

1	Sasanka Athauda	[16]
2	Gillian Dobbie	[21] [22]
3	Jin Song Dong	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [12] [14] [15] [20] [26] [29]
4	Yuzhang Feng	[28]
5	Nick Gibbins	[24] [25] [27]
6	Chew Hung Lee	[7] [10] [12]
7	Hian Beng Lee	[7] [10]
8	Yuan-Fang Li	[4] [9] [10] [12] [13] [15] [17] [18] [21] [22] [23] [28]
9	Tok Wang Ling	[11]
10	Jing Liu	[1] [2] [3]
11	Yang Liu	[29]
12	Meng Lou	[11]
13	Jeff Pan	[23]
14	Terry R. Payne	[24] [25] [27]
15	Shengchao Qin	[26]
16	Ahmed Saleh	[24] [25] [27]
17	Tazkiya Sheik	[16]
18	Jing Sun	[1] [2] [3] [4] [5] [6] [8] [13] [14] [15] [16] [17] [18] [20] [21] [22] [23] [30]
19	Jun Sun	[4] [7] [17] [20] [21] [22] [26] [27] [29]
20	Colin Keng-Yan Tan	[28]
21	Bimlesh Wadhwa	[28]
22	Wei Wang	[19]
23	Hongyu Zhang	[13] [18] [23]
24	Ji Zhang	[11] [19]