Application of robust sequential edge detection and linking to boundaries of low contrast lesions in medical images. - Linnan Liu; Peyton H. Bland; David M. Williams; Brian G. Schunck; Charles R. Meyer (CVPR, 1989)

Polynomial modeling and reduction of RF body coil spatial inhomogeneity in MRI. - M. Tincher; Charles R. Meyer; R. Gupta; David M. Williams (IEEE Trans. Medical Imaging, 1993)

Confusion in philosophy: A comment on Williams (1992). - David M. Williams; Robert W. Scotland; Christopher J. Humphries; Darrell J. Siebert (Synth., 1996)

Formal Analysis of Two Buyer-Seller Watermarking Protocols. - David M. Williams; Helen Treharne; Anthony T. S. Ho; Adrian Waller (IWDW, 2008)

Using a formal analysis technique to identify an unbinding attack on a buyer-seller watermarking protocol. - David M. Williams; Helen Treharne; Anthony T. S. Ho; Chris Culnane (MM&Sec, 2008)

Promotion, speculation and their outcome: The "steamship mania" of 1824-1825. - David M. Williams; John Armstrong (Aslib Proc., 2008)

On the Importance of One-time Key Pairs in Buyer-seller Watermarking Protocols. - David M. Williams; Helen Treharne; Anthony T. S. Ho (SECRYPT, 2010)

Model Checking under Fairness in ProB and Its Application to Fair Exchange Protocols. - David M. Williams; Joeri de Ruiter; Wan J. Fokkink (ICTAC, 2012)

Verification of Scheme Plans Using CSP $$||$$ | | B. - Phillip James; Faron Moller; Hoang Nga Nguyen; Markus Roggenbach; Steve A. Schneider; Helen Treharne; Matthew Trumble; David M. Williams (SEFM Workshops, 2013)

Verifying a Mix Net in CSP. - Efstathios Stathakidis; David M. Williams; James Heather (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013)

Managing LTL Properties in Event-B Refinement. - Steve A. Schneider; Helen Treharne; Heike Wehrheim; David M. Williams (IFM, 2014)

Event-B and Linear Temporal Logic. - Steve A. Schneider; Helen Treharne; David M. Williams (From Action Systems to Distributed Systems, 2016)

Model of pathogen transmission between livestock and white-tailed deer in fragmented agricultural and forest landscapes. - Andrey K. Guber; David M. Williams; Amy C. Dechen Quinn; Sushil B. Tamrakar; William F. Porter; Joan B. Rose (Environ. Model. Softw., 2016)

Foundations for using linear temporal logic in Event-B refinement. - Thai Son Hoang; Steve A. Schneider; Helen Treharne; David M. Williams (Formal Aspects Comput., 2016)

Formal specification and verification of TCP extended with the Window Scale Option. - Lars Lockefeer; David M. Williams; Wan J. Fokkink (Sci. Comput. Program., 2016)

Constructing and verifying a robust Mix Net using CSP. - Efstathios Stathakidis; David M. Williams; James Heather (Softw. Syst. Model., 2016)

An entropy stable, hybridizable discontinuous Galerkin method for the compressible Navier-Stokes equations. - David M. Williams (Math. Comput., 2018)

An analysis of discontinuous Galerkin methods for the compressible Euler equations: entropy and (L_2 ) stability. - David M. Williams (Numerische Mathematik, 2019)

Versatile mixed methods for the incompressible Navier-Stokes equations. - Xi Chen 060; David M. Williams (Comput. Math. Appl., 2020)

A family of symmetric, optimized quadrature rules for pentatopes. - David M. Williams; Cory V. Frontin; Edward A. Miller; David L. Darmofal (Comput. Math. Appl., 2020)

Foundations of space-time finite element methods: polytopes, interpolation, and integration. - Cory V. Frontin; Gage S. Walters; Freddie D. Witherden; Carl W. Lee; David M. Williams; David L. Darmofal (CoRR, 2020)

Legislation-driven development of a Gift Aid system using Event-B. - David M. Williams; Salaheddin Darwish; Steve Schneider; David R. Michael (Formal Aspects Comput., 2020)

Friend or Foe: An Investigation into Recipient Identification of SMS-Based Phishing. - Max Clasen; Fudong Li 001; David M. Williams (HAISA, 2021)

Versatile mixed methods for non-isothermal incompressible flows. - Edward A. Miller; Xi Chen; David M. Williams (Comput. Math. Appl., 2022)

Generalized Korn's Inequalities for Piecewise H2 Vector Fields. - David M. Williams; Qingguo Hong (CoRR, 2022)

Enabling four-dimensional conformal hybrid meshing with cubic pyramids. - Miroslav S. Petrov; Todor D. Todorov; Gage S. Walters; David M. Williams; Freddie D. Witherden (Numer. Algorithms, 2022)

Conforming Finite Element Function Spaces in Four Dimensions, Part 1: Foundational Principles and the Tesseract. - Nilima Nigam; David M. Williams (CoRR, 2023)

Space-time hypervolume meshing part 1: Point insertion, geometric predicates, and bistellar flips. - Jude T. Anderson; David M. Williams (CoRR, 2023)

Surface And Hypersurface Meshing Techniques for Space-Time Finite Element Methods. - Jude T. Anderson; David M. Williams; Andrew Corrigan (Comput. Aided Des., 2023)

Conforming finite element function spaces in four dimensions, part I: Foundational principles and the tesseract. - Nilima Nigam; David M. Williams (Comput. Math. Appl., 2024)

Conforming finite element function spaces in four dimensions, part II: The pentatope and tetrahedral prism. - David M. Williams; Nilima Nigam (Comput. Math. Appl., 2024)

Versatile mixed methods for compressible flows. - Edward A. Miller; David M. Williams (CoRR, 2024)

An explicit construction of optimized interpolation points on the 4-simplex. - Trenton J. Gobel; David M. Williams (CoRR, 2024)

Spline-based solution transfer for space-time methods in 2D+t. - Logan Larose; Jude T. Anderson; David M. Williams (CoRR, 2024)

Quasi-optimal interpolation of gradients and vector-fields on protected Delaunay meshes in ℝd. - David M. Williams; Mathijs Wintraecken (CoRR, 2024)

Properties of median-dual regions on triangulations in ℝ4 with extensions to higher dimensions. - David M. Williams; Hiroaki Nishikawa (CoRR, 2024)

Error estimates for the interpolation and approximation of gradients and vector fields on protected Delaunay meshes in Rd. - David M. Williams; Mathijs Wintraecken (CoRR, 2025)

Implementation of Worsey-Farin splines with applications to solution transfer. - Logan Larose; David M. Williams (CoRR, 2025)