Zhang Zhiyong(张志勇)*, Wang Kanliang. A Formal Analytic Approach to Credible Potential Path and Mining Algorithms for Multimedia Social Networks [J]. Computer Journal, 2015, 58 (4): 668-678. DOI:10.1093/comjnl/bxu035 (SCI 000359137500011, EI 20151500736707)