 | 2009 |
|---|
| 7 |       | 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 |
|---|
| 6 | | Scott Uk-Jin Lee,
Jing Sun,
Gillian Dobbie,
Lindsay Groves,
Yuan-Fang Li:
Correctness Criteria for Normalization of Semistructured Data.
Australian Software Engineering Conference 2008: 248-257 |
| 5 | | Scott Uk-Jin Lee,
Jing Sun,
Gillian Dobbie,
Lindsay Groves:
Verifying Semistructured Data Normalization Using PVS.
ICECCS 2008: 15-24 |
| 2007 |
|---|
| 4 | | Gillian Dobbie,
Jing Sun,
Yuan-Fang Li,
Scott Uk-Jin Lee:
Towards Verifying Semistructured Data.
APCCM 2007: 11-14 |
| 2006 |
|---|
| 3 | | Gillian Dobbie,
Jing Sun,
Yuan-Fang Li,
Scott Uk-Jin Lee:
Research into Verifying Semistructured Data.
ICDCIT 2006: 361-374 |
| 2 |  | Scott Uk-Jin Lee,
Gillian Dobbie,
Jing Sun,
Lindsay Groves:
A PVS Approach to Verifying ORA-SS Data Models.
SEKE 2006: 126-131 |
| 1 | | Scott Uk-Jin Lee,
Jing Sun,
Gillian Dobbie,
Yuan-Fang Li:
A Z Approach in Validating ORA-SS Data Models.
Electr. Notes Theor. Comput. Sci. 157(1): 95-109 (2006) |
