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: Wang:Hai_H=
Contributed to:
20112005
2004
2004
200320032002Wrote 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.