, Synchronisation and linearity, 1992.
Efficient reduction of kappa models by static inspection of the rule-set, Hybrid Systems Biology-Fourth International Workshop, HSB 2015, vol.9271, pp.173-191, 2015. ,
Bionetgen: software for rule-based modeling of signal transduction based on the interactions of molecular domains, Bioinformatics, vol.20, issue.17, 2004. ,
Beyond the Michaelis-Menten equation: Accurate and efficient estimation of enzyme kinetic parameters, Scientific Reports, vol.7, issue.1, 2017. ,
A note on the kinematics of enzyme action, Biochem J, vol.19, issue.2, pp.338-339, 1925. ,
, Computer Assisted Proofs in Dynamics
Conservative numerical approximations of the differential semantics in biological rulebased models, 2016. ,
Petri net modelling of biological networks, Briefings in Bioinformatics, vol.8, issue.4, pp.210-219, 2007. ,
Scalable simulation of cellular signaling networks, invited paper, Proc. APLAS-07, vol.4807, 2007. ,
Rule based modeling of biological signaling, Proc. CONCUR'07, vol.4703, 2007. ,
Formal molecular biology, TCS, vol.325, issue.1, 2004. ,
URL : https://hal.archives-ouvertes.fr/hal-00164591
Efficient solving of large non-linear arithmetic constraint systems with complex boolean structure, In Journal on Satisfiability, Boolean Modeling, and Computation, vol.1, issue.3-4, p.209236, 2007. ,
Internal coarse-graining of molecular systems, 2009. ,
URL : https://hal.archives-ouvertes.fr/inria-00528330
Lumpability abstractions of rule-based systems, 2012. ,
URL : https://hal.archives-ouvertes.fr/inria-00527971
dReal: An SMT Solver for Nonlinear Theories over the Reals, Lecture Notes in Computer Science, vol.7898, 2013. ,
Cellular automata models in biology, Mathematical and Computer Modelling, vol.13, issue.6, pp.69-74, 1990. ,
The complexity of complexes in signal transduction, 2003. ,
, Mathematical Physiology: I: Cellular Physiology, 1994.
On comparison systems for ordinary differential equations, Journal of Mathematical Analysis and Applications, vol.299, issue.1, pp.157-173, 2004. ,
Solutions of ordinary differential equations as limits of pure jump Markov processes, 1970. ,
Idempotent Analysis, Classical Mechanics and Geometry, Tropical Mathematics, 2010. ,
, MATLAB and Statistics Toolbox Release, 2015.
Die Kinetik der Invertinwirkung, Biochem Z, vol.49, pp.333-369, 1913. ,
VNODE-LP: A Validated Solver for Initial Value Problems in Ordinary Differential Equations, 2006. ,
Interval Tools for ODEs and DAEs, 12th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, 2006. ,
Modèles réduits et hybrides de réseaux de réactions biochimiques : applicationsàapplications`applicationsà la modélisation du cycle cellulaire, Biologie Systèmique. Université Rennes, vol.1, 2012. ,
Tropical geometries and dynamics of biochemical networks application to hybrid cell cycle models. Electronic Notes in Theoretical Computer Science, 2012. ,
Reduction of dynamical biochemical reactions networks in computational biology, Frontiers in Genetics, vol.3, issue.131, p.17, 2012. ,
Model reduction of biochemical reactions networks by tropical analysis methods, Mathematical Modelling of Natural Phenomena, vol.10, issue.3, 2015. ,
Boolean modeling in systems biology: an overview of methodology and applications, Phys. Biol, vol.9, p.55001, 2012. ,
Modeling the cell division cycle: cdc2 and cyclin interactions, Proceedings of the National Academy of Sciences of the United States of America, vol.88, p.7328, 1991. ,
Logic-based models in systems biology: a predictive and parameter-free network analysis method. Integrative biology: quantitative biosciences from nano to macro, vol.4, 2012. ,