BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Denmark
1 × Italy
1 × Republic of China
1 × United Kingdom
2 × USA
Collaborated with:
J.Sun J.S.Dong Y.Li C.H.Lee H.Gu T.Hu J.Zhang M.Lou T.W.Ling J.Sun H.B.Lee
Talks about:
semant (3) design (3) alloy (3) web (3) ontolog (2) reason (2) model (2) use (2) architectur (1) dimension (1)

Person: Hai H. Wang

DBLP DBLP: Wang:Hai_H=

Contributed to:

SEKE 20112011
SEKE 20052005
ICSE 20042004
VLDB 20042004
FME 20032003
SEKE 20032003
FME 20022002

Wrote 9 papers:

SEKE-2011-SunWG #design #network #semantics
Semantic Enabled Sensor Network Design (JS, HHW, HG), pp. 179–184.
SEKE-2011-SunWH #architecture #design #modelling #ontology #using
Design Software Architecture Models using Ontology (JS, HHW, TH), pp. 191–196.
SEKE-2005-WangDS #alloy #reasoning #using
Reasoning Support for SWRL-FOL Using Alloy (HHW, JSD, JS), pp. 626–631.
SEKE-2005-WangDSL #approach #design #process
TCOZ Approach to OWL-S Process Model Design (HHW, JSD, JS, YFL), pp. 354–359.
ICSE-2004-DongLLW #verification
Verifying DAML+OIL and Beyond in Z/EVES (JSD, CHL, YFL, HHW), pp. 201–210.
VLDB-2004-ZhangLLW #detection #named
HOS-Miner: A System for Detecting Outlying Subspaces of High-dimensional Data (JZ, ML, TWL, HHW), pp. 1265–1268.
FME-2003-DongSW #alloy #reasoning #semantics #web
Checking and Reasoning about Semantic Web through Alloy (JSD, JS, HHW), pp. 796–813.
SEKE-2003-DongSWLL #alloy #case study #ontology #web
Analysing Web Ontology in Alloy: A Military Case Study (JSD, JS, HHW, CHL, HBL), pp. 542–546.
FME-2002-DongSW #semantics #web
Semantic Web for Extending and Linking Formalisms (JSD, JS, HHW), pp. 587–606.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.