TTP: tool for tumor progression

Authors:
Johannes G. Reiter;Ivana Bozic;Krishnendu Chatterjee;Martin A. Nowak
Affiliations:
IST Austria (Institute of Science and Technology Austria), Klosterneuburg, Austria;Program for Evolutionary Dynamics, Harvard University, Cambridge and Department of Mathematics, Harvard University, Cambridge;IST Austria (Institute of Science and Technology Austria), Klosterneuburg, Austria;Program for Evolutionary Dynamics, Harvard University, Cambridge and Department of Mathematics, Harvard University, Cambridge and Department of Organismic and Evolutionary Biology, Harvard Univers ...
Venue:
CAV'13 Proceedings of the 25th international conference on Computer Aided Verification
Year:
2013

Citing 3
Cited 0

Toward Verified Biological Models

IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)
PRISM: a tool for automatic verification of probabilistic systems

TACAS'06 Proceedings of the 12th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Polynomial time algorithms for multi-type branching processesand stochastic context-free grammars

STOC '12 Proceedings of the forty-fourth annual ACM symposium on Theory of computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this work we present a flexible tool for tumor progression, which simulates the evolutionary dynamics of cancer. Tumor progression implements a multi-type branching process where the key parameters are the fitness landscape, the mutation rate, and the average time of cell division. The fitness of a cancer cell depends on the mutations it has accumulated. The input to our tool could be any fitness landscape, mutation rate, and cell division time, and the tool produces the growth dynamics and all relevant statistics.