David M. Williams

Orcid: 0000-0002-5272-8058

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Spline-based solution transfer for space-time methods in 2D+t.
CoRR, 2024

An explicit construction of optimized interpolation points on the 4-simplex.
CoRR, 2024

Versatile mixed methods for compressible flows.
CoRR, 2024

Conforming finite element function spaces in four dimensions, part II: The pentatope and tetrahedral prism.
Comput. Math. Appl., 2024

Conforming finite element function spaces in four dimensions, part I: Foundational principles and the tesseract.
Comput. Math. Appl., 2024

2023
Surface And Hypersurface Meshing Techniques for Space-Time Finite Element Methods.
Comput. Aided Des., October, 2023

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

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

2022
Enabling four-dimensional conformal hybrid meshing with cubic pyramids.
Numer. Algorithms, 2022

Generalized Korn's Inequalities for Piecewise H<sup>2</sup> Vector Fields.
CoRR, 2022

Versatile mixed methods for non-isothermal incompressible flows.
Comput. Math. Appl., 2022

2021
Friend or Foe: An Investigation into Recipient Identification of SMS-Based Phishing.
Proceedings of the Human Aspects of Information Security and Assurance, 2021

2020
Legislation-driven development of a Gift Aid system using Event-B.
Formal Aspects Comput., 2020

Foundations of space-time finite element methods: polytopes, interpolation, and integration.
CoRR, 2020

A family of symmetric, optimized quadrature rules for pentatopes.
Comput. Math. Appl., 2020

Versatile mixed methods for the incompressible Navier-Stokes equations.
Comput. Math. Appl., 2020

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

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

2016
Constructing and verifying a robust Mix Net using CSP.
Softw. Syst. Model., 2016

Formal specification and verification of TCP extended with the Window Scale Option.
Sci. Comput. Program., 2016

Foundations for using linear temporal logic in Event-B refinement.
Formal Aspects Comput., 2016

Model of pathogen transmission between livestock and white-tailed deer in fragmented agricultural and forest landscapes.
Environ. Model. Softw., 2016

Event-B and Linear Temporal Logic.
Proceedings of the From Action Systems to Distributed Systems - The Refinement Approach., 2016

2014
Managing LTL Properties in Event-B Refinement.
Proceedings of the Integrated Formal Methods - 11th International Conference, 2014

2013
Verifying a Mix Net in CSP.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

Verification of Scheme Plans Using CSP $$||$$ | | B.
Proceedings of the Software Engineering and Formal Methods, 2013

2012
Model Checking under Fairness in ProB and Its Application to Fair Exchange Protocols.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2012, 2012

2010
On the Importance of One-time Key Pairs in Buyer-seller Watermarking Protocols.
Proceedings of the SECRYPT 2010, 2010

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

Using a formal analysis technique to identify an unbinding attack on a buyer-seller watermarking protocol.
Proceedings of the 10th workshop on Multimedia & Security, 2008

Formal Analysis of Two Buyer-Seller Watermarking Protocols.
Proceedings of the Digital Watermarking, 7th International Workshop, 2008

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

1993
Polynomial modeling and reduction of RF body coil spatial inhomogeneity in MRI.
IEEE Trans. Medical Imaging, 1993

1989
Application of robust sequential edge detection and linking to boundaries of low contrast lesions in medical images.
Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition, 1989


  Loading...