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
333–339
A. Aziz
K. Sanwal
V. Singhal
R. Brayton
2000
Model Checking Continuous Time Markov Chains
ACM Transactions on Computational Logic
1
1
162–170
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
6926–6936
U.S. Bhalla
2003
Understanding complex signaling networks through models and metaphor
Progress in Biophysics & Molecular Biology
81
1
45–65
N. Bonzanni
K. Anton Feenstra
W. J. Fokkink
E. Krepska
2009
What Can Formal Methods Bring to Systems Biology?
Proc. 2nd World Congress on Formal Methods
LNCS
5850
Springer
16–22
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
2049–2056
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
229–262
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
1201–1214
P. Drábik
A. Maggiolo-Schettini
P. Milazzo
2010
Modular verification of interactive systems with an application to biology
Proc. 1st Workshop on Interactions between Computer Science and Biology
ENTCS
268
Elsevier
61–75
10.1016/j.entcs.2010.12.006
J. Fisher
T. A. Henzinger
2007
Executable cell biology
Nature Biotechnology
25
11
1239–1249
J. Fisher
N. Piterman
2010
The Executable Pathway to Biological Networks
Briefings in Functional Genomics and Proteomics
9
1
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
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
533–542
E. M. Hahn
H. Hermanns
L. Zhang
2009
Probabilistic reachability for parametric Markov models
Proc. 16th Spin Workshop on Model Checking Software
LNCS
5578
Springer
88–106
10.1007/978-3-642-02652-2_10
T. Han
J.-P. Katoen
A. Mereacre
2008
Approximate parameter synthesis for probabilistic time-bounded reachability
Proc. 29 IEEE Real-Time Systems Symposium
IEEE Computer Society
173–182
10.1109/RTSS.2008.19
D. Hanahan
R. A. Weinberg
2011
Hallmarks of cancer: The next generation
Cell
144
5
646–674
S. Hart
M. Sharir
A. Pnueli
1983
Termination of probabilistic concurrent programs
ACM Transactions on Programming Languages and Systems
5
3
356–380
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
239–257
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
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
Proc. 7th Conference on Computational Methods in Systems Biology
LNCS
5688
Springer
218–234
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
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
Proc. 21st Conference on Computer Aided Verification
LNCS
5643
Springer
17–32
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
14–21
10.1145/1364644.1364651
M. Z. Kwiatkowska
G. Norman
D. Parker
2009
Algorithmic Bioprocesses
Quantitative Verification Techniques for Biological Processes
391–409
Springer
M. Z. Kwiatkowska
G. Norman
D. Parker
2010
Symbolic Systems Biology
Probabilistic Model Checking for Systems Biology
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
Proc. 38th Winter Simulation Conference
1666–1674
10.1145/1218112.1218415
M. Miettinen
J. Lasota
2006
Gastrointestinal stromal tumors: Pathology and prognosis at different sites
Seminars in Diagnostic Pathology
23
2
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
29336–2947
A. Regev
E. Shapiro
2002
Cellular abstractions: Cells as computation
Nature
419
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
223–234
10.1145/1371585.1371591
M. Schwarick
M. Heiner
2009
CSL Model Checking of Biochemical Networks with Interval Decision Diagram
Proc. 7th Conference on Computational Methods in Systems Biology
LNCS
5688
Springer
296–312
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
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
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
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
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
49–59