default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDavid M. Williams
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2024
[j18]Nilima Nigam, David M. Williams:
Conforming finite element function spaces in four dimensions, part I: Foundational principles and the tesseract. Comput. Math. Appl. 166: 198-223 (2024)- [j17]David M. Williams, Nilima Nigam
:
Conforming finite element function spaces in four dimensions, part II: The pentatope and tetrahedral prism. Comput. Math. Appl. 167: 21-53 (2024) - 2023
- [j16]Jude T. Anderson, David M. Williams, Andrew Corrigan:
Surface And Hypersurface Meshing Techniques for Space-Time Finite Element Methods. Comput. Aided Des. 163: 103574 (2023) - 2022
- [j15]Edward A. Miller, Xi Chen, David M. Williams:
Versatile mixed methods for non-isothermal incompressible flows. Comput. Math. Appl. 125: 150-175 (2022) - [j14]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): 671-709 (2022) - 2020
- [j13]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): 1405-1420 (2020) - [j12]Xi Chen, David M. Williams:
Versatile mixed methods for the incompressible Navier-Stokes equations. Comput. Math. Appl. 80(6): 1555-1577 (2020) - [j11]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): 251-273 (2020) - 2019
- [j10]David M. Williams:
An analysis of discontinuous Galerkin methods for the compressible Euler equations: entropy and \(L_2\) stability. Numerische Mathematik 141(4): 1079-1120 (2019) - 2018
- [j9]David M. Williams:
An entropy stable, hybridizable discontinuous Galerkin method for the compressible Navier-Stokes equations. Math. Comput. 87(309): 95-121 (2018) - 2016
- [j8]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: 185-200 (2016) - [j7]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): 909-935 (2016) - [j6]Lars Lockefeer, David M. Williams, Wan J. Fokkink:
Formal specification and verification of TCP extended with the Window Scale Option. Sci. Comput. Program. 118: 3-23 (2016) - [j5]Efstathios Stathakidis, David M. Williams, James Heather:
Constructing and verifying a robust Mix Net using CSP. Softw. Syst. Model. 15(4): 1063-1089 (2016) - 2013
- [j4]Efstathios Stathakidis, David M. Williams, James Heather:
Verifying a Mix Net in CSP. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 66 (2013) - 2008
- [j3]David M. Williams, John Armstrong:
Promotion, speculation and their outcome: The "steamship mania" of 1824-1825. Aslib Proc. 60(6): 642-660 (2008) - 1996
- [j2]David M. Williams, Robert W. Scotland, Christopher J. Humphries, Darrell J. Siebert:
Confusion in philosophy: A comment on Williams (1992). Synth. 108(1): 127-136 (1996) - 1993
- [j1]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): 361-365 (1993)
Conference and Workshop Papers
- 2021
- [c9]Max Clasen, Fudong Li, David M. Williams:
Friend or Foe: An Investigation into Recipient Identification of SMS-Based Phishing. HAISA 2021: 148-163 - 2014
- [c8]Lars Lockefeer, David M. Williams, Wan J. Fokkink:
Formal Specification and Verification of TCP Extended with the Window Scale Option. FMICS 2014: 63-77 - [c7]Steve A. Schneider, Helen Treharne, Heike Wehrheim, David M. Williams:
Managing LTL Properties in Event-B Refinement. IFM 2014: 221-237 - 2013
- [c6]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: 189-204 - 2012
- [c5]David M. Williams, Joeri de Ruiter, Wan J. Fokkink:
Model Checking under Fairness in ProB and Its Application to Fair Exchange Protocols. ICTAC 2012: 168-182 - 2010
- [c4]David M. Williams, Helen Treharne, Anthony T. S. Ho:
On the Importance of One-time Key Pairs in Buyer-seller Watermarking Protocols. SECRYPT 2010: 441-446 - 2008
- [c3]David M. Williams, Helen Treharne, Anthony T. S. Ho, Adrian Waller:
Formal Analysis of Two Buyer-Seller Watermarking Protocols. IWDW 2008: 278-292 - [c2]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: 205-214 - 1989
- [c1]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: 582-587
Parts in Books or Collections
- 2016
- [p1]Steve A. Schneider, Helen Treharne, David M. Williams:
Event-B and Linear Temporal Logic. From Action Systems to Distributed Systems 2016: 113-123
Informal and Other Publications
- 2025
- [i15]David M. Williams, Mathijs Wintraecken:
Error estimates for the interpolation and approximation of gradients and vector fields on protected Delaunay meshes in Rd. CoRR abs/2505.18987 (2025) - 2024
- [i14]Edward A. Miller, David M. Williams:
Versatile mixed methods for compressible flows. CoRR abs/2402.18660 (2024) - [i13]Trenton J. Gobel, David M. Williams:
An explicit construction of optimized interpolation points on the 4-simplex. CoRR abs/2404.17102 (2024) - [i12]Logan Larose, Jude T. Anderson, David M. Williams:
Spline-based solution transfer for space-time methods in 2D+t. CoRR abs/2409.11639 (2024) - [i11]David M. Williams, Mathijs Wintraecken:
Quasi-optimal interpolation of gradients and vector-fields on protected Delaunay meshes in ℝd. CoRR abs/2412.02551 (2024) - [i10]David M. Williams, Hiroaki Nishikawa:
Properties of median-dual regions on triangulations in ℝ4 with extensions to higher dimensions. CoRR abs/2412.02555 (2024) - 2023
- [i9]Jude T. Anderson, David M. Williams, Andrew Corrigan:
Surface and hypersurface meshing techniques for space-time finite element methods. CoRR abs/2301.12079 (2023) - [i8]Nilima Nigam, David M. Williams:
Conforming Finite Element Function Spaces in Four Dimensions, Part 1: Foundational Principles and the Tesseract. CoRR abs/2308.06243 (2023) - [i7]David M. Williams, Nilima Nigam:
Conforming Finite Element Function Spaces in Four Dimensions, Part II: The Pentatope and Tetrahedral Prism. CoRR abs/2308.06258 (2023) - [i6]Jude T. Anderson, David M. Williams:
Space-time hypervolume meshing part 1: Point insertion, geometric predicates, and bistellar flips. CoRR abs/2312.17414 (2023) - 2022
- [i5]David M. Williams, Qingguo Hong:
Generalized Korn's Inequalities for Piecewise H2 Vector Fields. CoRR abs/2207.00695 (2022) - 2021
- [i4]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 abs/2101.05884 (2021) - 2020
- [i3]Xi Chen, David M. Williams:
Versatile Mixed Methods for the Incompressible Navier-Stokes Equations. CoRR abs/2007.08015 (2020) - [i2]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 abs/2012.08701 (2020) - 2014
- [i1]Steve A. Schneider, Helen Treharne, Heike Wehrheim, David M. Williams:
Managing LTL properties in Event-B refinement. CoRR abs/1406.6622 (2014)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-06-27 19:37 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
