Access the full text.
Sign up today, get DeepDyve free for 14 days.
Fabien Corblin, E. Fanchon, Laurent Trilling (2010)
Applications of a formal approach to decipher discrete genetic networksBMC Bioinformatics, 11
J. Goguen, R. Burstall (1992)
Institutions: abstract model theory for specification and programmingJ. ACM, 39
F. Jacob, J. Monod (1961)
Genetic regulatory mechanisms in the synthesis of proteins.Journal of molecular biology, 3
C. Giacomantonio, G. Goodhill (2010)
A Boolean Model of the Gene Regulatory Network Underlying Mammalian Cortical Area DevelopmentPLoS Computational Biology, 6
Federica Ciocchetta, J. Hillston (2008)
Formal Methods for Computational Systems Biology
Grande Voie des Vignes -F-92295 Châtenay-Malabry Programme d'Epigénomique
M. Mabrouki, M. Aiguier, J.P. Comet, P. Le Gall (2008)
Lecture Notes in Computer Science, vol. 5147
H. Jong (2002)
Modeling and Simulation of Genetic Regulatory Systems: A Literature ReviewJ. Comput. Biol., 9
Radu Mateescu, M. Sighireanu (2003)
Efficient on-the-fly model-checking for regular alternation-free mu-calculusSci. Comput. Program., 46
R. Barbuti, G. Caravagna, A. Maggiolo-Schettini, P. Milazzo, G. Pardini (2008)
The Calculus of Looping Sequences
H. Wehrheim (2003)
Inheritance of Temporal Logic Properties
R. Nicola, F. Vaandrager (1990)
Three logics for branching bisimulation[1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science
M. Aiguier, P. Gall, M. Mabrouki (2008)
A Formal Definition of Complex Software2008 The Third International Conference on Software Engineering Advances
Henri Desbruères -F-91030 Evry e-mail: pascale.legall@ecp.fr
Fabien Corblin, S. Tripodi, E. Fanchon, D. Ropers, Laurent Trilling (2009)
A declarative constraint-based method for analyzing discrete genetic regulatory networksBio Systems, 98 2
E. Hannum (1934)
PROOFFrancis W. Parker School Studies in Education, 10
(2013)
F-06903 Sophia-Antipolis e-mail: richard@unice.fr hal-00782867
(2001)
and C
D. Mateus, J. Gallois, J. Comet, P. Gall (2007)
Symbolic Modeling of Genetic Regulatory NetworksJournal of bioinformatics and computational biology, 5 2B
R. Thomas, R. d’Ari (1990)
Biological Feedback
E. Emerson (1991)
Temporal and Modal Logic
W. Thomas (1990)
Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics
R. Glabbeek, W. Weijland, J. Klop, J.J.C. Meijer, J. Rutten (1989)
Refinement in branching time semanticsThe New England Journal of Medicine
H. Jong, J. Geiselmann, Céline Hernandez, M. Page (2003)
Genetic Network Analyzer: qualitative simulation of genetic regulatory networksBioinformatics, 19 3
Denis Thieffry (1999)
From global expression data to gene networks.BioEssays : news and reviews in molecular, cellular and developmental biology, 21 11
M. Aiguier, P. Gall, M. Mabrouki (2009)
Complex software systems : Formalization and Applications, 2
Z. Khalis, J. Comet, A. Richard, G. Bernot (2009)
The SMBioNet Method for Discovering Models of Gene Regulatory Networks
René Thomas (1978)
Logical analysis of systems comprising feedback loops.Journal of theoretical biology, 73 4
H. Jong, J. Gouzé, Céline Hernandez, M. Page, T. Sari, J. Geiselmann (2004)
Qualitative simulation of genetic regulatory networks using piecewise-linear modelsBulletin of Mathematical Biology, 66
M. Mabrouki, M. Aiguier, J. Comet, P. Gall (2008)
Property Preservation along Embedding of Biological Regulatory Networks
Grégory Batt, C. Belta, Ron Weiss (2008)
Temporal Logic Analysis of Gene Networks Under Parameter UncertaintyIEEE Transactions on Automatic Control, 53
T. Cormen (2001)
Introduction to algorithms [2nd ed.]
χ = π U π ′
χ = a , with a ∈ Atom ( G ) : as s ′ ∈ B ′ ( s ) , we have ( p, s ) | = χ iff ( p ′ , s ′ ) | = ¯ σ ( χ ) . (2) χ = ¬ a , with a ∈ Atom ( G ) : deduced from (1
L. Glass, S. Kauffman (1973)
The logical analysis of continuous, non-linear biochemical control networks.Journal of theoretical biology, 39 1
T. Schlitt, A. Brazma (2007)
Current approaches to gene regulatory network modellingBMC Bioinformatics, 8
Grégory Batt, D. Ropers, H. Jong, J. Geiselmann, Radu Mateescu, M. Page, D. Schneider (2005)
Validation of qualitative models of genetic regulatory networks by model checking: analysis of the nutritional stress response in Escherichia coliBioinformatics, 21 Suppl 1
E.A. Emerson (1990)
Handbook of theoretical computer science, volume b: formal models and semantics ch. Temporal and modal logic
S. Gama-Castro, Heladia Salgado, Martín Peralta-Gil, Alberto Santos-Zavaleta, Luis Muñiz-Rascado, Hilda Solano-Lira, V. Jiménez-Jacinto, V. Weiss, J. García-Sotelo, Alejandra López-Fuentes, Liliana Porrón-Sotelo, Shirley Alquicira-Hernández, A. Medina-Rivera, Irma Martínez-Flores, Kevin Alquicira-Hernández, Ruth Martínez-Adame, César Bonavides-Martínez, J. Miranda-Ríos, Araceli Huerta, A. Mendoza-Vargas, L. Collado-Torres, B. Taboada, L. Vega-Alvarado, Maricela Olvera, L. Olvera, R. Grande, E. Morett, J. Collado-Vides (2010)
RegulonDB version 7.0: transcriptional regulation of Escherichia coli K-12 integrated within genetic sensory response units (Gensor Units)Nucleic Acids Research, 39
H. Siebert (2009)
Deriving Behavior of Boolean Bioregulatory Networks from Subnetwork DynamicsMathematics in Computer Science, 2
we consider the case of the path formulas
T.H. Cormen, C.E. Leiserson, R.L. Rivest, C. Stein (2001)
Introduction to Algorithms
G. Bernot, F. Tahi (2009)
Behaviour Preservation of a Biological Regulatory Network when Embedded into a Larger NetworkFundam. Informaticae, 91
F. Fages, S. Soliman (2008)
Formal Cell Biology in Biocham
G. Bernot, J. Comet, A. Richard, J. Guespin (2004)
Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logic.Journal of theoretical biology, 229 3
In the course of understanding biological regulatory networks (BRN), scientists usually start by studying small BRNs that they believe to be of particular importance to represent a biological function, and then, embed them in a larger network. Such a reduction can lead to neglect relevant regulations and to study a network whose properties can be very different from the properties of this network viewed as a part of the whole. In this paper we study, from a logical point of view, on which conditions concerning both networks, properties can be inherited by BRNs from sub-BRNs. We give some conditions on the nature of the network embeddings ensuring that dynamic properties on the embedded sub-BRNs are preserved at the level of the whole BRN.
Mathematics in Computer Science – Springer Journals
Published: Nov 27, 2011
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.