Steven Gay

Latest

• Inferring reaction systems from ordinary differential equations
• On the subgraph Epimorphism Problem
• Solving Subgraph Epimorphism Problems using CLP and SAT
• Inferring Reaction Models from ODEs
• Automatic Curation of SBML Models based on their ODE Semantics
• A graphical method for reducing and relating models in systems biology