Publications
Drug Target Optimization in Chronic Myeloid Leukemia Using Innovative Computational Platform
Chuang R., Hall B.A., Benque D., Cook B., Ishtiaq S., Piterman N., Taylor A., Vardi M., Koschmieder S., Gottgens B., and Fisher J.
Scientific Reports, 5:8190, Nature Publishing Group, February 2015
[text]
Modelling biology -- working through (in-)stabilities and frictions
Taylor, Fisher, Cook, Ishtiaq, Piterman
Computational Culture, Nov 2014
[text]
Finding instability in biological models
Cook, Fisher, Hall, Ishtiaq, Juniwal, Piterman
CAV 2014
[PDF]
At the Interface of Biology and Computation
Taylor, Piterman, Ishtiaq, Fisher, Cook, Cockerton, Bourton, Benque
CHI 2013
[PDF]
Model-Checking Signal Transduction Networks through Decreasing Reachability Sets
Claessen, Fisher, Ishtiaq, Piterman, Wang
CAV 2013
[PDF]
BMA: Visual Tool for Modeling and Analyzing Biological Networks
Benque, Bourton, Cockerton, Cook, Fisher, Ishtiaq, Piterman, Taylor, Vardi
CAV 2012
[PDF]
Proving Stabilization of Biological Systems
Cook, Fisher, Krepska, Piterman
VMCAI 2011
[PDF]
Qualitative Networks: A Symbolic Approach to Analyze Biological Signaling Networks.
Schaub, Henzinger, Fisher
BMC Systems Biology. 1:4, 2007
[PDF]