Biology-Related Publications
Sort by: date, type, title
18 publications:
-
[KT14]
M. Kwiatkowska and C. Thachuk.
Probabilistic Model Checking for Biology.
In Software Safety and Security, volume 36 of NATO Science for Peace and Security Series - D: Information and Communication Security, pages 165-189, IOS Press.
2014.
[pdf]
[bib]
-
[DHK13]
F. Dannenberg, E. M. Hahn and M. Kwiatkowska.
Computing Cumulative Rewards using Fast Adaptive Uniformisation.
In Proc. 11th Conference on Computational Methods in Systems Biology (CMSB'13), volume 8130 of LNCS, pages 33-49, Springer.
2013.
[pdf]
[bib]
-
[DKTT13]
F. Dannenberg, M. Kwiatkowska, C. Thachuk and A. J. Turberfield.
DNA Walker Circuits: Computational Potential, Design, and Verification.
In Proc. 19th International Conference on DNA Computing and Molecular Programming (DNA 19), volume 8141 of LNCS, pages 31-45, Springer.
2013.
[pdf]
[bib]
-
[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, 9(72), pages 1470-1485.
July 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), 19(2), pages 101-111, ISCA.
June 2012.
[pdf]
[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]
http://www.springerlink.com/content/p66j111082836074/
-
[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