Biology-Related Publications

Sort by: date, type, title

14 publications:

[LPC+12] M. Lakin, D. Parker, L. Cardelli, M. Kwiatkowska and A. Phillips. Design and Analysis of DNA Strand Displacement Devices using Probabilistic Model Checking. Journal of the Royal Society Interface. To appear. 2012. [pdf] [bib]
[JKNP12] J. Júlvez, M. Kwiatkowska, G. Norman and D. Parker. Evaluation of Sustained Stochastic Oscillations by Means of a System of Differential Equations. International Journal of Computers and Applications (IJCA). To appear. 2012. [pdf] [bib]

[JKNP11] J. Júlvez, M. Kwiatkowska, G. Norman and D. Parker. A Systematic Approach to Evaluate Sustained Stochastic Oscillations. In H. Al-Mubaid (editor) Proc. ISCA 3rd International Conference on Bioinformatics and Computational Biology (BICoB'11), pages 134-139, ISCA. March 2011. [pdf] [bib]

[KNP10a] M. Kwiatkowska, G. Norman and D. Parker. Probabilistic Model Checking for Systems Biology. In M. Sriram Iyengar (editor) Symbolic Systems Biology, pages 31-59, Jones and Bartlett. May 2010. [pdf] [bib]

[KNP09b] M. Kwiatkowska, G. Norman and D. Parker. Quantitative Verification Techniques for Biological Processes. In A. Condon, D. Harel, J. Kok, A. Salomaa and E. Winfree (editors) Algorithmic Bioprocesses, pages 391-409, Springer. August 2009. [pdf] [bib]
[KH09b] M. Kwiatkowska and J. Heath. Biological pathways as communicating computer systems. Journal of Cell Science, 122(16), pages 2793-2800. August 2009. [bib]

[GHK08] E. Gaffney, J. Heath and M. Kwiatkowska. A Mass Action Model of a Fibroblast Growth Factor Signaling Pathway and Its Simplification. Bulletin of Mathematical Biology, 70(8), pages 2229-2263. November 2008. [bib]
[TK08] O. Tymchyshyn and M. Kwiatkowska. Combining Intra- and Inter-cellular Dynamics to Investigate Intestinal Homeostasis. In Proc. Formal Methods in Systems Biology (FMSB'08), volume 5054 of Lecture Notes in Computer Science, Springer. June 2008. [pdf] [bib]
[KNP08a] M. Kwiatkowska, G. Norman and D. Parker. Using Probabilistic Model Checking in Systems Biology. ACM SIGMETRICS Performance Evaluation Review, 35(4), pages 14-21, Association for Computing Machinery. March 2008. [ps.gz] [pdf] [bib]
[Sch08] O. Schaeffer. On the use of process algebra techniques in computational modelling of cancer initiation and development. Ph.D. thesis, University of Birmingham. February 2008. [pdf] [bib]
[HKN+08] J. Heath, M. Kwiatkowska, G. Norman, D. Parker and O. Tymchyshyn. Probabilistic Model Checking of Complex Biological Pathways. Theoretical Computer Science (Special Issue on Converging Sciences: Informatics and Biology), 391(3), pages 239-257, Elsevier. February 2008. [ps.gz] [pdf] [bib]

[SUH+06] H. Sauro, A. Uhrmacher, D. Harel, M. Hucka, M. Kwiatkowska, P. Mendes, C. Shaffer, L. Stromback and J. Tyson. Challenges for modeling and simulation methods in systems biology. In L. Perrone, F. Wieland, J. Liu, B. Lawson, D. Nicol and R. Fujimoto (editors) Proc. 2006 Winter Simulation Conference, pages 1720-1730, IEEE. December 2006. [pdf] [bib]
[KNP+06] M. Kwiatkowska, G. Norman, D. Parker, O. Tymchyshyn, J. Heath and E. Gaffney. Simulation and Verification for Computational Modelling of Signalling Pathways. In Proc. 2006 Winter Simulation Conference, pages 1666-1674. December 2006. [ps.gz] [pdf] [bib]
[HKN+06] J. Heath, M. Kwiatkowska, G. Norman, D. Parker and O. Tymchyshyn. Probabilistic model checking of complex biological pathways. In C. Priami (editor) Proc. Computational Methods in Systems Biology (CMSB'06), volume 4210 of Lecture Notes in Bioinformatics, pages 32-47, Springer Verlag. October 2006. [ps.gz] [pdf] [bib]

Sort by: date, type, title