| * | 2009 |
|---|
| 39 | EE | Ji Zhang,
Qigang Gao,
Hai H. Wang,
Qing Liu,
Kai Xu:
Detecting Projected Outliers in High-Dimensional Data Streams.
DEXA 2009: 629-644 |
| 38 | EE | Yuan-Fang Li,
Jing Sun,
Gillian Dobbie,
Scott Uk-Jin Lee,
Hai H. Wang:
Verifying Semistructured Data Normalization Using SWRL.
TASE 2009: 193-200 |
| 37 | EE | Hai H. Wang,
Jing Sun:
A semantic web environment for components.
Knowledge Eng. Review 24(1): 59-75 (2009) |
| 2008 |
|---|
| 36 | EE | Ji Zhang,
Qigang Gao,
Hai H. Wang:
SPOT: A System for Detecting Projected Outliers From High-dimensional Data Streams.
ICDE 2008: 1628-1631 |
| 35 | EE | Hai 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 |
| 34 | EE | Jun Sun,
Yang Liu,
Jin Song Dong,
Hai H. Wang:
Specifying and Verifying Event-Based Fairness Enhanced Systems.
ICFEM 2008: 5-24 |
| 33 | EE | Ji Zhang,
Qigang Gao,
Hai H. Wang:
Anomaly detection in high-dimensional network data streams: A case study.
ISI 2008: 251-253 |
| 32 | EE | Ji 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 |
|---|
| 31 | 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 |
| 30 | 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 |
| 29 | EE | Hai H. Wang,
Shengchao Qin,
Jun Sun,
Jin Song Dong:
Realizing Live Sequence Charts in SystemVerilog.
TASE 2007: 379-388 |
| 28 | 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 |
| 27 | 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 |
| 26 | 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 |
|---|
| 25 | EE | Ji Zhang,
Qigang Gao,
Hai H. Wang:
A Novel Method for Detecting Outlying Subspaces in High-dimensional Databases Using Genetic Algorithm.
ICDM 2006: 731-740 |
| 24 | EE | Ji Zhang,
Qigang Gao,
Hai H. Wang:
Discover Gene Specific Local Co-regulations Using Progressive Genetic Algorithm.
ICTAI 2006: 783-790 |
| 23 | EE | Yuan-Fang Li,
Jing Sun,
Gillian Dobbie,
Jun Sun,
Hai H. Wang:
Validating Semistructured Data Using OWL.
WAIM 2006: 520-531 |
| 22 | 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) |
| 21 | EE | Ji 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) |
| 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 |
