David M. Williams

44 papers A* 1B 1C 4Journal 34Unranked 3

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Error estimates for the interpolation and approximation of gradients and vector fields on protected Delaunay meshes in R CoRR David M. Williams, Mathijs Wintraecken
2025	J	`jnl`	Implementation of Worsey-Farin splines with applications to solution transfer. CoRR Logan Larose, David M. Williams
2024	J	`jnl`	An explicit construction of optimized interpolation points on the 4-simplex. CoRR Trenton J. Gobel, David M. Williams
2024	J	`jnl`	Conforming finite element function spaces in four dimensions, part I: Foundational principles and the tesseract. Comput. Math. Appl. Nilima Nigam, David M. Williams
2024	J	`jnl`	Conforming finite element function spaces in four dimensions, part II: The pentatope and tetrahedral prism. Comput. Math. Appl. David M. Williams, Nilima Nigam
2024	J	`jnl`	Properties of median-dual regions on triangulations in ℝ CoRR David M. Williams, Hiroaki Nishikawa
2024	J	`jnl`	Quasi-optimal interpolation of gradients and vector-fields on protected Delaunay meshes in ℝ CoRR David M. Williams, Mathijs Wintraecken
2024	J	`jnl`	Spline-based solution transfer for space-time methods in 2D+t. CoRR Logan Larose, Jude T. Anderson, David M. Williams
2024	J	`jnl`	Versatile mixed methods for compressible flows. CoRR Edward A. Miller, David M. Williams
2023	J	`jnl`	Conforming Finite Element Function Spaces in Four Dimensions, Part 1: Foundational Principles and the Tesseract. CoRR Nilima Nigam, David M. Williams
2023	J	`jnl`	Conforming Finite Element Function Spaces in Four Dimensions, Part II: The Pentatope and Tetrahedral Prism. CoRR David M. Williams, Nilima Nigam
2023	J	`jnl`	Space-time hypervolume meshing part 1: Point insertion, geometric predicates, and bistellar flips. CoRR Jude T. Anderson, David M. Williams
2023	J	`jnl`	Surface And Hypersurface Meshing Techniques for Space-Time Finite Element Methods. Comput. Aided Des. Jude T. Anderson, David M. Williams, Andrew Corrigan
2023	J	`jnl`	Surface and hypersurface meshing techniques for space-time finite element methods. CoRR Jude T. Anderson, David M. Williams, Andrew Corrigan
2022	J	`jnl`	Enabling four-dimensional conformal hybrid meshing with cubic pyramids. Numer. Algorithms Miroslav S. Petrov, Todor D. Todorov, Gage S. Walters, David M. Williams, Freddie D. Witherden
2022	J	`jnl`	Generalized Korn's Inequalities for Piecewise H CoRR David M. Williams, Qingguo Hong
2022	J	`jnl`	Versatile mixed methods for non-isothermal incompressible flows. Comput. Math. Appl. Edward A. Miller, Xi Chen, David M. Williams
2021	J	`jnl`	Enabling four-dimensional conformal hybrid meshing with cubic pyramids. CoRR Miroslav S. Petrov, Todor D. Todorov, Gage S. Walters, David M. Williams, Freddie D. Witherden
2021	—	`conf`	Friend or Foe: An Investigation into Recipient Identification of SMS-Based Phishing. HAISA Max Clasen, Fudong Li, David M. Williams
2020	J	`jnl`	A family of symmetric, optimized quadrature rules for pentatopes. Comput. Math. Appl. David M. Williams, Cory V. Frontin, Edward A. Miller, David L. Darmofal
2020	J	`jnl`	Foundations of space-time finite element methods: polytopes, interpolation, and integration. CoRR Cory V. Frontin, Gage S. Walters, Freddie D. Witherden, Carl W. Lee, David M. Williams, David L. Darmofal
2020	J	`jnl`	Legislation-driven development of a Gift Aid system using Event-B. Formal Aspects Comput. David M. Williams, Salaheddin Darwish, Steve Schneider, David R. Michael
2020	J	`jnl`	Versatile Mixed Methods for the Incompressible Navier-Stokes Equations. CoRR Xi Chen, David M. Williams
2020	J	`jnl`	Versatile mixed methods for the incompressible Navier-Stokes equations. Comput. Math. Appl. Xi Chen, David M. Williams
2019	J	`jnl`	An analysis of discontinuous Galerkin methods for the compressible Euler equations: entropy and $L_2$ stability. Numerische Mathematik David M. Williams
2018	J	`jnl`	An entropy stable, hybridizable discontinuous Galerkin method for the compressible Navier-Stokes equations. Math. Comput. David M. Williams
2016	J	`jnl`	Constructing and verifying a robust Mix Net using CSP. Softw. Syst. Model. Efstathios Stathakidis, David M. Williams, James Heather
2016	—	`ch.`	Event-B and Linear Temporal Logic. From Action Systems to Distributed Systems Steve A. Schneider, Helen Treharne, David M. Williams
2016	J	`jnl`	Formal specification and verification of TCP extended with the Window Scale Option. Sci. Comput. Program. Lars Lockefeer, David M. Williams, Wan J. Fokkink
2016	J	`jnl`	Foundations for using linear temporal logic in Event-B refinement. Formal Aspects Comput. Thai Son Hoang, Steve A. Schneider, Helen Treharne, David M. Williams
2016	J	`jnl`	Model of pathogen transmission between livestock and white-tailed deer in fragmented agricultural and forest landscapes. Environ. Model. Softw. Andrey K. Guber, David M. Williams, Amy C. Dechen Quinn, Sushil B. Tamrakar, William F. Porter, Joan B. Rose
2014	C	`conf`	Formal Specification and Verification of TCP Extended with the Window Scale Option. FMICS Lars Lockefeer, David M. Williams, Wan J. Fokkink
2014	B	`conf`	Managing LTL Properties in Event-B Refinement. IFM Steve A. Schneider, Helen Treharne, Heike Wehrheim, David M. Williams
2014	J	`jnl`	Managing LTL properties in Event-B refinement. CoRR Steve A. Schneider, Helen Treharne, Heike Wehrheim, David M. Williams
2013	—	`conf`	Verification of Scheme Plans Using CSP $$\|\|$$ \| \| B. SEFM Workshops Phillip James, Faron Moller, Hoang Nga Nguyen, Markus Roggenbach, Steve A. Schneider, Helen Treharne, Matthew Trumble, David M. Williams
2013	J	`jnl`	Verifying a Mix Net in CSP. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Efstathios Stathakidis, David M. Williams, James Heather
2012	C	`conf`	Model Checking under Fairness in ProB and Its Application to Fair Exchange Protocols. ICTAC David M. Williams, Joeri de Ruiter, Wan J. Fokkink
2010	C	`conf`	On the Importance of One-time Key Pairs in Buyer-seller Watermarking Protocols. SECRYPT David M. Williams, Helen Treharne, Anthony T. S. Ho
2008	C	`conf`	Formal Analysis of Two Buyer-Seller Watermarking Protocols. IWDW David M. Williams, Helen Treharne, Anthony T. S. Ho, Adrian Waller
2008	J	`jnl`	Promotion, speculation and their outcome: The "steamship mania" of 1824-1825. Aslib Proc. David M. Williams, John Armstrong
2008	—	`conf`	Using a formal analysis technique to identify an unbinding attack on a buyer-seller watermarking protocol. MM&Sec David M. Williams, Helen Treharne, Anthony T. S. Ho, Chris Culnane
1996	J	`jnl`	Confusion in philosophy: A comment on Williams (1992). Synth. David M. Williams, Robert W. Scotland, Christopher J. Humphries, Darrell J. Siebert
1993	J	`jnl`	Polynomial modeling and reduction of RF body coil spatial inhomogeneity in MRI. IEEE Trans. Medical Imaging M. Tincher, Charles R. Meyer, R. Gupta, David M. Williams
1989	A*	`conf`	Application of robust sequential edge detection and linking to boundaries of low contrast lesions in medical images. CVPR Linnan Liu, Peyton H. Bland, David M. Williams, Brian G. Schunck, Charles R. Meyer