| Publication | Date of Publication | Type |
|---|
Space-time hypervolume meshing part 1: Point insertion, geometric predicates, and bistellar flips
(available as arXiv preprint) | N/A | Paper |
Versatile mixed methods for compressible flows
(available as arXiv preprint) | N/A | Paper |
An explicit construction of optimized interpolation points on the 4-simplex
(available as arXiv preprint) | N/A | Paper |
An explicit construction of optimized interpolation points on the 4-simplex
Journal of Engineering Mathematics | 2025-07-30 | Paper |
Generalized Korn's inequalities for piecewise \(H^1\) and \(H^2\) vector fields
Mathematics of Computation | 2024-08-21 | Paper |
| Conforming Finite Element Function Spaces in Four Dimensions, Part 1: Foundational Principles and the Tesseract | 2023-08-11 | Paper |
| Conforming Finite Element Function Spaces in Four Dimensions, Part II: The Pentatope and Tetrahedral Prism | 2023-08-11 | Paper |
| Surface and hypersurface meshing techniques for space-time finite element methods | 2023-01-27 | Paper |
Versatile mixed methods for non-isothermal incompressible flows
Computers & Mathematics with Applications | 2022-10-28 | Paper |
Enabling four-dimensional conformal hybrid meshing with cubic pyramids
Numerical Algorithms | 2022-09-14 | Paper |
| Generalized Korn's Inequalities for Piecewise $H^2$ Vector Fields | 2022-07-01 | Paper |
Integration bounds for the regular simplex in \(n\)-dimensional space
International Journal of Mathematical Education in Science and Technology | 2022-04-19 | Paper |
Foundations of space-time finite element methods: polytopes, interpolation, and integration
Applied Numerical Mathematics | 2021-06-03 | Paper |
Versatile mixed methods for the incompressible Navier-Stokes equations
Computers & Mathematics with Applications | 2020-11-07 | Paper |
A family of symmetric, optimized quadrature rules for pentatopes
Computers & Mathematics with Applications | 2020-09-07 | Paper |
An analysis of discontinuous Galerkin methods for the compressible Euler equations: entropy and \(L_2\) stability
Numerische Mathematik | 2019-03-18 | Paper |
An entropy stable, hybridizable discontinuous Galerkin method for the compressible Navier-Stokes equations
Mathematics of Computation | 2017-10-30 | Paper |
Energy stable flux reconstruction schemes for advection-diffusion problems on triangles
Journal of Computational Physics | 2016-11-15 | Paper |
Foundations for using linear temporal logic in Event-B refinement
Formal Aspects of Computing | 2016-10-28 | Paper |
Energy stable flux reconstruction schemes for advection-diffusion problems on tetrahedra
Journal of Scientific Computing | 2014-10-10 | Paper |
Erratum to: ``Energy stable flux reconstruction schemes for advection-diffusion problems on tetrahedra''
Journal of Scientific Computing | 2014-10-10 | Paper |
Symmetric quadrature rules for simplexes based on sphere close packed lattice arrangements
Journal of Computational and Applied Mathematics | 2014-08-05 | Paper |
Energy stable flux reconstruction schemes for advection-diffusion problems
Computer Methods in Applied Mechanics and Engineering | 2014-05-14 | Paper |
Model checking under fairness in ProB and its application to fair exchange protocols
Theoretical Aspects of Computing – ICTAC 2012 | 2012-09-21 | Paper |
Weak solutions for a simple hyperbolic system
Electronic Journal of Probability | 2001-12-10 | Paper |
Weak solutions for a simple hyperbolic system
Electronic Journal of Probability | 2001-12-10 | Paper |
