| 2012 |
|---|
| 46 | A formal model of the Semantic Web Service Ontology (WSMO). Hai H. Wang, Nick Gibbins, Terry R. Payne, Domenico Redavid. Inf. Syst. (37): 33-60 (2012). Web SearchBibTeXDownload |
| 2011 |
|---|
| 45 | Anomaly-Based Network Intrusion Detection Using Outlier Subspace Analysis: A Case Study. David Kershaw, Qigang Gao, Hai H. Wang. Canadian Conference on AI 2011, 234-239. Web SearchBibTeXDownload |
| 44 | Design Software Architecture Models using Ontology. Jing Sun, Hai H. Wang, Tianming Hu. SEKE 2011, 191-196. Web SearchBibTeX |
| 43 | Semantic Enabled Sensor Network Design. Jing Sun, Hai H. Wang, Hui Gu. SEKE 2011, 179-184. Web SearchBibTeX |
| 42 | Detecting anomalies from high-dimensional wireless network data streams: a case study. Ji Zhang, Qigang Gao, Hai Wang, Hua Wang. Soft Comput. (15): 1195-1215 (2011). Web SearchBibTeXDownload |
| 2010 |
|---|
| 41 | Enhanced Semantic Access to Formal Software Models. Hai H. Wang, Danica Damljanovic, Jing Sun. ICFEM 2010, 237-252. Web SearchBibTeXDownload |
| 40 | A Web-based Interactive Data Visualization System for Outlier Subspace Analysis. Dong Liu, Qigang Gao, Hai H. Wang, Ji Zhang. SEDE 2010, 275-280. Web SearchBibTeX |
| 2009 |
|---|
| 39 | Detecting Projected Outliers in High-Dimensional Data Streams. Ji Zhang, Qigang Gao, Hai H. Wang, Qing Liu, Kai Xu. DEXA 2009, 629-644. Web SearchBibTeXDownload |
| 38 | A semantic web environment for components. Hai H. Wang, Jing Sun. Knowledge Eng. Review (24): 59-75 (2009). Web SearchBibTeXDownload |
| 37 | Verifying Semistructured Data Normalization Using SWRL. Yuan-Fang Li, Jing Sun, Gillian Dobbie, Scott Uk-Jin Lee, Hai H. Wang. TASE 2009, 193-200. Web SearchBibTeXDownload |
| 2008 |
|---|
| 36 | SPOT: A System for Detecting Projected Outliers From High-dimensional Data Streams. Ji Zhang, Qigang Gao, Hai H. Wang. ICDE 2008, 1628-1631. Web SearchBibTeXDownload |
| 35 | A Formal Model of Semantic Web Service Ontology (WSMO) Execution. Hai H. Wang, Nick Gibbins, Terry R. Payne, Ahmed Saleh, Jun Sun. ICECCS 2008, 111-120. Web SearchBibTeXDownload |
| 34 | Specifying and Verifying Event-Based Fairness Enhanced Systems. Jun Sun, Yang Liu, Jin Song Dong, Hai H. Wang. ICFEM 2008, 5-24. Web SearchBibTeXDownload |
| 33 | Anomaly detection in high-dimensional network data streams: A case study. Ji Zhang, Qigang Gao, Hai H. Wang. ISI 2008, 251-253. Web SearchBibTeXDownload |
| 32 | Discover gene specific local co-regulations from time-course gene expression data. Ji Zhang, Qigang Gao, Hai H. Wang. Scientific Programming (16): 31-47 (2008). Web SearchBibTeXDownload |
| 2007 |
|---|
| 31 | Belief-augmented OWL (BOWL) Engineering the SemanticWeb with Beliefs. Yuzhang Feng, Yuan-Fang Li, Colin Keng-Yan Tan, Bimlesh Wadhwa, Hai H. Wang. ICECCS 2007, 165-174. Web SearchBibTeXDownload |
| 30 | A Formal Semantic Model of the Semantic Web Service Ontology (WSMO). Hai H. Wang, Nick Gibbins, Terry R. Payne, Ahmed Saleh, Jun Sun. ICECCS 2007, 74-86. Web SearchBibTeXDownload |
| 29 | Verifying feature models using OWL. Hai H. Wang, Yuan-Fang Li, Jing Sun, Hongyu Zhang, Jeff Z. Pan. J. Web Sem. (5): 117-129 (2007). Web SearchBibTeXDownload |
| 28 | Realizing Live Sequence Charts in SystemVerilog. Hai H. Wang, Shengchao Qin, Jun Sun, Jin Song Dong. TASE 2007, 379-388. Web SearchBibTeXDownload |
| 27 | Formal Specification of OWL-S with Object-Z: the Static Aspect. Hai H. Wang, Ahmed Saleh, Terry R. Payne, Nick Gibbins. Web Intelligence 2007, 431-434. Web SearchBibTeXDownload |
| 26 | Formal Specification of OWL-S with Object-Z: The Dynamic Aspect. Hai H. Wang, Terry R. Payne, Nick Gibbins, Ahmed Saleh. WISE 2007, 237-248. Web SearchBibTeXDownload |
| 2006 |
|---|
| 25 | A Novel Method for Detecting Outlying Subspaces in High-dimensional Databases Using Genetic Algorithm. Ji Zhang, Qigang Gao, Hai H. Wang. ICDM 2006, 731-740. Web SearchBibTeXDownload |
| 24 | Discover Gene Specific Local Co-regulations Using Progressive Genetic Algorithm. Ji Zhang, Qigang Gao, Hai H. Wang. ICTAI 2006, 783-790. Web SearchBibTeXDownload |
| 23 | Reasoning About ORA-SS Data Models Using the Semantic Web. Yuan-Fang Li, Jing Sun, Gillian Dobbie, Hai H. Wang, Jun Sun. J. Data Semantics VII 2006, 219-241. Web SearchBibTeXDownload |
| 22 | Detecting outlying subspaces for high-dimensional data: the new task, algorithms, and performance. Ji Zhang, Hai H. Wang. Knowl. Inf. Syst. (10): 333-355 (2006). Web SearchBibTeXDownload |
| 21 | Reasoning support for Semantic Web ontology family languages using Alloy. Hai H. Wang, Jin Song Dong, Jing Sun, Jun Sun. Multiagent and Grid Systems (2): 455-471 (2006). Web SearchBibTeXDownload |
| 20 | Validating Semistructured Data Using OWL. Yuan-Fang Li, Jing Sun, Gillian Dobbie, Jun Sun, Hai H. Wang. WAIM 2006, 520-531. Web SearchBibTeXDownload |
| 2005 |
|---|
| 19 | Grid-ODF: Detecting Outliers Effectively and Efficiently in Large Multi-dimensional Databases. Wei Wang, Ji Zhang, Hai H. Wang. CIS (1) 2005, 765-770. Web SearchBibTeXDownload |
| 18 | Formal Semantics and Verification for Feature Modeling. Jing Sun, Hongyu Zhang, Yuan-Fang Li, Hai H. Wang. ICECCS 2005, 303-312. Web SearchBibTeXDownload |
| 17 | SVG Web Environment for Z Specification Language. Jing Sun, Hai H. Wang, Sasanka Athauda, Tazkiya Sheik. ICFEM 2005, 480-494. Web SearchBibTeXDownload |
| 16 | Visualizing and Simulating Semantic Web Services Ontologies. Jun Sun, Yuan-Fang Li, Hai H. Wang, Jing Sun. ICFEM 2005, 435-449. Web SearchBibTeXDownload |
| 15 | Reasoning Support for SWRL-FOL Using Alloy. Hai H. Wang, Jin Song Dong, Jing Sun. SEKE 2005, 626-631. Web SearchBibTeX |
| 14 | TCOZ Approach to OWL-S Process Model Design. Hai H. Wang, Jin Song Dong, Jing Sun, Yuan-Fang Li. SEKE 2005, 354-359. Web SearchBibTeX |
| 13 | Verify Feature Models using protegeowl. Hai H. Wang, Yuan-Fang Li, Jing Sun, Hongyu Zhang. WWW (Special interest tracks and posters) 2005, 1038-1039. Web SearchBibTeXDownload |
| 2004 |
|---|
| 12 | Verifying DAML+OIL and Beyond in Z/EVES. Jin Song Dong, Chew Hung Lee, Yuan-Fang Li, Hai H. Wang. ICSE 2004, 201-210. Web SearchBibTeXDownload |
| 11 | HOS-Miner: A System for Detecting Outlying Subspaces of High-dimensional Data. Ji Zhang, Meng Lou, Tok Wang Ling, Hai H. Wang. VLDB 2004, 1265-1268. Web SearchBibTeXDownload |
| 10 | A combined approach to checking web ontologies. Jin Song Dong, Chew Hung Lee, Hian Beng Lee, Yuan-Fang Li, Hai H. Wang. WWW 2004, 714-722. Web SearchBibTeXDownload |
| 9 | TCOZ approach to semantic web services design. Jin Song Dong, Yuan-Fang Li, Hai H. Wang. WWW (Alternate Track Papers & Posters) 2004, 442-443. Web SearchBibTeXDownload |
| 2003 |
|---|
| 8 | Checking and Reasoning about Semantic Web through Alloy. Jin Song Dong, Jing Sun, Hai H. Wang. FME 2003, 796-813. Web SearchBibTeXDownload |
| 7 | Analysing Web Ontology in Alloy: A Military Case Study. Jin Song Dong, Jun Sun, Hai H. Wang, Chew Hung Lee, Hian Beng Lee. SEKE 2003, 542-546. Web SearchBibTeX |
| 2002 |
|---|
| 6 | A Formal Object Approach to the Design of ZML. Jing Sun, Jin Song Dong, Jing Liu, Hai H. Wang. Ann. Software Eng. (13): 329-356 (2002). Web SearchBibTeXDownload |
| 5 | Semantic Web for Extending and Linking Formalisms. Jin Song Dong, Jing Sun, Hai H. Wang. FME 2002, 587-606. Web SearchBibTeXDownload |
| 4 | Z Approach to Semantic Web. Jin Song Dong, Jing Sun, Hai H. Wang. ICFEM 2002, 156-167. Web SearchBibTeXDownload |
| 3 | XML-Based Static Type Checking and Dynamic Visualization for TCOZ. Jin Song Dong, Yuan-Fang Li, Jing Sun, Jun Sun, Hai H. Wang. ICFEM 2002, 311-322. Web SearchBibTeXDownload |
| 2001 |
|---|
| 2 | An XML/XSL Approach to Visualize and Animate TCOZ. Jing Sun, Jin Song Dong, Jing Liu, Hai H. Wang. APSEC 2001, 453-460. Web SearchBibTeXDownload |
| 1 | Object-Z web environment and projections to UML. Jing Sun, Jin Song Dong, Jing Liu, Hai H. Wang. WWW 2001, 725-734. Web SearchBibTeXDownload |
