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