Expressive Statistical Model Checking of Genetic Networks with Delayed Stochastic Dynamics

Paolo Ballarini; Jarno Petteri Mäkelä; Andre Sanches Ribeiro

doi:10.1007/978-3-642-33636-2_4

Expressive Statistical Model Checking of Genetic Networks with Delayed Stochastic Dynamics

Julkaisun otsikon käännös: Expressive Statistical Model Checking of Genetic Networks with Delayed Stochastic Dynamics

Paolo Ballarini, Jarno Petteri Mäkelä, Andre Sanches Ribeiro

Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

5 Sitaatiot (Scopus)

Julkaisun otsikon käännös	Expressive Statistical Model Checking of Genetic Networks with Delayed Stochastic Dynamics
Alkuperäiskieli	Englanti
Otsikko	Computational Methods in Systems Biology. Proceedings of 10th International Conference, CMSB 2012, London, UK, October 3-5, 2012. Lecture Notes in Computer Science
Julkaisupaikka	Heidelberg
Kustantaja	Springer
Sivut	29-48
ISBN (elektroninen)	978-3-642-33636-2
ISBN (painettu)	978-3-642-33635-5
DOI - pysyväislinkit	https://doi.org/10.1007/978-3-642-33636-2_4
Tila	Julkaistu - 2012
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisussa

Julkaisusarja

Nimi	International Conference on Computational Methods in Systems Biology
Vuosikerta	7605
ISSN (painettu)	0302-9743
ISSN (elektroninen)	1611-3349

Julkaisufoorumi-taso

Jufo-taso 1

Pääsy asiakirjaan

10.1007/978-3-642-33636-2_4

Siteeraa tätä

Ballarini, P., Mäkelä, J. P., & Sanches Ribeiro, A. (2012). Expressive Statistical Model Checking of Genetic Networks with Delayed Stochastic Dynamics. teoksessa Computational Methods in Systems Biology. Proceedings of 10th International Conference, CMSB 2012, London, UK, October 3-5, 2012. Lecture Notes in Computer Science (Sivut 29-48). (International Conference on Computational Methods in Systems Biology; Vuosikerta 7605). Springer. https://doi.org/10.1007/978-3-642-33636-2_4

Ballarini, Paolo ; Mäkelä, Jarno Petteri ; Sanches Ribeiro, Andre. / Expressive Statistical Model Checking of Genetic Networks with Delayed Stochastic Dynamics. Computational Methods in Systems Biology. Proceedings of 10th International Conference, CMSB 2012, London, UK, October 3-5, 2012. Lecture Notes in Computer Science. Heidelberg : Springer, 2012. Sivut 29-48 (International Conference on Computational Methods in Systems Biology).

@inproceedings{05db5e20140c4f6fb7a2ba687a094389,

title = "Expressive Statistical Model Checking of Genetic Networks with Delayed Stochastic Dynamics",

author = "Paolo Ballarini and M{\"a}kel{\"a}, \{Jarno Petteri\} and \{Sanches Ribeiro\}, Andre",

note = "Ei viel{\"a} UT-numeroa 9.8.2013<br/>Contribution: organisation=sgn,FACT1=1<br/>Publisher name: Springer",

year = "2012",

doi = "10.1007/978-3-642-33636-2\_4",

language = "English",

isbn = "978-3-642-33635-5",

series = "International Conference on Computational Methods in Systems Biology",

publisher = "Springer",

pages = "29--48",

booktitle = "Computational Methods in Systems Biology. Proceedings of 10th International Conference, CMSB 2012, London, UK, October 3-5, 2012. Lecture Notes in Computer Science",

}

Ballarini, P, Mäkelä, JP & Sanches Ribeiro, A 2012, Expressive Statistical Model Checking of Genetic Networks with Delayed Stochastic Dynamics. julkaisussa Computational Methods in Systems Biology. Proceedings of 10th International Conference, CMSB 2012, London, UK, October 3-5, 2012. Lecture Notes in Computer Science. International Conference on Computational Methods in Systems Biology, Vuosikerta 7605, Springer, Heidelberg, Sivut 29-48. https://doi.org/10.1007/978-3-642-33636-2_4

Expressive Statistical Model Checking of Genetic Networks with Delayed Stochastic Dynamics. / Ballarini, Paolo; Mäkelä, Jarno Petteri; Sanches Ribeiro, Andre.
Computational Methods in Systems Biology. Proceedings of 10th International Conference, CMSB 2012, London, UK, October 3-5, 2012. Lecture Notes in Computer Science. Heidelberg: Springer, 2012. s. 29-48 (International Conference on Computational Methods in Systems Biology; Vuosikerta 7605).

Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

TY - GEN

T1 - Expressive Statistical Model Checking of Genetic Networks with Delayed Stochastic Dynamics

AU - Ballarini, Paolo

AU - Mäkelä, Jarno Petteri

AU - Sanches Ribeiro, Andre

N1 - Ei vielä UT-numeroa 9.8.2013<br/>Contribution: organisation=sgn,FACT1=1<br/>Publisher name: Springer

PY - 2012

Y1 - 2012

U2 - 10.1007/978-3-642-33636-2_4

DO - 10.1007/978-3-642-33636-2_4

M3 - Conference contribution

SN - 978-3-642-33635-5

T3 - International Conference on Computational Methods in Systems Biology

SP - 29

EP - 48

BT - Computational Methods in Systems Biology. Proceedings of 10th International Conference, CMSB 2012, London, UK, October 3-5, 2012. Lecture Notes in Computer Science

PB - Springer

CY - Heidelberg

ER -

Ballarini P, Mäkelä JP, Sanches Ribeiro A. Expressive Statistical Model Checking of Genetic Networks with Delayed Stochastic Dynamics. julkaisussa Computational Methods in Systems Biology. Proceedings of 10th International Conference, CMSB 2012, London, UK, October 3-5, 2012. Lecture Notes in Computer Science. Heidelberg: Springer. 2012. s. 29-48. (International Conference on Computational Methods in Systems Biology). doi: 10.1007/978-3-642-33636-2_4