Hai H. Wang Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJi Zhang, Qigang Gao, Hai H. Wang, Qing Liu, Kai Xu: Detecting Projected Outliers in High-Dimensional Data Streams. DEXA 2009: 629-644
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuan-Fang Li, Jing Sun, Gillian Dobbie, Scott Uk-Jin Lee, Hai H. Wang: Verifying Semistructured Data Normalization Using SWRL. TASE 2009: 193-200
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHai H. Wang, Jing Sun: A semantic web environment for components. Knowledge Eng. Review 24(1): 59-75 (2009)
2008
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJi Zhang, Qigang Gao, Hai H. Wang: SPOT: A System for Detecting Projected Outliers From High-dimensional Data Streams. ICDE 2008: 1628-1631
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHai H. Wang, Nick Gibbins, Terry R. Payne, Ahmed Saleh, Jun Sun: A Formal Model of Semantic Web Service Ontology (WSMO) Execution. ICECCS 2008: 111-120
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJun Sun, Yang Liu, Jin Song Dong, Hai H. Wang: Specifying and Verifying Event-Based Fairness Enhanced Systems. ICFEM 2008: 5-24
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJi Zhang, Qigang Gao, Hai H. Wang: Anomaly detection in high-dimensional network data streams: A case study. ISI 2008: 251-253
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJi Zhang, Qigang Gao, Hai H. Wang: Discover gene specific local co-regulations from time-course gene expression data. Scientific Programming 16(1): 31-47 (2008)
2007
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuzhang 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
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHai 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
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHai H. Wang, Shengchao Qin, Jun Sun, Jin Song Dong: Realizing Live Sequence Charts in SystemVerilog. TASE 2007: 379-388
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHai H. Wang, Terry R. Payne, Nick Gibbins, Ahmed Saleh: Formal Specification of OWL-S with Object-Z: The Dynamic Aspect. WISE 2007: 237-248
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHai 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
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHai 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
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJi Zhang, Qigang Gao, Hai H. Wang: A Novel Method for Detecting Outlying Subspaces in High-dimensional Databases Using Genetic Algorithm. ICDM 2006: 731-740
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJi Zhang, Qigang Gao, Hai H. Wang: Discover Gene Specific Local Co-regulations Using Progressive Genetic Algorithm. ICTAI 2006: 783-790
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuan-Fang Li, Jing Sun, Gillian Dobbie, Jun Sun, Hai H. Wang: Validating Semistructured Data Using OWL. WAIM 2006: 520-531
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuan-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)
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJi Zhang, Hai H. Wang: Detecting outlying subspaces for high-dimensional data: the new task, algorithms, and performance. Knowl. Inf. Syst. 10(3): 333-355 (2006)
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHai 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
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei Wang, Ji Zhang, Hai H. Wang: Grid-ODF: Detecting Outliers Effectively and Efficiently in Large Multi-dimensional Databases. CIS (1) 2005: 765-770
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJing Sun, Hongyu Zhang, Yuan-Fang Li, Hai H. Wang: Formal Semantics and Verification for Feature Modeling. ICECCS 2005: 303-312
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJun Sun, Yuan-Fang Li, Hai H. Wang, Jing Sun: Visualizing and Simulating Semantic Web Services Ontologies. ICFEM 2005: 435-449
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJing Sun, Hai H. Wang, Sasanka Athauda, Tazkiya Sheik: SVG Web Environment for Z Specification Language. ICFEM 2005: 480-494
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHai H. Wang, Jin Song Dong, Jing Sun, Yuan-Fang Li: TCOZ Approach to OWL-S Process Model Design. SEKE 2005: 354-359
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHai H. Wang, Jin Song Dong, Jing Sun: Reasoning Support for SWRL-FOL Using Alloy. SEKE 2005: 626-631
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHai H. Wang, Yuan-Fang Li, Jing Sun, Hongyu Zhang: Verify Feature Models using protegeowl. WWW (Special interest tracks and posters) 2005: 1038-1039
2004
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJin Song Dong, Chew Hung Lee, Yuan-Fang Li, Hai H. Wang: Verifying DAML+OIL and Beyond in Z/EVES. ICSE 2004: 201-210
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJi 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
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJin 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
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJin Song Dong, Yuan-Fang Li, Hai H. Wang: TCOZ approach to semantic web services design. WWW (Alternate Track Papers & Posters) 2004: 442-443
2003
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJin Song Dong, Jing Sun, Hai H. Wang: Checking and Reasoning about Semantic Web through Alloy. FME 2003: 796-813
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJin 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
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJin Song Dong, Jing Sun, Hai H. Wang: Semantic Web for Extending and Linking Formalisms. FME 2002: 587-606
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJin Song Dong, Jing Sun, Hai H. Wang: Z Approach to Semantic Web. ICFEM 2002: 156-167
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJin 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
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJing 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
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJing Sun, Jin Song Dong, Jing Liu, Hai H. Wang: An XML/XSL Approach to Visualize and Animate TCOZ. APSEC 2001: 453-460
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJing Sun, Jin Song Dong, Jing Liu, Hai H. Wang: Object-Z web environment and projections to UML. WWW 2001: 725-734

Coauthor Index

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

Copyright © Mon Mar 15 21:39:48 2010 by Michael Ley (ley@uni-trier.de)