Digital Archeology of Software

he uses of phylogenetic networks in developmental systems biology

60周年校庆报告暨可信计算论坛：蛋白质相互作用网络检测的新算法

Probable World: Taming Data Uncertainty

Controller automata, a Model for Real-Time Systems with Mutex Componet