Sensitivity analysis is an important part of a mathematical modeller's toolbox for model
analysis. In this review paper, we describe the most frequently used sensitivity techniques …

Model reduction of fast-slow chemical reaction networks based on the quasi-steady state
approximation fails when the fast subsystem has first integrals. We call these first integrals …

For polynomial ODE models, we introduce and discuss the concepts of exact and
approximate conservation laws, which are the first integrals of the full and truncated sets of …

Conservation laws are an inherent feature in many systems modeling real world
phenomena, in particular, those modeling biological and chemical systems. If the form of the …

This work is focused on Ordinary Differential Equations (ODE)-based models of biochemical
systems that possess a singular Jacobian manifesting in non-hyperbolic equilibria. We show …

In this paper we introduce a new representation for the multistationarity region of a reaction
network, using polynomial superlevel sets. The advantages of using this polynomial …

In this paper the reachability problem of discrete state Chemical Reaction Networks (d-
CRNs) is studied. We consider sub-classes of sub-and superconservative d-CRN network …

On the Liouville integrability of Edelstein’s reaction system in R3 - ScienceDirect Skip to main
contentSkip to article Elsevier logo Journals & Books Search RegisterSign in View PDF …

Many real-world problems can be expressed as the solution set of polynomial equations.
Under these constraints, these problems are addressed using tools from (computational) …

My PhD is about formal methods for analysing biochemical reaction network models. My
focus is on methods coping with parametric uncertainty, whose parameters aregiven as …