Yuhui Shi，Yuming Wu，Lei Bu，Xuandong Li. Checking Bounded Reachability of Compositional Linear Hybrid Automata Using Interaction Relations.
In ACM,
download
Shuoxiao Zhang, Enyi Tang, Xinyu Gao, Haoliang Cheng, An Guo, Xu Zhou, Lingyun Situ, Xin Chen, Jianhua Zhao, Linzhang Wang, Xuandong Li. Studying the Effectiveness of Social Media on Open Source Donation Platforms:An Empirical Study.
In Journal of Software: Evolution and Process,
