Quantifier elimination supported proofs in the numerical treatment of fluid flows. - Richard Liska; Pavel Váchal (Appl. Algebra Eng. Commun. Comput., 2007)

Optimization-based synchronized flux-corrected conservative interpolation (remapping) of mass and momentum for arbitrary Lagrangian-Eulerian methods. - Richard Liska; Mikhail Yu. Shashkov; Pavel Váchal; Burton Wendroff (J. Comput. Phys., 2010)

A second-order compatible staggered Lagrangian hydrodynamics scheme using a cell-centered multidimensional approximate Riemann solver. - Raphaël Loubère; Pierre-Henri Maire; Pavel Váchal (ICCS, 2010)

Symmetry- and essentially-bound-preserving flux-corrected remapping of momentum in staggered ALE hydrodynamics. - Jan Velechovský; Milan Kucharik; Richard Liska; Mikhail Yu. Shashkov; Pavel Váchal (J. Comput. Phys., 2013)

A symmetry preserving dissipative artificial viscosity in an r-z staggered Lagrangian discretization. - Pavel Váchal; Burton Wendroff (J. Comput. Phys., 2014)

On preservation of symmetry in r-z staggered Lagrangian schemes. - Pavel Váchal; Burton Wendroff (J. Comput. Phys., 2016)

Volume change and energy exchange: How they affect symmetry in the Noh problem. - Pavel Váchal; Burton Wendroff (J. Comput. Phys., 2018)

HerEOS: A framework for consistent treatment of the Equation of State in ALE hydrodynamics. - Michal Zeman; Milan Holec; Pavel Váchal (Comput. Math. Appl., 2019)