- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| j11 |      | Hai H. Wang, Nick Gibbins, Terry R. Payne, Domenico Redavid: A formal model of the Semantic Web Service Ontology (WSMO). Inf. Syst. 37(1): 33-60 (2012) |
| j10 | | Hai H. Wang, Danica Damljanovic, Terry R. Payne, Nicholas Gibbins, Kalina Bontcheva: Transition of legacy systems to semantically enabled applications: TAO method and tools. Semantic Web 3(2): 157-168 (2012) |
| 2011 | ||
| j9 | | Ji Zhang, Qigang Gao, Hai H. Wang, Hua Wang: Detecting anomalies from high-dimensional wireless network data streams: a case study. Soft Comput. 15(6): 1195-1215 (2011) |
| c37 | | David Kershaw, Qigang Gao, Hai H. Wang: Anomaly-Based Network Intrusion Detection Using Outlier Subspace Analysis: A Case Study. Canadian Conference on AI 2011: 234-239 |
| c36 |  | |
| c35 | | Jing Sun, Hai H. Wang, Tianming Hu: Design Software Architecture Models using Ontology. SEKE 2011: 191-196 |
| 2010 | ||
| c34 | | Hai H. Wang, Danica Damljanovic, Jing Sun: Enhanced Semantic Access to Formal Software Models. ICFEM 2010: 237-252 |
| c33 | | Dong Liu, Qigang Gao, Hai H. Wang, Ji Zhang: A Web-based Interactive Data Visualization System for Outlier Subspace Analysis. SEDE 2010: 275-280 |
| 2009 | ||
| j8 | | Hai H. Wang, Jing Sun: A semantic web environment for components. Knowledge Eng. Review 24(1): 59-75 (2009) |
| c32 | | Ji Zhang, Qigang Gao, Hai H. Wang, Qing Liu, Kai Xu: Detecting Projected Outliers in High-Dimensional Data Streams. DEXA 2009: 629-644 |
| c31 | | Yuan-Fang Li, Jing Sun, Gillian Dobbie, Scott Uk-Jin Lee, Hai H. Wang: Verifying Semistructured Data Normalization Using SWRL. TASE 2009: 193-200 |
| 2008 | ||
| j7 | | 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) |
| c30 | | Ji Zhang, Qigang Gao, Hai H. Wang: SPOT: A System for Detecting Projected Outliers From High-dimensional Data Streams. ICDE 2008: 1628-1631 |
| c29 | | 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 |
| c28 | | Jun Sun, Yang Liu, Jin Song Dong, Hai H. Wang: Specifying and Verifying Event-Based Fairness Enhanced Systems. ICFEM 2008: 5-24 |
| c27 | | Ji Zhang, Qigang Gao, Hai H. Wang: Anomaly detection in high-dimensional network data streams: A case study. ISI 2008: 251-253 |
| 2007 | ||
| j6 | | Hai H. Wang, Nick Gibbins, Terry R. Payne, Ahmed Saleh, Yuan-Fang Li: Transitioning Applications to Semantic Web Services: An Automated Formal Approach. IBIS 6: 65-83 (2007) |
| j5 | | Hai H. Wang, Yuan-Fang Li, Jing Sun, Hongyu Zhang, Jeff Z. Pan: Verifying feature models using OWL. J. Web Sem. 5(2): 117-129 (2007) |
| c26 | | 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 |
| c25 | | 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 |
| c24 | | Hai H. Wang, Shengchao Qin, Jun Sun, Jin Song Dong: Realizing Live Sequence Charts in SystemVerilog. TASE 2007: 379-388 |
| c23 | | 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 |
| c22 | | 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 |
| 2006 | ||
| j4 | | Yuan-Fang Li, Jing Sun, Gillian Dobbie, Hai H. Wang, Jun Sun: Reasoning About ORA-SS Data Models Using the Semantic Web. : 219-241 (2006) |
| j3 | | 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) |
| j2 | | 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) |
| c21 | | 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 |
| c20 | | Ji Zhang, Qigang Gao, Hai H. Wang: Discover Gene Specific Local Co-regulations Using Progressive Genetic Algorithm. ICTAI 2006: 783-790 |
| c19 | | Yuan-Fang Li, Jing Sun, Gillian Dobbie, Jun Sun, Hai H. Wang: Validating Semistructured Data Using OWL. WAIM 2006: 520-531 |
| 2005 | ||
| c18 | | Wei Wang, Ji Zhang, Hai H. Wang: Grid-ODF: Detecting Outliers Effectively and Efficiently in Large Multi-dimensional Databases. CIS (1) 2005: 765-770 |
| c17 | | Jing Sun, Hongyu Zhang, Yuan-Fang Li, Hai H. Wang: Formal Semantics and Verification for Feature Modeling. ICECCS 2005: 303-312 |
| c16 | | Jun Sun, Yuan-Fang Li, Hai H. Wang, Jing Sun: Visualizing and Simulating Semantic Web Services Ontologies. ICFEM 2005: 435-449 |
| c15 | | Jing Sun, Hai H. Wang, Sasanka Athauda, Tazkiya Sheik: SVG Web Environment for Z Specification Language. ICFEM 2005: 480-494 |
| c14 | | Hai H. Wang, Jin Song Dong, Jing Sun, Yuan-Fang Li: TCOZ Approach to OWL-S Process Model Design. SEKE 2005: 354-359 |
| c13 | | Hai H. Wang, Jin Song Dong, Jing Sun: Reasoning Support for SWRL-FOL Using Alloy. SEKE 2005: 626-631 |
| c12 | | 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 | ||
| c11 | | Jin Song Dong, Chew Hung Lee, Yuan-Fang Li, Hai H. Wang: Verifying DAML+OIL and Beyond in Z/EVES. ICSE 2004: 201-210 |
| c10 | | 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 |
| c9 | | Jin Song Dong, Yuan-Fang Li, Hai H. Wang: TCOZ approach to semantic web services design. WWW (Alternate Track Papers & Posters) 2004: 442-443 |
| c8 | | 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 |
| 2003 | ||
| c7 | | Jin Song Dong, Jing Sun, Hai H. Wang: Checking and Reasoning about Semantic Web through Alloy. FME 2003: 796-813 |
| c6 | | 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 | ||
| j1 | | 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) |
| c5 | | Jin Song Dong, Jing Sun, Hai H. Wang: Semantic Web for Extending and Linking Formalisms. FME 2002: 587-606 |
| c4 | | |
| c3 | | 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 |
| 2001 | ||
| c2 | | Jing Sun, Jin Song Dong, Jing Liu, Hai H. Wang: An XML/XSL Approach to Visualize and Animate TCOZ. APSEC 2001: 453-460 |
| c1 | | Jing Sun, Jin Song Dong, Jing Liu, Hai H. Wang: Object-Z web environment and projections to UML. WWW 2001: 725-734 |
Data released under the ODC-BY 1.0 license — See also our legal information page