Neil D. Evans

Available identifiers

zbMath Open evans.neil-dDBLP39/8082WikidataQ44622565 ScholiaQ44622565MaRDI QIDQ1049154

List of research outcomes

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	2018-02-15	Paper
A mathematical model characterising Achilles tendon dynamics in flexion	2017-01-23	Paper
Controlling Nonlinear Infinite-Dimensional Systems via the Initial State	2014-01-27	Paper
https://portal.mardi4nfdi.de/entity/Q2863864	2013-12-04	Paper
Structural identifiability analysis via symmetries of differential equations	2010-01-08	Paper
Chunks: Component Verification in CSP ∥ B	2007-11-29	Paper
Interactive tool support for CSP \(\parallel\) B consistency checking	2007-09-06	Paper
Verifying security protocols with PVS: widening the rank function approach	2005-08-01	Paper
The structural identifiability of the susceptible infected recovered model with seasonal forcing	2005-06-27	Paper
Structural indistinguishability between uncontrolled (autonomous) nonlinear analytic systems	2005-02-23	Paper
Structural identifiability of non-linear systems using linear/non-linear splitting	2004-08-17	Paper
Structural identifiability for a class of non-linear compartmental systems using linear/ non-linear splitting and symbolic computation	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	2003-04-02	Paper
Identifiability of uncontrolled nonlinear rational systems	2003-02-17	Paper
https://portal.mardi4nfdi.de/entity/Q2739304	2002-05-30	Paper
The structural identifiability and parameter estimation of a multispecies model for the transmission of mastitis in dairy cows	2002-05-21	Paper
Extensions to a procedure for generating locally identifiable reparameterisations of unidentifiable systems	2002-03-03	Paper

Research outcomes over time

This page was built for person: Neil D. Evans