Graph-theoretic approaches to injectivity and multiple equilibria in systems of interacting elements, Communications in Mathematical Sciences, vol.7, pp.867-900, 2009. ,
Graph-theoretic criteria for injectivity and unique equilibria in general chemical reaction systems, Advances in Applied Mathematics, vol.44, pp.168-184, 2010. ,
BIOCHAM: An environment for modeling biological systems and formalizing experimental knowledge, Bioinformatics, vol.22, pp.1805-1807, 2006. ,
URL : https://hal.archives-ouvertes.fr/hal-01431364
Biomodels database: A repository of mathematical models of biological processes, Silico Systems Biology, vol.1021, pp.189-199, 2013. ,
Multiple equilibria in complex chemical reaction networks: II. the species-reaction graph, SIAM Journal on Applied Mathematics, vol.66, pp.1321-1338, 2006. ,
Inferring reaction systems from ordinary differential equations, Theoretical Computer Science, vol.599, pp.64-78, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01103692
A constraint programming approach to cutset problems, Journal Computers and Operations Research, vol.33, issue.10, pp.2852-2865, 2006. ,
Influence networks compared with reaction networks: Semantics, expressivity and attractors, IEEE/ACM Transactions on Computational Biology and Bioinformatics, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01510216
BIOCHAM v4.0 User's Manual, 2017. ,
Abstract interpretation and types for systems biology, Theoretical Computer Science, vol.403, 2008. ,
URL : https://hal.archives-ouvertes.fr/hal-01431355
From reaction models to influence graphs and back: a theorem, Proceedings of Formal Methods in Systems Biology FMSB'08, 2008. ,
URL : https://hal.archives-ouvertes.fr/inria-00419921
Mathematical aspects of mass action kinetics, pp.1-78, 1977. ,
A computational method to preclude multistationarity in networks of interacting species, Bioinformatics, vol.29, pp.2327-2334, 2013. ,
Simplifying biochemical models with intermediate species, Journal of The Royal Society Interface, vol.10, 2013. ,
A graphical method for reducing and relating models in systems biology, Bioinformatics, vol.26, pp.575-581, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-01431335
Systems biology markup language (SBML) level 2: Structures and facilities for model definitions, Nature Precedings, 2008. ,
Conditions for the uniqueness of the stationary states of kinetic systems, connected with the structures of their reaction mechanisms, Kinet. Katal, vol.20, pp.1019-1023, 1979. ,
One approach to the determination of a number of qualitative features in the behavior of kinetic systems, and realization of this approach in a computer (critical conditions, autooscillations), Kinet. Katal, vol.20, pp.1541-1548, 1979. ,
A unified view on bipartite species-reaction and interaction graphs for chemical reaction networks, 2012. ,
Negative feedback and ultrasensitivity can bring about oscillations in the mitogen-activated protein kinase cascades, European Journal of Biochemistry, vol.267, pp.1583-1588, 2000. ,
A contraction algorithm for finding small cycle cutsets, Journal of algorithms, vol.9, pp.470-493, 1988. ,
Signaling switches and bistability arising from multisite phosphorylation in protein kinase cascades, Journal of Cell Biology, vol.164, pp.353-359, 2004. ,
On enumerating minimal siphons in petri nets using CLP and SAT solvers: Theoretical and practical complexity, Constraints, vol.21, pp.251-276, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01170962
A greedy randomized adaptive search procedure for the feedback vertex set problem, Journal of Combinatorial Optimization, vol.2, pp.399-412, 1999. ,
Bistability and oscillations in the huang-ferrell model of mapk signaling, PLoS Computational Biology, vol.3, pp.1819-1826, 2007. ,
Theoretical and experimental analysis links isoform-specific erk signalling to cell fate decisions, Molecular Systems Biology, vol.5, 2009. ,
Necessary conditions for multistationarity and stable periodicity, Journal of Biological Systems, vol.6, pp.3-9, 1998. ,
Invariants and other structural properties of biochemical models as a constraint satisfaction problem, Algorithms for Molecular Biology, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00784404
A stronger necessary condition for the multistationarity of chemical reaction networks, Bulletin of Mathematical Biology, vol.75, pp.2289-2303, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00772438
Graphic requirements for multistationarity, ComplexUs, vol.1, pp.123-133, 2003. ,
Depth-first search and linear graph algorithms, SIAM Journal on Computing, vol.1, pp.146-160, 1972. ,
On the relation between the logical structure of systems and their ability to generate multiple steady states or sustained oscillations, Springer Ser. Synergetics, vol.9, pp.180-193, 1981. ,
A hidden feedback in signaling cascades is revealed, PLoS Computational Biology, vol.4, 2008. ,
URL : https://hal.archives-ouvertes.fr/hal-00267106
On the number of steady states in a multiple futile cycle, Journal of Mathematical Biology, vol.57, pp.29-52, 2008. ,