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:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
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
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
Numer. Algorithms, 2022
CoRR, 2022
Comput. Math. Appl., 2022
2021
Proceedings of the Human Aspects of Information Security and Assurance, 2021
2020
Formal Aspects Comput., 2020
Foundations of space-time finite element methods: polytopes, interpolation, and integration.
CoRR, 2020
Comput. Math. Appl., 2020
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
Sci. Comput. Program., 2016
Formal Aspects Comput., 2016
Model of pathogen transmission between livestock and white-tailed deer in fragmented agricultural and forest landscapes.
Environ. Model. Softw., 2016
Proceedings of the From Action Systems to Distributed Systems - The Refinement Approach., 2016
2014
Proceedings of the Integrated Formal Methods - 11th International Conference, 2014
2013
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
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
Proceedings of the Digital Watermarking, 7th International Workshop, 2008
1996
1993
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