M. Banaji and G. Craciun, Graph-theoretic approaches to injectivity and multiple equilibria in systems of interacting elements, Communications in Mathematical Sciences, vol.7, pp.867-900, 2009.

M. Banaji and G. Craciun, Graph-theoretic criteria for injectivity and unique equilibria in general chemical reaction systems, Advances in Applied Mathematics, vol.44, pp.168-184, 2010.

L. Calzone, F. Fages, and S. Soliman, 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

V. Chelliah, C. Laibe, and N. Novère, Biomodels database: A repository of mathematical models of biological processes, Silico Systems Biology, vol.1021, pp.189-199, 2013.

G. Craciun and M. Feinberg, Multiple equilibria in complex chemical reaction networks: II. the species-reaction graph, SIAM Journal on Applied Mathematics, vol.66, pp.1321-1338, 2006.

F. Fages, S. Gay, and S. Soliman, Inferring reaction systems from ordinary differential equations, Theoretical Computer Science, vol.599, pp.64-78, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01103692

F. Fages and A. Lal, A constraint programming approach to cutset problems, Journal Computers and Operations Research, vol.33, issue.10, pp.2852-2865, 2006.

F. Fages, T. Martinez, D. Rosenblueth, and S. Soliman, 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

F. Fages, T. Martinez, and S. Soliman, BIOCHAM v4.0 User's Manual, 2017.

F. Fages and S. Soliman, Abstract interpretation and types for systems biology, Theoretical Computer Science, vol.403, 2008.
URL : https://hal.archives-ouvertes.fr/hal-01431355

F. Fages and S. Soliman, 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

M. Feinberg, Mathematical aspects of mass action kinetics, pp.1-78, 1977.

E. Feliu and C. Wiuf, A computational method to preclude multistationarity in networks of interacting species, Bioinformatics, vol.29, pp.2327-2334, 2013.

E. Feliu and C. Wiuf, Simplifying biochemical models with intermediate species, Journal of The Royal Society Interface, vol.10, 2013.

S. Gay, S. Soliman, and F. Fages, 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

M. Hucka, S. Hoops, S. M. Keating, L. N. Nicolas, S. Sahle et al., Systems biology markup language (SBML) level 2: Structures and facilities for model definitions, Nature Precedings, 2008.

A. N. Ivanova, 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.

A. N. Ivanova and B. L. Tarnopolskii, 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.

H. M. Kaltenbach, A unified view on bipartite species-reaction and interaction graphs for chemical reaction networks, 2012.

B. N. Kholodenko, 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.

H. Levy and D. W. Low, A contraction algorithm for finding small cycle cutsets, Journal of algorithms, vol.9, pp.470-493, 1988.

N. I. Markevich, J. B. Hoek, and B. N. Kholodenko, Signaling switches and bistability arising from multisite phosphorylation in protein kinase cascades, Journal of Cell Biology, vol.164, pp.353-359, 2004.

F. Nabli, T. Martinez, F. Fages, and S. Soliman, 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

P. M. Pardalos, T. Qian, and M. G. Resende, A greedy randomized adaptive search procedure for the feedback vertex set problem, Journal of Combinatorial Optimization, vol.2, pp.399-412, 1999.

L. Qiao, R. B. Nachbar, I. G. Kevrekidis, and S. Y. Shvartsman, Bistability and oscillations in the huang-ferrell model of mapk signaling, PLoS Computational Biology, vol.3, pp.1819-1826, 2007.

M. Schilling, T. Maiwald, S. Hengl, D. Winter, C. Kreutz et al., Theoretical and experimental analysis links isoform-specific erk signalling to cell fate decisions, Molecular Systems Biology, vol.5, 2009.

E. H. Snoussi, Necessary conditions for multistationarity and stable periodicity, Journal of Biological Systems, vol.6, pp.3-9, 1998.

S. Soliman, 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

S. Soliman, 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

C. Soulé, Graphic requirements for multistationarity, ComplexUs, vol.1, pp.123-133, 2003.

R. Tarjan, Depth-first search and linear graph algorithms, SIAM Journal on Computing, vol.1, pp.146-160, 1972.

R. Thomas, 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. C. Ventura, J. A. Sepulchre, and S. D. Merajver, A hidden feedback in signaling cascades is revealed, PLoS Computational Biology, vol.4, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00267106

L. Wang and E. Sontag, On the number of steady states in a multiple futile cycle, Journal of Mathematical Biology, vol.57, pp.29-52, 2008.