A service-oriented architecture for integrating the modeling and formal verification of genetic regulatory networks (Q33521361)

27 July 2017

1 reference

title

A service-oriented architecture for integrating the modeling and formal verification of genetic regulatory networks. (English)

1 reference

27 July 2017

Pedro T Monteiro

1

0 references

Ana T. Freitas

object named as

Ana T Freitas

6

0 references

Radu Mateescu

4

object named as

Radu Mateescu

1 reference

27 July 2017

7

Hidde de Jong

1 reference

27 July 2017

Estelle Dumas

2

1 reference

27 July 2017

Bruno Besson

3

1 reference

27 July 2017

Michel Page

5

1 reference

27 July 2017

publication date

30 December 2009

1 reference

27 July 2017

1 reference

27 July 2017

volume

10

1 reference

27 July 2017

page(s)

450

1 reference

The gene regulatory network basis of the "community effect," and analysis of a sea urchin embryo example

27 July 2017

cites work

1 reference

https://eutils.ncbi.nlm.nih.gov/entrez/eutils/elink.fcgi?dbfrom=pmc&linkname=pmc_refs_pubmed&retmode=json&id=2813247

Logical modelling of regulatory networks with GINsim 2.3.

28 July 2018

1 reference

https://eutils.ncbi.nlm.nih.gov/entrez/eutils/elink.fcgi?dbfrom=pmc&linkname=pmc_refs_pubmed&retmode=json&id=2813247

Input-output behavior of ErbB signaling pathways as revealed by a mass action model trained against dynamic data

28 July 2018

1 reference

https://eutils.ncbi.nlm.nih.gov/entrez/eutils/elink.fcgi?dbfrom=pmc&linkname=pmc_refs_pubmed&retmode=json&id=2813247

Architecture and inherent robustness of a bacterial cell-cycle control system

28 July 2018

1 reference

https://eutils.ncbi.nlm.nih.gov/entrez/eutils/elink.fcgi?dbfrom=pmc&linkname=pmc_refs_pubmed&retmode=json&id=2813247

Topology of the global regulatory network of carbon limitation in Escherichia coli

28 July 2018

1 reference

https://eutils.ncbi.nlm.nih.gov/entrez/eutils/elink.fcgi?dbfrom=pmc&linkname=pmc_refs_pubmed&retmode=json&id=2813247

Identification of regulatory network topological units coordinating the genome-wide transcriptional response to glucose in Escherichia coli

28 July 2018

1 reference

https://eutils.ncbi.nlm.nih.gov/entrez/eutils/elink.fcgi?dbfrom=pmc&linkname=pmc_refs_pubmed&retmode=json&id=2813247

Predictive modeling of signaling crosstalk during C. elegans vulval development

28 July 2018

1 reference

https://eutils.ncbi.nlm.nih.gov/entrez/eutils/elink.fcgi?dbfrom=pmc&linkname=pmc_refs_pubmed&retmode=json&id=2813247

Integrative model of the response of yeast to osmotic shock

28 July 2018

1 reference

https://eutils.ncbi.nlm.nih.gov/entrez/eutils/elink.fcgi?dbfrom=pmc&linkname=pmc_refs_pubmed&retmode=json&id=2813247

Validation of qualitative models of genetic regulatory networks by model checking: analysis of the nutritional stress response in Escherichia coli

28 July 2018

1 reference

https://eutils.ncbi.nlm.nih.gov/entrez/eutils/elink.fcgi?dbfrom=pmc&linkname=pmc_refs_pubmed&retmode=json&id=2813247

Application of Petri net theory for modelling and validation of the sucrose breakdown pathway in the potato tuber

28 July 2018

1 reference

https://eutils.ncbi.nlm.nih.gov/entrez/eutils/elink.fcgi?dbfrom=pmc&linkname=pmc_refs_pubmed&retmode=json&id=2813247

Integrative analysis of cell cycle control in budding yeast

28 July 2018

1 reference

https://eutils.ncbi.nlm.nih.gov/entrez/eutils/elink.fcgi?dbfrom=pmc&linkname=pmc_refs_pubmed&retmode=json&id=2813247

The yeast cell-cycle network is robustly designed

28 July 2018

1 reference

https://eutils.ncbi.nlm.nih.gov/entrez/eutils/elink.fcgi?dbfrom=pmc&linkname=pmc_refs_pubmed&retmode=json&id=2813247

A detailed predictive model of the mammalian circadian clock

28 July 2018

1 reference

https://eutils.ncbi.nlm.nih.gov/entrez/eutils/elink.fcgi?dbfrom=pmc&linkname=pmc_refs_pubmed&retmode=json&id=2813247

Model building and model checking for biochemical processes

