27 3-4. EE-PS: combination of two Michaelis-Menten, with shared species, Evolution of concentrations: model with three reactions, vol.12, pp.6-11 ,
,
88 A-6. Calcium Oscillations -Maximisation of the number of deletions, All SEPIs between models of Cell Cycle, vol.87 ,
,
35 3-8. Time to compute the first second and last SEPI for each solver (time in ms), Comparison with results of 2015: number of SEPI relations intra class, vol.92, p.60 ,
, 72 6-4. SEPI relations intra class with combined restrictions, All possible reductions between complete and reduced Michaelis-Menten reaction graphs. 65 6-2. Number of Michaelis-Menten patterns, pp.6-7
Subgraph epimorphisms: Theory and application to model reductions in systems biology, 2015. ,
URL : https://hal.archives-ouvertes.fr/tel-01236291
Systems biology primer: the basic methods and approaches, Essays in biochemistry, vol.62, issue.4, pp.487-500, 2018. ,
Lois générales de l'action des diastases, Librairie Scientifique A, 1903. ,
Biomodels database: a free, centralized database of curated, published, quantitative kinetic models of biochemical and cellular systems, Nucleic acids research, vol.34, issue.suppl_1, pp.689-691, 2006. ,
Prediction and validation of the distinct dynamics of transient and sustained erk activation, Nature cell biology, vol.7, issue.4, p.365, 2005. ,
Algorithmics and applications of tree and graph searching, Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, pp.39-52, 2002. ,
Substructure similarity search in graph databases, Proceedings of the 2005 ACM SIGMOD international conference on Management of data, pp.766-777, 2005. ,
Graph minors. ii. algorithmic aspects of tree-width, Journal of algorithms, vol.7, issue.3, pp.309-322, 1986. ,
Graph minor theory, Bulletin of the American Mathematical Society, vol.43, issue.1, pp.75-86, 2006. ,
Saga: a subgraph matching tool for biological graphs, Bioinformatics, vol.23, issue.2, pp.232-239, 2006. ,
Morphisms of reaction networks that couple structure to function, BMC systems biology, vol.8, issue.1, p.84, 2014. ,
Tikhonov's theorem and quasi-steady state, Discrete Contin. Dyn. Syst. Ser. B, vol.16, issue.3, pp.945-961, 2011. ,
Systems of differential equations containing small parameters in the derivatives, Matematicheskii sbornik, vol.73, pp.575-586, 1952. ,
Geometric singular perturbation theory for ordinary differential equations, Journal of differential equations, vol.31, issue.1, pp.53-98, 1979. ,
A graphical method for reducing and relating models in systems biology, Bioinformatics, vol.26, issue.18, pp.575-581, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-01431335
On the subgraph epimorphism problem, Discrete Applied Mathematics, vol.162, pp.214-228, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01098527
Graduate texts in mathematics, vol.173, p.7, 2012. ,
Digraphs: theory, algorithms and applications, 2008. ,
Handbook of theoretical computer science, vol.1, 1990. ,
Partially ordered algebraic systems, Courier Corporation, vol.28, 2011. ,
A computing procedure for quantification theory, Journal of the ACM (JACM), vol.7, issue.3, pp.201-215, 1960. ,
A machine program for theorem-proving, Communications of the ACM, vol.5, issue.7, pp.394-397, 1962. ,
Grasp: A search algorithm for propositional satisfiability, IEEE Transactions on Computers, vol.48, issue.5, pp.506-521, 1999. ,
Grasp: A new search algorithm for satisfiability, Proceedings of the International Conference on Computer-Aided Design, 1996. ,
Chaff: Engineering an efficient sat solver, Proceedings of the 38th annual Design Automation Conference, pp.530-535, 2001. ,
Boolean satisfiability: theory and engineering, Communications of the ACM, vol.57, issue.3, pp.5-5, 2014. ,
Satisfiability: Suggested format, DIMACS Challenge. DIMACS, 1993. ,
Reducibility among combinatorial problems, Complexity of computer computations, pp.85-103, 1972. ,
Complex calcium oscillations and the role of mitochondria and cytosolic proteins, Biosystems, vol.57, issue.2, pp.75-86, 2000. ,
Complex intracellular calcium oscillations a theoretical exploration of possible mechanisms, Biophysical chemistry, vol.66, issue.1, pp.25-41, 1997. ,
Ultrasensitivity in the mitogen-activated protein kinase cascade, PNAS, vol.93, issue.19, 1996. ,
Scaffold proteins may biphasically affect the levels of mitogen-activated protein kinase signaling and reduce its threshold properties, vol.97, pp.5818-5823, 2000. ,
Rc2: a python-based maxsat solver, MaxSAT Evaluation, p.22, 2018. ,
Qmaxsat in maxsat evaluation, MaxSAT Evaluation, p.21, 2018. ,
Open-wbo-inc in maxsat evaluation, MaxSAT Evaluation, p.16, 2018. ,
Maxsat evaluation, 2018. ,
Reducibility among combinatorial problems, Proceedings of a Symposium on the Complexity of Computer Computations, pp.85-103, 1972. ,
Signaling switches and bistability arising from multisite phosphorylation in protein kinase cascades, Journal of Cell Biology, vol.164, issue.3, pp.353-359, 2004. ,
Studies on the mechanism of herbicidal action of 2-chloro-4, 6-bis (ethylamino)-s-triazine, Plant physiology, vol.34, issue.4, p.432, 1959. ,
Inhibitors of the hill reaction, Plant physiology, vol.36, issue.6, p.788, 1961. ,
Symmetry breaking using value precedence, ECAI, vol.6, pp.168-172, 2006. ,