The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Hai H. Wang: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  29. Detecting Projected Outliers in High-Dimensional Data Streams. [Citation Graph (, )][DBLP]


  30. SPOT: A System for Detecting Projected Outliers From High-dimensional Data Streams. [Citation Graph (, )][DBLP]


  31. A Formal Model of Semantic Web Service Ontology (WSMO) Execution. [Citation Graph (, )][DBLP]


  32. Specifying and Verifying Event-Based Fairness Enhanced Systems. [Citation Graph (, )][DBLP]


  33. Anomaly detection in high-dimensional network data streams: A case study. [Citation Graph (, )][DBLP]


  34. Formal Specification of OWL-S with Object-Z: the Static Aspect. [Citation Graph (, )][DBLP]


  35. Verifying Semistructured Data Normalization Using SWRL. [Citation Graph (, )][DBLP]


Search in 0.133secs, Finished in 0.135secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002