ITEE Home » » LI, Yuan-Fang's bib

Print version

LI, Yuan-Fang's bib

@PREAMBLE{{\newcommand{\gobble}[1]{}}}

@ARTICLE{fea-owl-jws06,
  AUTHOR = {Hai Wang and Yuan Fang Li and Jing Sun and Hongyu Zhang and Jeff Pan},
  TITLE = {Verifying Feature Models using OWL},
  JOURNAL = {Journal of Web Semantics},
  NOTE = {to appear},
  PUBLISHER = {Elsevier}
}

@ARTICLE{orass-owl-jods,
  AUTHOR = {Yuan Fang Li and Jing Sun and Gillian Dobbie and Hai Wang and Jun Sun},
  TITLE = {Reasoning about ORA-SS Data Models using the Semantic Web},
  JOURNAL = {Journal of Data Semantics},
  NOTE = {to appear},
  PUBLISHER = {sv}
}

@INPROCEEDINGS{lld06,
  AUTHOR = {Dorel Lucanu and Yuan Fang Li and Jin Song Dong},
  TITLE = {Semantic Web Languages -- Towards an Institutional Perspective},
  BOOKTITLE = {{Algebra, Meaning and Computation, Festschrift in Honor of Prof. Joseph Goguen}},
  YEAR = 2006,
  VOLUME = 4060,
  PAGES = {99--123},
  EDITOR = {K. Futatsugi et al.},
  SERIES = {Lect. Notes in Comput. Sci.},
  PUBLISHER = {Springer-Verlag},
  NOTE = {to appear}
}

