2011
2010
2009
- Formal Semantics of OWL-S with F-LogicHuaikou Miao, Tao He, LiPing Li. In Roger Y. Lee, Gongzhu Hu, Huaikou Miao, editors, Computer and Information Science 2009 [outstanding papers from the 8th ACIS/IEEE International Conference on Computer and Information Science, Shanghai, China, June 1-3, 2009]. Volume 208 of Studies in Computational Intelligence, pages 105-117, Springer, 2009. [doi]
2008
2007
2006
2005
2004
2003
1998