Concretizing the process hitting into biological regulatory networks

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 7605 LNBI, Issue , 2012, Pages 166-186

  Folschette, Maxime ^a,b   Paulevé, Loïc ^c   Inoue, Katsumi ^b   Magnin, Morgan ^a   Roux, Olivier ^a  

^a ECOLE CENTRALE DE NANTES   (France)

^b NATIONAL INSTITUTE OF INFORMATICS   (Japan)

^c ÉCOLE POLYTECHNIQUE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ANSWER SET PROGRAMMING; COMBINATORICS; CONCURRENT PROCESS; FORMAL ANALYSIS; INCOMPLETE KNOWLEDGE; INTERACTION GRAPHS; LARGE SYSTEM; PARAMETRIZATIONS; PARTIAL KNOWLEDGE; PH MODEL; QUALITATIVE MODELING; REGULATORY NETWORK;

LOGIC PROGRAMMING;

COMPUTATIONAL METHODS;

EID: 84867843835     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-33636-2_11     Document Type: Conference Paper

References (19)

1. Thomas, R.: Boolean formalization of genetic control circuits. Journal of Theoretical Biology 42(3), 563-585 (1973)
2. Richard, A., Comet, J.P.: Necessary conditions for multistationarity in discrete dynamical systems. Discrete Applied Mathematics 155(18), 2403-2413 (2007)
3. Remy, É., Ruet, P., Thieffry, D.: Graphic requirements for multistability and attractive cycles in a boolean dynamical framework. Advances in Applied Mathematics 4(3), 335-350 (2008)
4. Naldi, A., Remy, E., Thieffry, D., Chaouiya, C.: A Reduction of Logical Regulatory Graphs Preserving Essential Dynamical Properties. In: Degano, P., Gorrieri, R. (eds.) CMSB 2009. LNCS, vol. 5688, pp. 266-280. Springer, Heidelberg (2009)
5. Richard, A., Comet, J.P., Bernot, G.: Formal Methods for Modeling Biological Regulatory Networks. In: Modern Formal Methods and App., pp. 83-122 (2006)
6. Naldi, A., Thieffry, D., Chaouiya, C.: Decision diagrams for the representation and analysis of logical models of genetic networks. In: Calder, M., Gilmore, S. (eds.) CMSB 2007. LNCS (LNBI), vol. 4695, pp. 233-247. Springer, Heidelberg (2007)
7. Siebert, H., Bockmayr, A.: Incorporating Time Delays into the Logical Analysis of Gene Regulatory Networks. In: Priami, C. (ed.) CMSB 2006. LNCS (LNBI), vol. 4210, pp. 169-183. Springer, Heidelberg (2006)
8. Ahmad, J., Roux, O., Bernot, G., Comet, J.P., Richard, A.: Analysing formal models of genetic regulatory networks with delays. International Journal of Bioinformatics Research and Applications (IJBRA) 4(2) (2008)
9. Twardziok, S., Siebert, H., Heyl, A.: Stochasticity in reactions: a probabilistic boolean modeling approach. In: Computational Methods in Systems Biology, pp. 76-85. ACM (2010)
10. Paulevé, L., Magnin, M., Roux, O.: Refining Dynamics of Gene Regulatory Networks in a Stochastic π-Calculus Framework. In: Priami, C., Back, R.-J., Petre, I., de Vink, E. (eds.) Transactions on Computational Systems Biology XIII. LNCS, vol. 6575, pp. 171-191. Springer, Heidelberg (2011)
11. Paulevé, L., Magnin, M., Roux, O.: Static analysis of biological regulatory networks dynamics using abstract interpretation. Mathematical Structures in Computer Science (2012) (in press) (preprint), http://loicpauleve.name/mscs.pdf
12. Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press (2003)
13. Khalis, Z., Comet, J.P., Richard, A., Bernot, G.: The SMBioNet method for discovering models of gene regulatory networks. Genes, Genomes and Genomics 3(special issue 1), 15-22 (2009)
14. Corblin, F., Fanchon, E., Trilling, L.: Applications of a formal approach to decipher discrete genetic networks. BMC Bioinformatics 1(1), 385 (2010)
15. Corblin, F., Fanchon, E., Trilling, L., Chaouiya, C., Thieffry, D.: Automatic Inference of Regulatory and Dynamical Properties from Incomplete Gene Interaction and Expression Data. In: Lones, M.A., Smith, S.L., Teichmann, S., Naef, F., Walker, J.A., Trefzer, M.A. (eds.) IPCAT 2012. LNCS, vol. 7223, pp. 25-30. Springer, Heidelberg (2012)
16. Bernot, G., Cassez, F., Comet, J.P., Delaplace, F., Müller, C., Roux, O.: Semantics of biological regulatory networks. Electronic Notes in Theoretical Computer Science 180(3), 3-14 (2007)
17. Sahin, O., Frohlich, H., Lobke, C., Korf, U., Burmester, S., Majety, M., Mattern, J., Schupp, I., Chaouiya, C., Thieffry, D., Poustka, A., Wiemann, S., Beissbarth, T., Arlt, D.: Modeling ERBB receptor-regulated G1/S transition to find novel targets for de novo trastuzumab resistance. BMC Systems Biology 3(1) (2009)
18. Klamt, S., Saez-Rodriguez, J., Lindquist, J., Simeoni, L., Gilles, E.: A methodology for the structural and functional analysis of signaling and regulatory networks. BMC Bioinformatics 7(1), 56 (2006)
19. Bernot, G., Comet, J.P., Khalis, Z.: Gene regulatory networks with multiplexes. In: European Simulation and Modelling Conference Proceedings, pp. 423-432 (2008)