Yunfeng Tao

Infinity problems and countability problems for omega-automata

Yunfeng Tao, 2006, Inf. Process. Lett..

An introduction to assertion-based verification

Yunfeng Tao, 2009, 2009 IEEE 8th International Conference on ASIC.

Providing an Uncertainty Reasoning Service for Semantic Web Application

Yong Yu, Jian Zhou, Lei Li, 2006, APWeb.