| 2008 |
|---|
| 25 | EE | Anya Helene Bagge,
Valentin David,
Magne Haveraaen:
Axiom-based testing for C++.
OOPSLA Companion 2008: 721-722 |
| 24 | EE | Magne Haveraaen,
Karl Trygve Kalleberg:
JAxT and JDI: the simplicity of junit applied to axioms and data invariants.
OOPSLA Companion 2008: 731-732 |
| 23 | EE | Anya Helene Bagge,
Valentin David,
Magne Haveraaen:
Testing with concepts and axioms in C++.
OOPSLA Companion 2008: 773-774 |
| 2007 |
|---|
| 22 | | Till Mossakowski,
Ugo Montanari,
Magne Haveraaen:
Algebra and Coalgebra in Computer Science, Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings
Springer 2007 |
| 2006 |
|---|
| 21 | EE | Anya Helene Bagge,
Valentin David,
Magne Haveraaen,
Karl Trygve Kalleberg:
Stayin' alert: : moulding failure and exceptions to your needs.
GPCE 2006: 265-274 |
| 2005 |
|---|
| 20 | EE | Magne Haveraaen,
Helmer André Friis,
Hans Z. Munthe-Kaas:
Computable scalar fields: A basis for PDE software.
J. Log. Algebr. Program. 65(1): 36-49 (2005) |
| 2003 |
|---|
| 19 | EE | Otto Skrove Bagge,
Karl Trygve Kalleberg,
Magne Haveraaen,
Eelco Visser:
Design of the CodeBoost Transformation System for Domain-Specific Optimisation of C++ Programs.
SCAM 2003: 65- |
| 18 | EE | Otto Skrove Bagge,
Magne Haveraaen:
Domain-Specific Optimisation with User-Defined Rules in CodeBoost.
Electr. Notes Theor. Comput. Sci. 86(2): (2003) |
| 17 | | Magne Haveraaen,
Jüri Vain:
Guest Editors' Foreword.
Nord. J. Comput. 10(4): 263-264 (2003) |
| 2002 |
|---|
| 16 | EE | Magne Haveraaen,
Hans Z. Munthe-Kaas,
Krister Åhlander:
On Object-Oriented Frameworks and Coordinate Free Formulations of PDEs.
Eng. Comput. (Lond.) 18(4): 286-294 (2002) |
| 15 | | Magne Haveraaen,
Michael R. Hansen:
Guest Editors' Foreword.
Nord. J. Comput. 9(4): 267-268 (2002) |
| 2001 |
|---|
| 14 | | Michal Walicki,
Magne Haveraaen,
Sigurd Meldal:
Computation Algebras.
Mathematical Structures in Computer Science 11(5): 597-636 (2001) |
| 13 | | Magne Haveraaen,
Olaf Owe:
Guest Editors' Foreword.
Nord. J. Comput. 8(3): 277-278 (2001) |
| 2000 |
|---|
| 12 | EE | Magne Haveraaen:
Efficient Parallelisation of Recursive Problems Using Constructive Recursion (Research Note).
Euro-Par 2000: 758-761 |
| 11 | | Krister Åhlander,
Magne Haveraaen,
Hans Z. Munthe-Kaas:
On the Role of Mathematical Abstractions for Scientific Computing.
The Architecture of Scientific Software 2000: 145-158 |
| 10 | | Philip W. Grant,
Magne Haveraaen,
Michael F. Webster:
Coordinate free programming of computational fluid dynamics problems.
Scientific Programming 8(4): 211-230 (2000) |
| 9 | | Magne Haveraaen:
Machine and collection abstractions for user-implemented data-parallel programming.
Scientific Programming 8(4): 231-246 (2000) |
| 8 | | T. B. Dinesh,
Magne Haveraaen,
Jan Heering:
An algebraic programming style for numerical software and its optimization.
Scientific Programming 8(4): 247-259 (2000) |
| 7 | | Magne Haveraaen:
Case study on algebraic software methodologies for scientific computing.
Scientific Programming 8(4): 261-273 (2000) |
| 1999 |
|---|
| 6 | | Magne Haveraaen,
Eric G. Wagner:
Guarded Algebras: Disguising Partiality so You Won't Know Whether It's There.
WADT 1999: 182-200 |
| 5 | EE | T. B. Dinesh,
Magne Haveraaen,
Jan Heering:
An Algebraic Programming Style for Numerical Software and its Optimization
CoRR cs.SE/9903002: (1999) |
| 4 | | Magne Haveraaen,
Helmer André Friis,
Tor Arne Johansen:
Formal Software Engineering for Computational Modelling.
Nord. J. Comput. 6(3): 241-270 (1999) |
| 1996 |
|---|
| 3 | | Magne Haveraaen,
Olaf Owe,
Ole-Johan Dahl:
Recent Trends in Data Type Specification, 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995, Selected Papers
Springer 1996 |
| 1990 |
|---|
| 2 | | Magne Haveraaen:
Distributing Programs on Different Parallel Architectures.
ICPP (2) 1990: 288-289 |
| 1988 |
|---|
| 1 | | Magne Haveraaen:
The PAL Module Concept.
ADT 1988 |
