TTP: Tool for tumor progression

Reiter, Johannes; Božić, Ivana; Chatterjee, Krishnendu; Nowak, Martin

TTP: Tool for tumor progression

Reiter J, Božić I, Chatterjee K, Nowak M. 2013. TTP: Tool for tumor progression. Proceedings of 25th Int. Conf. on Computer Aided Verification. CAV: Computer Aided VerificationLecture Notes in Computer Science, LNCS, vol. 8044, 101–106.

Download (ext.)

https://arxiv.org/abs/1303.5251 [Preprint]

DOI

10.1007/978-3-642-39799-8_6

Conference Paper | Published | English

Scopus indexed

Author

Reiter, Johannes^ISTA ; Božić, Ivana; Chatterjee, Krishnendu^ISTA ; Nowak, Martin

Department

Chatterjee Group

Grant

Quantitative Graph Games: Theory and Applications
Rigorous Systems Engineering
Modern Graph Algorithmic Techniques in Formal Verification
Microsoft Research Faculty Fellowship

Series Title

LNCS

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.

Publishing Year

2013

Date Published

2013-01-01

Proceedings Title

Proceedings of 25th Int. Conf. on Computer Aided Verification

Publisher

Springer

Volume

8044

Page

101 - 106

Conference

CAV: Computer Aided Verification

Conference Location

St. Petersburg, Russia

Conference Date

2013-07-13 – 2013-07-19

IST-REx-ID

2000

Cite this

Reiter J, Božić I, Chatterjee K, Nowak M. TTP: Tool for tumor progression. In: Proceedings of 25th Int. Conf. on Computer Aided Verification. Vol 8044. Lecture Notes in Computer Science. Springer; 2013:101-106. doi:10.1007/978-3-642-39799-8_6

Reiter, J., Božić, I., Chatterjee, K., & Nowak, M. (2013). TTP: Tool for tumor progression. In Proceedings of 25th Int. Conf. on Computer Aided Verification (Vol. 8044, pp. 101–106). St. Petersburg, Russia: Springer. https://doi.org/10.1007/978-3-642-39799-8_6

Reiter, Johannes, Ivana Božić, Krishnendu Chatterjee, and Martin Nowak. “TTP: Tool for Tumor Progression.” In Proceedings of 25th Int. Conf. on Computer Aided Verification, 8044:101–6. Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-39799-8_6.

J. Reiter, I. Božić, K. Chatterjee, and M. Nowak, “TTP: Tool for tumor progression,” in Proceedings of 25th Int. Conf. on Computer Aided Verification, St. Petersburg, Russia, 2013, vol. 8044, pp. 101–106.

Reiter, Johannes, et al. “TTP: Tool for Tumor Progression.” Proceedings of 25th Int. Conf. on Computer Aided Verification, vol. 8044, Springer, 2013, pp. 101–06, doi:10.1007/978-3-642-39799-8_6.

All files available under the following license(s):

Copyright Statement: