2008 |
5 | EE | 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 |
2007 |
4 | EE | Gillian Dobbie,
Jing Sun,
Yuan-Fang Li,
Scott Uk-Jin Lee:
Towards Verifying Semistructured Data.
APCCM 2007: 11-14 |
2006 |
3 | EE | 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 | EE | 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) |