Symbolic Model Checking of Signaling Pathways in Pancreatic Cancer. - Haijun Gong; Qinsi Wang; Paolo Zuliani; James R. Faeder; Michael Lotze (BICoB, 2011)

Formal Modeling and Analysis of Pancreatic Cancer Microenvironment. - Qinsi Wang; Natasa Miskov-Zivanov; Bing Liu 013; James R. Faeder; Michael Lotze; Edmund M. Clarke (CMSB, 2016)