Biology

Computing

Bolchini, D., A.Finkelstein, et al. (2009). "Better Bioinformatics Through Usability Analysis." Bioinformatics To appear.


Morales, L. E. M., M. I. Capel-Tuñón, et al. (2009). Compositional Model-Checking Verification of Critical Systems. Enterprise Information Systems X ” (EIS -ICEIS best-papers) Springer.


Morales, L. E. M., M. I. Capel-Tuñón, et al. (2008). A Conceptual Scheme for Compositional Model-Checking Verification of Critical Communicating Systems. Tenth International Conference on Enterprise Information Systems ICEIS.


Benghazi-Akhlaki, K., M. I. Capel-Tuñón, et al. (2007). "A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models." Science of Computer Programming 65(1): 41-56.


Hetherington, J., I. Bogle, et al. (2007). "Addressing the Challenges of Multiscale Model Management in Systems Biology " Computers and Chemical Engineering (7th World Congress of Chemical Engineering) 31(8): 962-979.


Saffrey, P., O. Margoninski, et al. (2007). "End-to-End Information Management for Systems Biology." Transactions on Computational Systems Biology VIII(LNBI 4780): 77-91.


Sun, Z., A. Finkelstein, et al. (2007). Using Ontology with Semantic Web Services to Support Modeling in Systems Biology. International Workshop on Approaches and Architectures for Web Data Integration and Mining in Life Sciences (WebDIM4LS), Nancy, France, Springer.


Margoninski, O., P. Saffrey, et al. (2006). "A Specification Language and a Framework for the Execution of Composite Models in Systems Biology." LNCS Transactions on Computational Systems Biology VII (LNBI 4230).


Finkelstein, A., J. Hetherington, et al. (2004). "Computational Challenges of Systems Biology." IEEE Computer 37(5): 26-33.


Wright, R., M. V. Rey, et al. (2004). "A New Framework for Integration of Models in Biology (abstract)." The Journal of Physiology 561P(PC31).


Barranco, M. J. H. and M. I. C. Tuñón (2002). "On-the-fly model checking from interval logic specifications." SIGPLAN Notices 37(12): 108-119.


Mathematics

Kelsey, J., Henderson, B., Seymour, R.M. (2008). A Stochastic Model of the Interleukin (IL) -1β network. Proceedings of the 5th International Conference on Artificial Immune Systems: ICARIS-2008 (in press).


Li, L., Seymour, R.M., Baigent, S. (2008). Integrating Biosystem Models using Waveform Relaxation. EURASIP Journal on Bioinformatics and Systems Biology. Available online: doi:10.1155/2008/308623


Hetherington, J., Warner, A., Seymour, R.M. (2006). Simplification and its consequences in biological modelling: conclusions from a study of calcium oscillations in hepatocytes. J. R. Soc. Interface 3, 319-331


MacCarthy, T., Pominakowski, A., Seymour, R.M. (2005). Using large-scale perturbations in gene network reconstruction. BMC Bioinformatics 6:11. http://www.biomedcentral.com/bmcbioinformatics/


Jit, M., Henderson B., Stevens M., Seymour, R.M. (2005). TNFα Neutralisation in Cytokine-Driven Diseases: A Mathematical Model to account for Therapeutic Success in Rheumatoid Arthritis but Therapeutic Failure in Systemic Inflammatory Response Syndrome. Rheumatology (Oxford) 44, 323-331.


Seymour R.M. & Henderson, B. (2001). Pro-inflammatory - anti-inflammatory cytokine dynamics mediated by cytokine-receptor dynamics in monocytes. Mathematical Medicine and Biology, 18(2), 159-192