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
2020 – today
- 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) - [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
- [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) - [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
- [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) - [i5]David M. Williams, Qingguo Hong:
Generalized Korn's Inequalities for Piecewise H2 Vector Fields. CoRR abs/2207.00695 (2022) - 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 - [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
- [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) - [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)
2010 – 2019
- 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) - [p1]Steve A. Schneider, Helen Treharne, David M. Williams:
Event-B and Linear Temporal Logic. From Action Systems to Distributed Systems 2016: 113-123 - 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 - [i1]Steve A. Schneider, Helen Treharne, Heike Wehrheim, David M. Williams:
Managing LTL properties in Event-B refinement. CoRR abs/1406.6622 (2014) - 2013
- [j4]Efstathios Stathakidis, David M. Williams, James Heather:
Verifying a Mix Net in CSP. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 66 (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
2000 – 2009
- 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) - [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
1990 – 1999
- 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)
1980 – 1989
- 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
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-01-15 21:46 CET 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:
