Biology-Related Publications
Sort by: date, type, title
11 publications:
-
[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.
[ps.gz]
[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]
-
[KNP09e]
M. Kwiatkowska, G. Norman and D. Parker.
Probabilistic Model Checking for Systems Biology.
In Symbolic Systems Biology, Jones and Bartlett. To appear.
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.
February 2008.
[ps.gz]
[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 L. F. Perrone, F. P. Wieland, J. Liu, B. G. Lawson, D. M. Nicol, and R. M. Fujimoto (editors) Proceedings of the 2006 Winter Simulation Conference, pages 1666-1674, Winter Simulation Conference.
December 2006.
[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]
-
[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