Author: Jin Song Dong

Publications

Co-authors

Dorel Lucanu

1

Hai Wang

2

Yuan Fang Li

2

Productive Colleagues

Yuan Fang Li

3

Hai Wang

5

Jing Liu

6

Publications

Sun, Jing, Dong, Jin Song, Liu, Jing, Wang, Hai (2001): Object-Z web environment and projections to UML. In: Proceedings of the 2001 International Conference on the World Wide Web , 2001, . pp. 725-734. https://doi.acm.org/10.1145/371920.372189

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

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