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]
-
[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]
-
[DKTT15]
F. Dannenberg, M. Kwiatkowska, C. Thachuk and A. J.Turberfield.
DNA walker circuits: Computational potential, design, and verification.
Natural Computing, 14(2), pages 195-211, Springer.
2015.
[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]
-
[KH09b]
M. Kwiatkowska and J. Heath.
Biological pathways as communicating computer systems.
Journal of Cell Science, 122(16), pages 2793-2800.
August 2009.
[bib]
http://jcs.biologists.org/cgi/content/abstract/122/16/2793
-
[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/
-
[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]
-
[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]
-
[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]
-
[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]
-
[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]
-
[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]
-
[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
