A Method for Finding Consistent Hypotheses Using Abstraction. - Yoshiaki Okubo; Makoto Haraguchi; Yan Fang Zheng (SARA, 2000)

Large-Scale Simulation of Eukaryotic Cell Signaling Processes. - John H. Miller; Yan Fang Zheng (IPDPS, 2004)