dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Gillian Dobbie (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLScott Uk-Jin Lee, Gillian Dobbie, Jing Sun, Lindsay Groves: Theorem prover approach to semistructured data design. Formal Methods in System Design 37(1): 1-60 (2010)
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuan-Fang Li, Jing Sun, Gillian Dobbie, Scott Uk-Jin Lee, Hai H. Wang: Verifying Semistructured Data Normalization Using SWRL. TASE 2009: 193-200
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLScott Uk-Jin Lee, Gillian Dobbie, Jing Sun, Lindsay Groves: Formal Verification of Semistructured Data Models in PVS. J. UCS 15(1): 241-272 (2009)
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLScott 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
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLScott Uk-Jin Lee, Jing Sun, Gillian Dobbie, Lindsay Groves: Verifying Semistructured Data Normalization Using PVS. ICECCS 2008: 15-24
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGillian Dobbie, Jing Sun, Yuan-Fang Li, Scott Uk-Jin Lee: Towards Verifying Semistructured Data. APCCM 2007: 11-14
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGillian Dobbie, Jing Sun, Yuan-Fang Li, Scott Uk-Jin Lee: Research into Verifying Semistructured Data. ICDCIT 2006: 361-374
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLScott Uk-Jin Lee, Gillian Dobbie, Jing Sun, Lindsay Groves: A PVS Approach to Verifying ORA-SS Data Models. SEKE 2006: 126-131
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLScott 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)

Selection of 9 from 75 records - Gillian Dobbie has 60 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page