In silico modelling and analysis of ribosome kinetics and aa-tRNA competition

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review


We present a formal analysis of ribosome kinetics using probabilistic model checking and the tool Prism. We compute different parameters of the model, like probabilities of translation errors and average insertion times per codon. The model predicts strong correlation to the quotient of the concentrations of the socalled cognate and near-cognate tRNAs, in accord with experimental findings and other studies. Using piecewise analysis of the model, we are able to give an analytical explanation of this observation.
Original languageEnglish
Title of host publicationProceedings of COMPMOD 2008 ( Workshop on Computational Models for Cell Processes, Turku, Finland, May 27, 2008)
EditorsR.J. Back, I. Petre
Place of PublicationTurku, Finland
PublisherTurku Centre for Computer Science
Publication statusPublished - 2008

Publication series

NameTUCS General Publications
ISSN (Print)1239-1905

Fingerprint Dive into the research topics of 'In silico modelling and analysis of ribosome kinetics and aa-tRNA competition'. Together they form a unique fingerprint.

Cite this