UNIVERSITY of GLASGOW

Computing at Glasgow University
 

Publications for '- no address book entry -' ordered by Year. (8)

2009 2008 2006 2005

2009

Formal methods for biochemical signalling pathways
Calder,M. Gilmore,S. Hillston,J. Vyshemirsky,V. Formal Methods: State of the Art and New Directions Springer [More Details].

2008

BioBayes: A Software Package for Bayesian Inference in Systems Biology
Vyshemirsky,V. Girolami,M. Bioinformatics Oxford University Press [More Details].

Bayesian Ranking of Biochemical System Models
Vyshemirsky,V. Girolami,M. Bioinformatics Oxford University Press [More Details].

2006

A Bayesian analysis of the ERK signalling pathway
Vyshemirsky,V. Girolami,M. Gormand,A. Kolch,W. Department of Computing Science Technical Reports pp 1--34 [More Details].

Analysis of Signalling Pathways using Continuous Time Markov Chains
Calder,M. Vyshemirsky,V. Gilbert,D. Orton,R. Trans.on Computat. Syst. Biol. VI, volume 4220 pp 44-67 Springer Verlag [More Details].

Computational methodologies for modelling, analysis and simulation of signalling networks
Gilbert,D. Fuß,H. Gu,X. Orton,R. Robinson,S. Vyshemirsky,V. Kurth,M.J. Downes,C.S. Dubitzky,W. Briefings in Bioinformatics Oxford University Press [More Details].

2005

Analysis of Signalling Pathways using the Prism Model Checker
Calder,M. Vyshemirsky,V. Gilbert,D. Orton,R. Proceedings of Third International CMSB 2005 (Computational Methods in Systems Biology). pp 179-190 University of Edinburgh [More Details].

Computational Modelling of the Receptor Tyrosine Kinase Activated MAPK Pathway
Orton,R.J. Sturm,O. Vyshemirsky,V. Calder,M. Gilbert,D.R. Kolch,W. Biochemical Journal, Volume 392 pp 249--261 [More Details].