2006

• Anya Helene Bagge; Valentin David; Magne Haveraaen et al. (2006). Stayin' alert:: moulding failure and exceptions to your needs. (ekstern lenke)

2009

• Anya Helene Bagge; Magne Haveraaen (2009). Axiom-Based Transformations: Optimisation and Testing. (ekstern lenke)
• Magne Haveraaen; Helmer Andre Friis (2009). Coordinate-free numerics: all your variation points for free?. (ekstern lenke)

2000

• Magne Haveraaen; Eric G. Wagner (2000). Guarded Algebras: Disguising Partiality so You Won't Know Whether its There. (ekstern lenke)
• Magne Haveraaen (2000). Efficient Parallelisation of Recursive ProblemsUsing Constructive Recursion. (ekstern lenke)

2001

• t.b. Dinesh; Magne Haveraaen; Jan Heering (2001). An Algebraic Programming Style for Numerical Software and its Optimisation. (ekstern lenke)

2022

• Benjamin Chetioui; Jaakko Timo Henrik Järvi; Magne Haveraaen (2022). Revisiting Language Support for Generic Programming: When Genericity Is a Core Design Goal. (ekstern lenke)

2002

• Krister Åhlander; Magne Haveraaen; Hans Munthe-Kaas (2002). On Object-Oriented Frameworks and Coordinate Free Formulations of {PDE}s. (ekstern lenke)

2005

• Magne Haveraaen (2005). Algebraic specifications: domain engineering, software testing and code optimisation. (ekstern lenke)

2014

• Anya Helene Bagge; Magne Haveraaen (2014). Specification of generic APIs, or: why algebraic may be better than pre/post. (ekstern lenke)

See a complete overview of publications in NVA.