Michael Lotze

Publication Activity (10 Years)

Years Active: 2011-2016
Publications (10 Years): 1

Top Topics

Statistical Modeling

Evolutionary Algorithm

Early Detection

Top Venues

Publications

Qinsi Wang, Natasa Miskov-Zivanov, Bing Liu, James R. Faeder, Michael Lotze, Edmund M. Clarke
Formal Modeling and Analysis of Pancreatic Cancer Microenvironment. CMSB (2016)
Haijun Gong, Qinsi Wang, Paolo Zuliani, James R. Faeder, Michael Lotze
Symbolic Model Checking of Signaling Pathways in Pancreatic Cancer. BICoB (2011)