Author: Yuan Fang Li

Publications

Co-authors

Dorel Lucanu

1

Jin Song Dong

2

Hai Wang

2

Productive Colleagues

Jing Sun

3

Hongyu Zhang

4

Hai Wang

5

Publications

Dong, Jin Song, Li, Yuan Fang, Wang, Hai (2004): TCOZ approach to semantic web services design. In: Proceedings of the 2004 International Conference on the World Wide Web , 2004, . pp. 442-443. https://doi.acm.org/10.1145/1013367.1013516

Wang, Hai, Li, Yuan Fang, Sun, Jing, Zhang, Hongyu (2005): Verify Feature Models using protegeowl. In: Proceedings of the 2005 International Conference on the World Wide Web , 2005, . pp. 1038-1039. https://doi.acm.org/10.1145/1062745.1062857

Lucanu, Dorel, Li, Yuan Fang, Dong, Jin Song (2005): Soundness proof of Z semantics of OWL using institutions. In: Proceedings of the 2005 International Conference on the World Wide Web , 2005, . pp. 1048-1049. https://doi.acm.org/10.1145/1062745.1062862