Formal Software Engineering for Computational Modelling. - Magne Haveraaen; Helmer André Friis; Tor Arne Johansen (Nord. J. Comput., 1999)

Computable scalar fields: A basis for PDE software. - Magne Haveraaen; Helmer André Friis; Hans Z. Munthe-Kaas (J. Log. Algebraic Methods Program., 2005)

Symmetric Positive Definite Flux-Continuous Full-Tensor Finite-Volume Schemes on Unstructured Cell-Centered Triangular Grids. - Helmer André Friis; Michael G. Edwards; Johannes Mykkeltveit (SIAM J. Sci. Comput., 2008)

Coordinate-free numerics: all your variation points for free? - Magne Haveraaen; Helmer André Friis (Int. J. Comput. Sci. Eng., 2009)

A family of MPFA finite-volume schemes with full pressure support for the general tensor pressure equation on cell-centered triangular grids. - Helmer André Friis; Michael G. Edwards (J. Comput. Phys., 2011)

Global Weak Solutions for a Gas-Liquid Model with External Forces and General Pressure Law. - Helmer André Friis; Steinar Evje (SIAM J. Appl. Math., 2011)

Well-posedness of a Compressible Gas-liquid Model with a Friction Term Important for Well Control Operations. - Helmer André Friis; Steinar Evje (SIAM J. Appl. Math., 2011)

An array API for finite difference methods. - Eva Burrows; Helmer André Friis; Magne Haveraaen (ARRAY@PLDI, 2018)

A locally conservative multiphase level set method for capillary-controlled displacements in porous media. - Espen Jettestuen; Helmer André Friis; Johan Olav Helland (J. Comput. Phys., 2021)