1. A petri net approach to persistence analysis in chemical reaction networks;Angeli,2007
2. Atkin's Physical Chemistry;Atkins,2018
3. Daisy: a new software tool to test global identifiability of biological and physiological systems;Bellu;Comput. Methods Programs Biomed.,2007
4. A case study on the parametric occurrence of multiple steady states;Bradford,2017
5. Quantifier elimination by cylindrical algebraic decomposition – twenty years of progess;Collins,1998