David M. Williams

According to our database, David M. Williams authored at least 30 papers between 1989 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Versatile mixed methods for compressible flows.

Edward A. Miller, David M. Williams

CoRR, 2024

2023

Surface And Hypersurface Meshing Techniques for Space-Time Finite Element Methods.

Jude T. Anderson, David M. Williams, Andrew Corrigan

Comput. Aided Des., October, 2023

Space-time hypervolume meshing part 1: Point insertion, geometric predicates, and bistellar flips.

Jude T. Anderson, David M. Williams

CoRR, 2023

Conforming Finite Element Function Spaces in Four Dimensions, Part II: The Pentatope and Tetrahedral Prism.

David M. Williams, Nilima Nigam

CoRR, 2023

Conforming Finite Element Function Spaces in Four Dimensions, Part 1: Foundational Principles and the Tesseract.

Nilima Nigam, David M. Williams

CoRR, 2023

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

Generalized Korn's Inequalities for Piecewise H² Vector Fields.

David M. Williams, Qingguo Hong

CoRR, 2022

Versatile mixed methods for non-isothermal incompressible flows.

Edward A. Miller, Xi Chen, David M. Williams

Comput. Math. Appl., 2022

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

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

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

Versatile mixed methods for the incompressible Navier-Stokes equations.

Xi Chen, David M. Williams

Comput. Math. Appl., 2020

2019

An analysis of discontinuous Galerkin methods for the compressible Euler equations: entropy and \(L_2\) stability.

David M. Williams

Numerische Mathematik, 2019

2018

An entropy stable, hybridizable discontinuous Galerkin method for the compressible Navier-Stokes equations.

David M. Williams

Math. Comput., 2018

2016

Constructing and verifying a robust Mix Net using CSP.

Efstathios Stathakidis, David M. Williams, James Heather

Softw. Syst. Model., 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

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

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

Event-B and Linear Temporal Logic.

Steve A. Schneider, Helen Treharne, David M. Williams

Proceedings of the From Action Systems to Distributed Systems - The Refinement Approach., 2016

2014

Managing LTL Properties in Event-B Refinement.

Steve A. Schneider, Helen Treharne, Heike Wehrheim, David M. Williams

Proceedings of the Integrated Formal Methods - 11th International Conference, 2014

2013

Verifying a Mix Net in CSP.

Efstathios Stathakidis, David M. Williams, James Heather

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

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

Proceedings of the Software Engineering and Formal Methods, 2013

2012

Model Checking under Fairness in ProB and Its Application to Fair Exchange Protocols.

David M. Williams, Joeri de Ruiter, Wan J. Fokkink

Proceedings of the Theoretical Aspects of Computing - ICTAC 2012, 2012

2010

On the Importance of One-time Key Pairs in Buyer-seller Watermarking Protocols.

David M. Williams, Helen Treharne, Anthony T. S. Ho

Proceedings of the SECRYPT 2010, 2010

2008

Promotion, speculation and their outcome: The "steamship mania" of 1824-1825.

David M. Williams, John Armstrong

Aslib Proc., 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

Proceedings of the 10th workshop on Multimedia & Security, 2008

Formal Analysis of Two Buyer-Seller Watermarking Protocols.

David M. Williams, Helen Treharne, Anthony T. S. Ho, Adrian Waller

Proceedings of the Digital Watermarking, 7th International Workshop, 2008

1996

Confusion in philosophy: A comment on Williams (1992).

David M. Williams, Robert W. Scotland, Christopher J. Humphries, Darrell J. Siebert

Synth., 1996

1993

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

1989

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

Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition, 1989