Evaluation of plasma fluid equations collision integrals using REDUCE. - Richard Liska; L. Drska (EUROCAL, 1987)

Application of the REDUCE Computer Algebra System to Stability Analysis of Difference Schemes. - Victor G. Ganzha; Richard Liska (Computers and Mathematics, 1989)

FIDE: a REDUCE package for automation of FInite difference method for solving pDE. - Richard Liska; L. Drsda (ISSAC, 1990)

Algorithms for Difference Schemes construction on Non-Orthogonal Logically Rectangular Meshes. - Richard Liska; Mikhail Yu. Shashkov (ISSAC, 1991)

Applying Quantifier Elimination to Stability Analysis of Difference Schemes. - Richard Liska; Stanly L. Steinberg (Comput. J., 1993)

Testing Stability by Quantifier Elimination. - Hoon Hong; Richard Liska; Stanly L. Steinberg (J. Symb. Comput., 1997)

Generation and Verification of Algorithms for Symbolic-Numeric Processing. - Ladislav Kocbach; Richard Liska (J. Symb. Comput., 1998)

Where Numerics Can Benefit from Computer Algebra in Finite Difference Modelling of Fluid Flows. - Richard Liska; Burton Wendroff (CASC, 1999)

Comparison of Several Difference Schemes on 1D and 2D Test Problems for the Euler Equations. - Richard Liska; Burton Wendroff (SIAM J. Sci. Comput., 2003)

Analysis and optimization of inner products for mimetic finite difference methods on a triangular grid. - Richard Liska; Mikhail Yu. Shashkov; Victor G. Ganzha (Math. Comput. Simul., 2004)

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)

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)

Some cell-centered Lagrangian Lax-Wendroff HLL hybrid schemes. - David Fridrich; Richard Liska; Burton Wendroff (J. Comput. Phys., 2016)

Wave-based laser absorption method for high-order transport-hydrodynamic codes. - Jan Nikl; Milan Kucharik; Jirí Limpouch; Richard Liska; Stefan Weber (Adv. Comput. Math., 2019)

Cell-centered Lagrangian Lax-Wendroff HLL hybrid scheme in cylindrical geometry. - David Fridrich; Richard Liska; Burton Wendroff (J. Comput. Phys., 2020)

Cell-centered Lagrangian Lax-Wendroff HLL hybrid scheme in 3D. - Matej Klima; Milan Kucharik; Richard Liska (J. Comput. Phys., 2024)