Chemical reaction network structure and the stability of complex isothermal reactors???I. The deficiency zero and deficiency one theorems, Chemical Engineering Science, vol.42, issue.10, pp.2229-2268, 1987. ,
DOI : 10.1016/0009-2509(87)80099-4
Systems Biology: A Brief Overview, Science, vol.295, issue.5560, pp.1662-1664, 2002. ,
DOI : 10.1126/science.1069492
COPASI--a COmplex PAthway SImulator, Copasi?a complex pathway simulator, pp.3067-3074, 2006. ,
DOI : 10.1093/bioinformatics/btl485
BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge, Bioinformatics, vol.22, issue.14, pp.1805-1807, 2006. ,
DOI : 10.1093/bioinformatics/btl172
URL : https://hal.archives-ouvertes.fr/hal-01431364
Rule-based modeling of transcriptional attenuation at the tryptophan operon, Transactions on Computational Systems Biology XII, pp.199-228, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-00445565
Deterministic Limit of Stochastic Chemical Kinetics, The Journal of Physical Chemistry B, vol.113, issue.6, pp.1640-1644, 2009. ,
DOI : 10.1021/jp806431b
Modeling and Simulation of Genetic Regulatory Systems: A Literature Review, Journal of Computational Biology, vol.9, issue.1 ,
DOI : 10.1089/10665270252833208
URL : https://hal.archives-ouvertes.fr/inria-00072606
Systems biology: parameter estimation for biochemical models, FEBS Journal, vol.7, issue.4, pp.886-902, 2009. ,
DOI : 10.1111/j.1742-4658.2008.06844.x
Symbolic Model Checking of Biochemical Networks, Computational Methods in Systems Biology, First International Workshop, CMSB 2003 Proceedings, pp.149-162, 2003. ,
DOI : 10.1007/3-540-36481-1_13
TOWARDS REAL-TIME CONTROL OF GENE EXPRESSION: CONTROLLING THE HOG SIGNALING CASCADE, Pacific Symposium On Biocomputing, pp.338-349, 2011. ,
DOI : 10.1142/9789814335058_0035
OptORF: Optimal metabolic and regulatory perturbations for metabolic engineering of microbial strains, BMC Systems Biology, vol.4, issue.1, pp.1752-0509, 2010. ,
DOI : 10.1186/1752-0509-4-53
Qualitative Reasoning for Reaction Networks with Partial Kinetic Information, Computational Methods for Systems Biology, vol.9308, pp.157-169, 2015. ,
DOI : 10.1007/978-3-319-23401-4_14
Inferring reaction systems from ordinary differential equations, Theoretical Computer Science, vol.599, pp.64-78, 2015. ,
DOI : 10.1016/j.tcs.2014.07.032
URL : https://hal.archives-ouvertes.fr/hal-01103692
SubtiWiki--a comprehensive community resource for the model organism Bacillus subtilis, Nucleic Acids Research, vol.40, issue.D1, pp.1278-1287, 2012. ,
DOI : 10.1093/nar/gkr923
Reduction of dynamical biochemical reactions networks in computational biology, Frontiers in Genetics, vol.3 ,
DOI : 10.3389/fgene.2012.00131
Die kinetik der invertinwirkung, Biochem. z, vol.49, issue.352, pp.333-369, 1913. ,
Attractor equivalence: An observational semantics for reaction networks, in: Formal Methods in Macro, Biology, pp.82-101, 2014. ,
Robust simplifications of multiscale biochemical networks, BMC systems biology 2, pp.10-1186 ,
Computation of elementary modes: a unifying framework and the new binary approach, BMC bioinformatics, vol.5, issue.1, 2004. ,
Structural Simplification of Chemical Reaction Networks Preserving Deterministic Semantics, Computational Methods in Systems Biology, pp.133-144, 2015. ,
DOI : 10.1007/978-3-319-23401-4_12
URL : https://hal.archives-ouvertes.fr/hal-01168038
Structural Simplification of Chemical Reaction Networks Preserving Deterministic Semantics, Computational Methods in Systems Biology, 2015. ,
DOI : 10.1007/978-3-319-23401-4_12
URL : https://hal.archives-ouvertes.fr/hal-01168038
Graphical reduction of reaction networks by linear elimination of species, Journal of Mathematical Biology, vol.40, issue.73, pp.1-43, 2016. ,
DOI : 10.1021/ed069p544
Tight control of gene expression in mammalian cells by tetracycline-responsive promoters., Proceedings of the National Academy of Sciences of the United States of America ,
DOI : 10.1073/pnas.89.12.5547
Transcriptional activation by tetracyclines in mammalian cells, Science, vol.268, issue.5218, p.268 ,
DOI : 10.1126/science.7792603
Using the Tet-On system to develop a procedure for extracting transcription factor activation dynamics, Molecular BioSystems, vol.4, issue.2, 20552111. ,
DOI : 10.1039/c003229h
Long-term model predictive control of gene expression at the population and single-cell levels, Proceedings of the National Academy of Sciences ,
DOI : 10.1073/pnas.1206810109
Operational Semantics and Program Equivalence, Applied Semantics, 2000. ,
DOI : 10.1007/3-540-45699-6_8
Cellular abstractions: Cells as computation, Nature, vol.419, issue.6905, pp.343-343, 2002. ,
DOI : 10.1038/419343a
On the Computational Power of Biochemistry, 2008. ,
DOI : 10.1007/978-3-540-85101-1_6
Biochemical Reaction Rules with Constraints, 20th European Symposium on Programming Languages, pp.338-357, 2011. ,
DOI : 10.1007/978-3-540-71316-6_28
URL : https://hal.archives-ouvertes.fr/inria-00544387
Dynamically consistent reduction of logical regulatory graphs, Theoretical Computer Science, vol.412, issue.21 ,
DOI : 10.1016/j.tcs.2010.10.021
URL : https://hal.archives-ouvertes.fr/hal-01284743
Reduction of Petri-nets, LNCS, 1976. ,
DOI : 10.1007/3-540-07854-1_175
Reduction and expansion of live and safe marked graphs, Circuits and Systems, IEEE Transactions on, vol.27, issue.1 ,
New Efficient Petri Nets Reductions for Parallel Programs Verification, Parallel Processing Letters, vol.16, issue.01, pp.101-116, 2006. ,
DOI : 10.1142/S0129626406002502
URL : https://hal.archives-ouvertes.fr/hal-01125149
A graphical method for reducing and relating models in systems biology, Bioinformatics, vol.26, issue.18 ,
DOI : 10.1093/bioinformatics/btq388
URL : https://hal.archives-ouvertes.fr/hal-01431335
Symmetry-Based Model Reduction for Approximate Stochastic Analysis, Computational Methods in Systems Biology, vol.2012, issue.7605, pp.49-68, 2012. ,
DOI : 10.1007/978-3-642-33636-2_5
URL : https://hal.archives-ouvertes.fr/hal-00713386
Comparing Chemical Reaction Networks, Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '16 ,
DOI : 10.1145/2933575.2935318
Method of invariant manifold for chemical kinetics, Chemical Engineering Science, vol.58, issue.21, pp.4751-4768, 2003. ,
DOI : 10.1016/j.ces.2002.12.001
Eine Theorie der photochemischen Reaktionsgeschwindigkeiten, Zeitschrift f??r Physikalische Chemie, vol.85, issue.1, pp.22-3654, 1913. ,
DOI : 10.1515/zpch-1913-0112
The Quasi-Steady-State Assumption: A Case Study in Perturbation, SIAM Review, vol.31, issue.3, pp.446-477, 1989. ,
DOI : 10.1137/1031091
Corrections and enhancements of quasi-equilibrium states, Journal of Non-Newtonian Fluid Mechanics, vol.96, issue.1-2, pp.203-219, 2001. ,
DOI : 10.1016/S0377-0257(00)00135-X
A constraint solving approach to model reduction by tropical equilibration, Algorithms for Molecular Biology, vol.58, issue.1-2, pp.27-35, 2013. ,
DOI : 10.1186/s13015-014-0024-2
URL : https://hal.archives-ouvertes.fr/hal-01098530
A Schematic Method of Deriving the Rate Laws for Enzyme-Catalyzed Reactions, The Journal of Physical Chemistry, vol.60, issue.10, pp.1375-1378, 1956. ,
DOI : 10.1021/j150544a010
A Linear Framework for Time-Scale Separation in Nonlinear Biochemical Systems, PLoS ONE, vol.60, issue.5, p.36321, 2012. ,
DOI : 10.1371/journal.pone.0036321.s001
Inferring Reaction Models from ODEs, Computational Methods in Systems Biology, pp.370-373, 2012. ,
DOI : 10.1007/978-3-642-33636-2_23
Sensitivity analysis for the reduction of complex metabolism models, Journal of Process Control, vol.14, issue.7, pp.729-745, 2004. ,
DOI : 10.1016/j.jprocont.2003.12.008
Abstracting the di?erential semantics of rulebased models: exact and automated model reduction, Logic In Computer Science (LICS, pp.362-381, 2010. ,
General method for simplifying chemical networks while preserving overall stoichiometry in reduced mechanisms, The Journal of Chemical Physics, vol.97, issue.6, pp.4066-4071, 1992. ,
DOI : 10.1063/1.463911