David M. Williams

Publication Activity (10 Years)

Years Active: 1989-2024
Publications (10 Years): 23

Top Topics

Finite Element Methods

Material Properties

Gpu Accelerated

Top Venues

Comput. Math. Appl.

Formal Aspects Comput.

Comput. Aided Des.

Publications

Trenton J. Gobel, David M. Williams
An explicit construction of optimized interpolation points on the 4-simplex. CoRR (2024)
David M. Williams, Nilima Nigam
Conforming finite element function spaces in four dimensions, part II: The pentatope and tetrahedral prism. Comput. Math. Appl. 167 (2024)
Nilima Nigam, David M. Williams
Conforming finite element function spaces in four dimensions, part I: Foundational principles and the tesseract. Comput. Math. Appl. 166 (2024)
Edward A. Miller, David M. Williams
Versatile mixed methods for compressible flows. CoRR (2024)
Nilima Nigam, David M. Williams
Conforming Finite Element Function Spaces in Four Dimensions, Part 1: Foundational Principles and the Tesseract. CoRR (2023)
Jude T. Anderson, David M. Williams
Space-time hypervolume meshing part 1: Point insertion, geometric predicates, and bistellar flips. CoRR (2023)
Jude T. Anderson, David M. Williams, Andrew Corrigan
Surface And Hypersurface Meshing Techniques for Space-Time Finite Element Methods. Comput. Aided Des. 163 (2023)
Jude T. Anderson, David M. Williams, Andrew Corrigan
Surface and hypersurface meshing techniques for space-time finite element methods. CoRR (2023)
David M. Williams, Nilima Nigam
Conforming Finite Element Function Spaces in Four Dimensions, Part II: The Pentatope and Tetrahedral Prism. CoRR (2023)
Miroslav S. Petrov, Todor D. Todorov, Gage S. Walters, David M. Williams, Freddie D. Witherden
Enabling four-dimensional conformal hybrid meshing with cubic pyramids. Numer. Algorithms 91 (2) (2022)
David M. Williams, Qingguo Hong
Vector Fields. CoRR (2022)
Edward A. Miller, Xi Chen, David M. Williams
Versatile mixed methods for non-isothermal incompressible flows. Comput. Math. Appl. 125 (2022)
Miroslav S. Petrov, Todor D. Todorov, Gage S. Walters, David M. Williams, Freddie D. Witherden
Enabling four-dimensional conformal hybrid meshing with cubic pyramids. CoRR (2021)
David M. Williams, Salaheddin Darwish, Steve Schneider, David R. Michael
Legislation-driven development of a Gift Aid system using Event-B. Formal Aspects Comput. 32 (2-3) (2020)
Xi Chen, David M. Williams
Versatile mixed methods for the incompressible Navier-Stokes equations. Comput. Math. Appl. 80 (6) (2020)
David M. Williams, Cory V. Frontin, Edward A. Miller, David L. Darmofal
A family of symmetric, optimized quadrature rules for pentatopes. Comput. Math. Appl. 80 (5) (2020)
Cory V. Frontin, Gage S. Walters, Freddie D. Witherden, Carl W. Lee, David M. Williams, David L. Darmofal
Foundations of space-time finite element methods: polytopes, interpolation, and integration. CoRR (2020)
Xi Chen, David M. Williams
Versatile Mixed Methods for the Incompressible Navier-Stokes Equations. CoRR (2020)
David M. Williams
An analysis of discontinuous Galerkin methods for the compressible Euler equations: entropy and \(L_2\) stability. Numerische Mathematik 141 (4) (2019)
Andrey K. Guber, David M. Williams, Amy C. Dechen Quinn, Sushil B. Tamrakar, William F. Porter, Joan B. Rose
Model of pathogen transmission between livestock and white-tailed deer in fragmented agricultural and forest landscapes. Environ. Model. Softw. 80 (2016)
Lars Lockefeer, David M. Williams, Wan J. Fokkink
Formal specification and verification of TCP extended with the Window Scale Option. Sci. Comput. Program. 118 (2016)
Thai Son Hoang, Steve A. Schneider, Helen Treharne, David M. Williams
Foundations for using linear temporal logic in Event-B refinement. Formal Aspects Comput. 28 (6) (2016)
Efstathios Stathakidis, David M. Williams, James Heather
Constructing and verifying a robust Mix Net using CSP. Softw. Syst. Model. 15 (4) (2016)
Lars Lockefeer, David M. Williams, Wan J. Fokkink
Formal Specification and Verification of TCP Extended with the Window Scale Option. FMICS (2014)
Steve A. Schneider, Helen Treharne, Heike Wehrheim, David M. Williams
Managing LTL Properties in Event-B Refinement. IFM (2014)
Steve A. Schneider, Helen Treharne, Heike Wehrheim, David M. Williams
Managing LTL properties in Event-B refinement. CoRR (2014)
Phillip James, Faron Moller, Hoang Nga Nguyen, Markus Roggenbach, Steve A. Schneider, Helen Treharne, Matthew Trumble, David M. Williams
Verification of Scheme Plans Using CSP $$||$$ | | B. SEFM Workshops (2013)
Efstathios Stathakidis, David M. Williams, James Heather
Verifying a Mix Net in CSP. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 66 (2013)
David M. Williams, Joeri de Ruiter, Wan J. Fokkink
Model Checking under Fairness in ProB and Its Application to Fair Exchange Protocols. ICTAC (2012)
David M. Williams, Helen Treharne, Anthony T. S. Ho
On the Importance of One-time Key Pairs in Buyer-seller Watermarking Protocols. SECRYPT (2010)
David M. Williams, Helen Treharne, Anthony T. S. Ho, Chris Culnane
Using a formal analysis technique to identify an unbinding attack on a buyer-seller watermarking protocol. MM&Sec (2008)
David M. Williams, John Armstrong
Promotion, speculation and their outcome: The "steamship mania" of 1824-1825. Aslib Proc. 60 (6) (2008)
David M. Williams, Helen Treharne, Anthony T. S. Ho, Adrian Waller
Formal Analysis of Two Buyer-Seller Watermarking Protocols. IWDW (2008)
David M. Williams, Robert W. Scotland, Christopher J. Humphries, Darrell J. Siebert
Confusion in philosophy: A comment on Williams (1992). Synth. 108 (1) (1996)
M. Tincher, Charles R. Meyer, R. Gupta, David M. Williams
Polynomial modeling and reduction of RF body coil spatial inhomogeneity in MRI. IEEE Trans. Medical Imaging 12 (2) (1993)
Linnan Liu, Peyton H. Bland, David M. Williams, Brian G. Schunck, Charles R. Meyer
Application of robust sequential edge detection and linking to boundaries of low contrast lesions in medical images. CVPR (1989)