Neil D. Evans

MaRDI QIDQ1049154zbMATH OpenDBLPORCIDWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Reducing bit-vector polynomials to SAT using Gröbner bases	2021-04-07	Paper
Extending existing structural identifiability analysis methods to mixed-effects models Mathematical Biosciences	2018-02-15	Paper
A mathematical model characterising Achilles tendon dynamics in flexion Mathematical Biosciences	2017-01-23	Paper
Controlling nonlinear infinite-dimensional systems via the initial state SIAM Journal on Control and Optimization	2014-01-27	Paper
Linking semantic models to support \(\mathrm{CSP} \parallel \mathrm{B}\) consistency checking	2013-12-04	Paper
Structural identifiability analysis via symmetries of differential equations Automatica	2010-01-08	Paper
Chunks: Component Verification in CSP ∥ B Lecture Notes in Computer Science	2007-11-29	Paper
Interactive tool support for CSP \(\parallel\) B consistency checking Formal Aspects of Computing	2007-09-06	Paper
Verifying security protocols with PVS: widening the rank function approach The Journal of Logic and Algebraic Programming	2005-08-01	Paper
The structural identifiability of the susceptible infected recovered model with seasonal forcing Mathematical Biosciences	2005-06-27	Paper
Structural indistinguishability between uncontrolled (autonomous) nonlinear analytic systems Automatica	2005-02-23	Paper
Structural identifiability of non-linear systems using linear/non-linear splitting International Journal of Control	2004-08-17	Paper
Structural identifiability for a class of non-linear compartmental systems using linear/ non-linear splitting and symbolic computation Mathematical Biosciences	2003-05-19	Paper
The structural identifiability and parameter estimation of a multispecies model for the transmission of mastitis in dairy cows with postmilking teat disinfection Mathematical Biosciences	2003-04-02	Paper
Identifiability of uncontrolled nonlinear rational systems Automatica	2003-02-17	Paper
A control theoretic approach to containing the spread of rabies IMA Journal of Mathematics Applied in Medicine and Biology	2002-05-30	Paper
The structural identifiability and parameter estimation of a multispecies model for the transmission of mastitis in dairy cows Mathematical Biosciences	2002-05-21	Paper
Extensions to a procedure for generating locally identifiable reparameterisations of unidentifiable systems Mathematical Biosciences	2002-03-03	Paper

Research outcomes over time

This page was built for person: Neil D. Evans