K. Anan, T. Morisaki, M. Katano, A. Ikubo, H. Kitsuki, A. Uchiyama, S. Kuroki, M. Tanaka & M. Torisu (1996):
Vascular endothelial growth factor and platelet-derived growth factor are potential angiogenic and metastatic factors in human breast cancer.
Surgery 119(3),
pp. 333–339.
A. Aziz, K. Sanwal, V. Singhal & R. Brayton (2000):
Model Checking Continuous Time Markov Chains.
ACM Transactions on Computational Logic 1(1),
pp. 162–170,
doi:10.1145/343369.343402.
C. E. Bazenet, J. A. Gelderloos & A. Kazlauskas (1996):
Phosphorylation of tyrosine 720 in the platelet-derived growth factor alpha receptor is required for binding of Grb2 and SHP-2 but not for activation of Ras or cell proliferation.
Molecular and Cellular Biology 16(12),
pp. 6926–6936.
U.S. Bhalla (2003):
Understanding complex signaling networks through models and metaphor.
Progress in Biophysics & Molecular Biology 81(1),
pp. 45–65.
N. Bonzanni, K. Anton Feenstra, W. J. Fokkink & E. Krepska (2009):
What Can Formal Methods Bring to Systems Biology?.
In: Proc. 2nd World Congress on Formal Methods,
LNCS 5850.
Springer,
pp. 16–22,
doi:10.1007/978-3-642-05089-3_2.
N. Bonzanni, E. Krepska, K. Anton Feenstra, W. J. Fokkink, T. Kielmann, H. E. Bal & J. Heringa (2009):
Executing multicellular differentiation: quantitative predictive modelling of C.elegans vulval development.
Bioinformatics 25(16),
pp. 2049–2056,
doi:10.1093/bioinformatics/btp355.
F. Ciocchetta, A. Degasperi, J. K. Heath & J. Hillston (2010):
Modelling and Analysis of the NF-appaB Pathway in Bio-PEPA.
Transactions on Computational Systems Biology 12,
pp. 229–262,
doi:10.1007/978-3-642-11712-1_7.
J. Cools, D. J. DeAngelo, J. Gotlib, E. H. Stover, R. D. Legare, J. Cortes, J. Kutok, J. Clark, I. Galinsky, J. D. Griffin, N. C. Cross, A. Tefferi, J. Malone, R. Alam, S. L. Schrier, J. Schmid, M. Rose, P. Vandenberghe, G. Verhoef, M. Boogaerts, I. Wlodarska, H. Kantarjian, P. Marynen, S. E. Coutre, R. Stone & D. G. Gilliland (2003):
A tyrosine kinase created by fusion of the PDGFRA and FIP1L1 genes as a therapeutic target of imatinib in idiopathic hypereosinophilic syndrome.
The New England journal of medicine 348(13),
pp. 1201–1214.
P. Drábik, A. Maggiolo-Schettini & P. Milazzo (2010):
Modular verification of interactive systems with an application to biology.
In: Proc. 1st Workshop on Interactions between Computer Science and Biology,
ENTCS 268.
Elsevier,
pp. 61–75,
doi:10.1016/j.entcs.2010.12.006.
J. Fisher & T. A. Henzinger (2007):
Executable cell biology.
Nature Biotechnology 25(11),
pp. 1239–1249.
J. Fisher & N. Piterman (2010):
The Executable Pathway to Biological Networks.
Briefings in Functional Genomics and Proteomics 9(1),
pp. 79–92.
T. R. Golub, G. F. Barker, M. Lovett & D. G. Gilliland (1994):
Fusion of PDGF receptor beta to a novel ets-like gene, tel, in chronic myelomonocytic leukemia with t(5;12) chromosomal translocation.
Cell 77(2),
pp. 307–316.
A. Gutiérrez-Uzquiza, M. Arechederra, I. Molina, R. Banos, V. Maia, M. Benito, C. Guerrero & A. Porras (2010):
C3G down-regulates p38 MAPK activity in response to stress by Rap-1 independent mechanisms: involvement in cell death.
Cellualar Signalling 22(3),
pp. 533–542.
E. M. Hahn, H. Hermanns & L. Zhang (2009):
Probabilistic reachability for parametric Markov models.
In: Proc. 16th Spin Workshop on Model Checking Software,
LNCS 5578.
Springer,
pp. 88–106,
doi:10.1007/978-3-642-02652-2_10.
T. Han, J.-P. Katoen & A. Mereacre (2008):
Approximate parameter synthesis for probabilistic time-bounded reachability.
In: Proc. 29 IEEE Real-Time Systems Symposium.
IEEE Computer Society,
pp. 173–182,
doi:10.1109/RTSS.2008.19.
D. Hanahan & R. A. Weinberg (2011):
Hallmarks of cancer: The next generation.
Cell 144(5),
pp. 646–674.
S. Hart, M. Sharir & A. Pnueli (1983):
Termination of probabilistic concurrent programs.
ACM Transactions on Programming Languages and Systems 5(3),
pp. 356–380,
doi:10.1145/2166.357214.
J. Heath, M. Kwiatkowska, G. Norman, D. Parker & O. Tymchyshyn (2008):
Probabilistic model checking of complex biological pathways.
Theoretical Computer Science 319(3),
pp. 239–257,
doi:10.1016/j.tcs.2007.11.013.
C.-H. Heldin, B. Westermarkt & A. Wasteson (1985):
Platelet-derived growth factor.
Molecular and Celluar Endocrinology 39(3),
pp. 169–187.
S. K. Jha, E. M. Clarke, C. J. Langmead, A. Legay, A. Platzer & P. Zuliani (2009):
A Bayesian Approach to Model Checking Biological Systems.
In: Proc. 7th Conference on Computational Methods in Systems Biology,
LNCS 5688.
Springer,
pp. 218–234,
doi:10.1007/978-3-642-03845-7_15.
C. A. Joazeiro, S. S. Wing, H. Huang, J. D. Leverson, T. Hunter & Y. C. Liu (1999):
The tyrosine kinase negative regulator c-Cbl as a RING-type, E2-dependent ubiquitin-protein ligase.
Science 286(5438),
pp. 309–312.
G. Krauss (2008):
Biochemistry of Signal Transduction and Regulation.
Wiley-VCH, Weinheim.
J. Krivine, V. Danos & JA. Benecke (2009):
Modelling epigenetic information maintenance: a Kappa tutorial.
In: Proc. 21st Conference on Computer Aided Verification,
LNCS 5643.
Springer,
pp. 17–32,
doi:10.1007/978-3-642-02658-4_3.
M. Z. Kwiatkowska, G. Norman & D. Parker (2008):
Using probabilistic model checking in systems biology.
SIGMETRICS Performance Evaluation Review 35,
pp. 14–21,
doi:10.1145/1364644.1364651.
M. Z. Kwiatkowska, G. Norman & D. Parker (2009):
Algorithmic Bioprocesses, chapter Quantitative Verification Techniques for Biological Processes,
pp. 391–409.
Springer.
M. Z. Kwiatkowska, G. Norman & D. Parker (2010):
Symbolic Systems Biology, chapter Probabilistic Model Checking for Systems Biology,
pp. 31–59.
Jones and Bartlett.
M. Z. Kwiatkowska, G. Norman, D. Parker, O. Tymchyshyn, J. Heath & E. Gaffney (2006):
Simulation and verification for computational modelling of signalling pathways.
In: Proc. 38th Winter Simulation Conference,
pp. 1666–1674,
doi:10.1145/1218112.1218415.
M. Miettinen & J. Lasota (2006):
Gastrointestinal stromal tumors: Pathology and prognosis at different sites.
Seminars in Diagnostic Pathology 23(2),
pp. 70–83.
A. L. Reddi, G. Ying, L. Duan, G. Chen, M. Dimri, P. Douillard, B. J. Druker, M. Naramura, V. Band & H. Band (2007):
Binding of Cbl to a phospholipase Cgamma1-docking site on platelet-derived growth factor receptor beta provides a dual mechanism of negative regulation.
Journal of Biological Chemistry 282(40),
pp. 29336–2947.
A. Regev & E. Shapiro (2002):
Cellular abstractions: Cells as computation.
Nature 419,
pp. 343.
A. Sadot, J. Fisher, D. Barak, Y. Admanit, M. J. Stern, E. Jane Albert Hubbard & D. Harel (2008):
Toward Verified Biological Models.
IEEE/ACM Transactions on Computational Biology Bioinformatics 5(2),
pp. 223–234,
doi:10.1145/1371585.1371591.
M. Schwarick & M. Heiner (2009):
CSL Model Checking of Biochemical Networks with Interval Decision Diagram.
In: Proc. 7th Conference on Computational Methods in Systems Biology,
LNCS 5688.
Springer,
pp. 296–312,
doi:10.1007/978-3-642-03845-7_20.
M. Tallquist & A. Kazlauskas (2004):
PDGF signaling in cells and mice.
Cytokine & Growth Factor Review 15(4),
pp. 205–213.
S. Valgeirsdóttir, K. Paukku, O. Silvennoinen, C. H. Heldin & L. Claesson-Welsh (1998):
Activation of Stat5 by platelet-derived growth factor (PDGF) is dependent on phosphorylation sites in PDGF beta-receptor juxtamembrane and kinase insert domains.
Oncogene 16(4),
pp. 505–515.
K. Yokote, U. Hellman, S. Ekman, Y. Saito, L. Roennstrand, Y. Saito, C. H. Heldin & S. Mori (1998):
Identification of Tyr-762 in the platelet-derived growth factor alpha-receptor as the binding site for Crk proteins.
Oncogene 16(10),
pp. 1229–1239.
J. Yu, J. S. Gutkind, D. Mahadevan, W. Li, K. A. Meyers, J. H. Pierce & M. A. Heidaran (1994):
Biological function of PDGF-induced PI-3 kinase activity: its role in alpha PDGF receptor-mediated mitogenic signaling.
Journal of Cell Biology 127(2),
pp. 479–487.
J. Yu, C. Ustach & H.-R. Kim (2003):
Platelet-derived growth factor signaling and human cancer.
Journal of Biochemistry and Molecular Biology 36(1),
pp. 49–59.
eptcs@eptcs.org