28 July 2018

1 reference

https://eutils.ncbi.nlm.nih.gov/entrez/eutils/elink.fcgi?dbfrom=pmc&linkname=pmc_refs_pubmed&retmode=json&id=2813247

Toward a detailed computational model for the mammalian circadian clock

28 July 2018

1 reference

https://eutils.ncbi.nlm.nih.gov/entrez/eutils/elink.fcgi?dbfrom=pmc&linkname=pmc_refs_pubmed&retmode=json&id=2813247

Modeling and simulation of genetic regulatory systems: a literature review

28 July 2018

1 reference

https://eutils.ncbi.nlm.nih.gov/entrez/eutils/elink.fcgi?dbfrom=pmc&linkname=pmc_refs_pubmed&retmode=json&id=2813247

Probabilistic Boolean Networks: a rule-based uncertainty model for gene regulatory networks

28 July 2018

1 reference

https://eutils.ncbi.nlm.nih.gov/entrez/eutils/elink.fcgi?dbfrom=pmc&linkname=pmc_refs_pubmed&retmode=json&id=2813247

Model Reduction Using Piecewise-Linear Approximations Preserves Dynamic Properties of the Carbon Starvation Response in Escherichia coli

28 July 2018

1 reference

https://eutils.ncbi.nlm.nih.gov/entrez/eutils/elink.fcgi?dbfrom=pmc&linkname=pmc_refs_pubmed&retmode=json&id=2813247

Catabolite repression in Escherichia coli- a comparison of modelling approaches

31 October 2018

1 reference

https://eutils.ncbi.nlm.nih.gov/entrez/eutils/elink.fcgi?dbfrom=pmc&linkname=pmc_refs_pubmed&retmode=json&id=2813247

Temporal logic patterns for querying dynamic models of cellular interaction networks

31 October 2018

1 reference

https://eutils.ncbi.nlm.nih.gov/entrez/eutils/elink.fcgi?dbfrom=pmc&linkname=pmc_refs_pubmed&retmode=json&id=2813247

Formulating genome-scale kinetic models in the post-genome era.

31 October 2018

1 reference

https://eutils.ncbi.nlm.nih.gov/entrez/eutils/elink.fcgi?dbfrom=pmc&linkname=pmc_refs_pubmed&retmode=json&id=2813247

A logical model provides insights into T cell receptor signaling

31 October 2018

1 reference

https://eutils.ncbi.nlm.nih.gov/entrez/eutils/elink.fcgi?dbfrom=pmc&linkname=pmc_refs_pubmed&retmode=json&id=2813247

BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge

31 October 2018

1 reference

https://eutils.ncbi.nlm.nih.gov/entrez/eutils/elink.fcgi?dbfrom=pmc&linkname=pmc_refs_pubmed&retmode=json&id=2813247

Qualitative simulation of the carbon starvation response in Escherichia coli.

31 October 2018

1 reference

https://eutils.ncbi.nlm.nih.gov/entrez/eutils/elink.fcgi?dbfrom=pmc&linkname=pmc_refs_pubmed&retmode=json&id=2813247

Genetic Network Analyzer: qualitative simulation of genetic regulatory networks.

31 October 2018

1 reference

https://eutils.ncbi.nlm.nih.gov/entrez/eutils/elink.fcgi?dbfrom=pmc&linkname=pmc_refs_pubmed&retmode=json&id=2813247

Dynamical behaviour of biological regulatory networks--I. Biological role of feedback loops and practical use of the concept of the loop-characteristic state

31 October 2018

1 reference

https://eutils.ncbi.nlm.nih.gov/entrez/eutils/elink.fcgi?dbfrom=pmc&linkname=pmc_refs_pubmed&retmode=json&id=2813247

Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logic

31 October 2018

1 reference

PubMed

https://pubmed.ncbi.nlm.nih.gov/20042075

inferred from PubMed ID database lookup

12 December 2020

based on heuristic

The logical analysis of continuous, non-linear biochemical control networks

1 reference

PubMed

https://pubmed.ncbi.nlm.nih.gov/20042075

inferred from PubMed ID database lookup

12 December 2020

based on heuristic

Robustness analysis and tuning of synthetic gene networks

1 reference

PubMed

https://pubmed.ncbi.nlm.nih.gov/20042075

inferred from PubMed ID database lookup

12 December 2020

based on heuristic

Identifiers

DOI

10.1186/1471-2105-10-450

1 reference

journals/bmcbi/MonteiroDBMPFJ09

27 July 2017

DBLP publication ID

1 reference

DBLP Dataset 2021-01-02

Dimensions Publication ID

28 January 2021

0 references

1 reference

27 July 2017

1 reference