@INPROCEEDINGS{orass-owl,
  AUTHOR = {Yuan Fang Li and Jing Sun and Gillian Dobbie and Jun Sun and Hai Wang},
  TITLE = {{Validating Semistructured Data using OWL}},
  BOOKTITLE = {{Proceedings of the 7th International Conference on Web-Age Information Management (WAIM'06)}},
  YEAR = 2006,
  MONTH = JUN,
  ADDRESS = {{Hong Kong, China}}
}

@INPROCEEDINGS{dfls05,
  AUTHOR = {Jin Song Dong and Yuzhang Feng and Yuan Fang Li and Jun Sun},
  TITLE = {A Tools Environment for Developing and Reasoning about Ontologies},
  BOOKTITLE = {Proc. of 12th Asia-Pacific Software Engineering Conference (APSEC'05)},
  MONTH = DEC,
  YEAR = 2005,
  ADDRESS = {Taipei, Taiwan}
}

@INPROCEEDINGS{owls-lsc,
  AUTHOR = {Jun Sun and Yuan Fang Li and Hai Wang and Jing Sun},
  TITLE = {{`Visualizing and Simulating Semantic Web Services Ontologies}},
  BOOKTITLE = {{Proc. of 7th International Conference on Formal Engineering Methods (ICFEM'05)}},
  PUBLISHER = {LNCS, Springer-Verlag},
  MONTH = NOV,
  YEAR = 2005,
  PAGES = {439--445},
  ADDRESS = {Manchester, UK}
}

@INPROCEEDINGS{haiOWLFeature,
  AUTHOR = {Hai Wang and Yuan Fang Li and Jing Sun and HongYu Zhang and Jeff Pan},
  BOOKTITLE = {{1st Workshop on Semantic Web Enabled Software Engineering (SWESE'05)}},
  ADDRESS = {Galway, Ireland},
  PUBLISHER = {LNCS, Springer-Verlag},
  TITLE = {{A Semantic Web Approach to Feature Modeling and Verification}},
  NOTE = {accepted},
  MONTH = {Nov},
  YEAR = {2005},
  URL = {\url{http://www.comp.nus.edu.sg/~liyf/papers/owl-feature.pdf}}
}

@INPROCEEDINGS{lsdl05,
  AUTHOR = {Scott Uk-Jin Lee and Jing Sun and Gillian Dobbie and Yuan Fang Li},
  TITLE = {A Z Approach in Validating ORA-SS Data Models},
  BOOKTITLE = {3rd International Workshop on Software Verification and Validation (SVV'05)},
  SERIES = {Electronic Notes in Theoretical Computer Science},
  VOLUME = {157},
  NUMBER = {1},
  PAGES = {95--109},
  ADDRESS = {Manchester, UK},
  YEAR = 2005,
  MONTH = OCT
}

@INPROCEEDINGS{lld05a,
  AUTHOR = {Dorel Lucanu and Yuan Fang Li and Jin Song Dong},
  BOOKTITLE = {Proc. of The 17th International Conference on
                Software Engineering and Knowledge Engineering (SEKE'05) },
  TITLE = {{Institution Morphisms for Relating OWL and Z}},
  MONTH = JUL,
  ADDRESS = {Taipei, Taiwan},
  YEAR = {2005}
}

@INPROCEEDINGS{wdsl05,
  AUTHOR = {Hai Wang and Jin Song Dong and Jing Sun and Yuan Fang Li},
  BOOKTITLE = {Proc. of The 17th International Conference on
                Software Engineering and Knowledge Engineering (SEKE'05) },
  TITLE = {{TCOZ Approach to OWL-S Process Model Design}},
  MONTH = JUL,
  ADDRESS = {Taipei, Taiwan},
  YEAR = {2005}
}

@INPROCEEDINGS{szlw05a,
  AUTHOR = {Jing Sun and Hongyu Zhang and Yuan Fang Li and Hai Wang},
  BOOKTITLE = {{Proc. of 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05)}},
  ADDRES = {Shanghai, China},
  TITLE = {{Formal Semantics and Verification for Feature Modeling}},
  PUBLISHER = {IEEE Press},
  MONTH = JUN,
  YEAR = 2005
}

@TECHREPORT{lld05,
  AUTHOR = {Dorel Lucanu and Yuan Fang Li and Jin Song Dong},
  INSTITUTION = {University ``Alexandru Ioan Cuza'' of Ia\c{s}i, Romania},
  NUMBER = {TR 05-01},
  TITLE = {{Web Ontology Verification and Analysis in the Z Framework}},
  YEAR = {2005},
  MONTH = JAN,
  NOTE = {\url{http://thor.info.uaic.ro/~tr/tr05-01.ps}}
}

@INPROCEEDINGS{pvs_orl,
  AUTHOR = {Jin Song Dong and Yuzhang Feng and Yuan Fang Li},
  TITLE = {{Reasoning Support for the OWL Rules Language}},
  BOOKTITLE = {{Proceedings of First International Colloquium on Theoretical Aspects of Computing (ICTAC'04)}},
  ADDRESS = {{Guiyang, China}},
  MONTH = SEP,
  YEAR = 2004
}

@INPROCEEDINGS{feamod-www05,
  AUTHOR = {Hai Wang and Yuan Fang Li and Jing Sun and Hongyu Zhang},
  BOOKTITLE = {Fourteenth International Conference on World Wide Web (WWW'05)},
  TITLE = {{Verify Feature Models using Prot\'{e}g\'{e}-OWL}},
  MONTH = MAY,
  YEAR = {2005},
  ADDRESS = {Chiba, Japan},
  PAGES = {1038--1039}
}

@INPROCEEDINGS{owl2z:inst,
  AUTHOR = {Dorel Lucanu and Yuan Fang Li and Jin Song Dong},
  BOOKTITLE = {Fourteenth International Conference on World Wide Web (WWW'05)},
  TITLE = {{Soundness proof of Z semantics of OWL using institutions}},
  MONTH = MAY,
  YEAR = {2005},
  ADDRESS = {Chiba, Japan},
  PAGES = {1048--1049}
}

@INPROCEEDINGS{comapproach04,
  AUTHOR = {Jin Song Dong and Chew Hung Lee and Yuan Fang Li and Hai Wang},
  TITLE = {{A Combined Approach to Checking Web Ontologies}},
  BOOKTITLE = {Proceedings of 13th World Wide Web Conference (WWW'04)},
  MONTH = MAY,
  ADDRESS = {New York, USA},
  YEAR = 2004,
  PAGES = {714--722}
}

@INPROCEEDINGS{tcozsemweb04,
  AUTHOR = {Jin Song Dong and Yuan Fang Li and Hai Wang},
  TITLE = {{TCOZ Approach to Semantic Web Services Design}},
  BOOKTITLE = {Proceedings of 13th World Wide Web Conference (WWW'04)},
  MONTH = MAY,
  YEAR = 2004,
  ADDRESS = {New York, USA},
  PAGES = {442--443}
}

@INPROCEEDINGS{damlzeves04,
  AUTHOR = {Jin Song Dong and Chew Hung Lee and Yuan Fang Li and Hai Wang},
  TITLE = {Verifying {DAML+OIL} and Beyond in {Z/EVES}},
  BOOKTITLE = {Proceedings of 26th International Conference on Software Engineering (ICSE'04)},
  MONTH = MAY,
  YEAR = 2004,
  ADDRESS = {Edinburgh, Scotland},
  PAGES = {201--210}
}

@TECHREPORT{t2dds-tech-report,
  AUTHOR = {Jin Song Dong and Yuan Fang Li and Hai Wang},
  INSTITUTION = {National University of Sinagpore},
  NUMBER = {TRB2/04},
  TITLE = {A Formal Approach to Semantic Web Services Design},
  YEAR = {2004},
  MONTH = FEB
}

@INPROCEEDINGS{dlssw02icfem,
  AUTHOR = {Jin Song Dong and Yuan Fang Li and Jing Sun and Jun Sun and Hai Wang},
  TITLE = {{XML-based static type checking and dynamic visualization for TCOZ}},
  PAGES = {311-322},
  BOOKTITLE = {International Conference on Formal Engineering Methods (ICFEM'02)},
  PUBLISHER = {LNCS, Springer-Verlag},
  MONTH = OCT,
  YEAR = 2002,
  ADDRESS = {Shanghai, China}
}

@INPROCEEDINGS{owl-s_inheritance,
  AUTHOR = {Simon Ferndriger and Abraham Bernstein and Jin Song Dong and Yuzhang Feng and Yuan-Fang Li and Jane Hunter3},
  TITLE = {{Enhancing Semantic Web Services with Inheritance}},
  PAGES = {162-177},
  BOOKTITLE = {Proceedings of 7th International Semantic Web Conference (ISWC'08)},
  PUBLISHER = {LNCS, Springer-Verlag},
  MONTH = OCT,
  YEAR = 2008,
  ADDRESS = {Karlsruhe, Germany}
}

@INPROCEEDINGS{1608433,
  AUTHOR = {Li, Y.-F. and Sun, J. and Dobbie, G. and Lee, S. and Wang, H. H.},
  TITLE = {{Verifying Semistructured Data Normalization Using SWRL}},
  BOOKTITLE = {Proceedings of the 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE'09)},
  YEAR = {2009},
  ISBN = {978-0-7695-3757-3},
  PAGES = {193--200},
  DOI = {http://dx.doi.org/10.1109/TASE.2009.11},
  PUBLISHER = {IEEE Computer Society},
  ADDRESS = {Washington, DC, USA}
}

@INPROCEEDINGS{1488885,
  AUTHOR = {Newman, Andrew and Li, Yuan-Fang and Hunter, Jane},
  TITLE = {{Scalable Semantics - The Silver Lining of Cloud Computing}},
  BOOKTITLE = {ESCIENCE '08: Proceedings of the 2008 Fourth IEEE International Conference on eScience},
  YEAR = {2008},
  ISBN = {978-0-7695-3535-7},
  PAGES = {111--118},
  DOI = {http://dx.doi.org/10.1109/eScience.2008.23},
  PUBLISHER = {IEEE Computer Society},
  ADDRESS = {Washington, DC, USA}
}

@ARTICLE{citeulike:6305202,
  AUTHOR = {Zhang, Hongyu and Li, Yuan-Fang and Tan, H. B. K.},
  CITEULIKE-ARTICLE-ID = {6305202},
  CITEULIKE-LINKOUT-0 = {http://dx.doi.org/10.1016/j.jss.2009.11.735},
  CITEULIKE-LINKOUT-1 = {http://linkinghub.elsevier.com/retrieve/pii/S0164121209003148},
  DAY = {01},
  DOI = {10.1016/j.jss.2009.11.735},
  ISSN = {01641212},
  JOURNAL = {Journal of Systems and Software},
  MONTH = {December},
  POSTED-AT = {2009-12-04 13:57:07},
  TITLE = {{Measuring Design Complexity of Semantic Web Ontologies}},
  URL = {http://dx.doi.org/10.1016/j.jss.2009.11.735},
  YEAR = {2009}
}

@INCOLLECTION{ecs14394,
  TITLE = {An Integrated Formal Approach to Semantic Work Environments Design},
  AUTHOR = {{H. H. Wang, J.-S. Dong, J. Sun, T. R. Payne, N. Gibbins, Y.-F. Li, J. Pan}},
  BOOKTITLE = {{Emerging Technologies for Semantic Work Environments: Techniques, Methods}},
  PUBLISHER = {IDEA GROUP},
  YEAR = {2007},
  PAGES = {262--280},
  TITLE = {Emerging Technologies for Semantic Work Environments: Techniques, Methods}
}

---

This file has been generated by bibtex2html 1.79

'); document.write('');