List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| NWTP 2022 - special issue Journal of Logical and Algebraic Methods in Programming | 2026-03-09 | Paper |
| Algebraic reasoning for timeliness-guided system design Journal of Logical and Algebraic Methods in Programming | 2025-12-30 | Paper |
| Semantics of multiway dataflow constraint systems Journal of Logical and Algebraic Methods in Programming | 2021-08-03 | Paper |
| Specifying with syntactic theory functors Journal of Logical and Algebraic Methods in Programming | 2020-04-22 | Paper |
| A hardware independent parallel programming model The Journal of Logic and Algebraic Programming | 2009-09-29 | Paper |
| Computable scalar fields: A basis for PDE software The Journal of Logic and Algebraic Programming | 2005-10-07 | Paper |
| scientific article; zbMATH DE number 2117128 (Why is no real title available?) | 2004-11-19 | Paper |
| Use of coordinate-free numerics in elastic wave simulation. Applied Numerical Mathematics | 2002-04-25 | Paper |
| Computation algebras MSCS. Mathematical Structures in Computer Science | 2002-02-27 | Paper |
| scientific article; zbMATH DE number 1617298 (Why is no real title available?) | 2001-07-11 | Paper |
| scientific article; zbMATH DE number 1203327 (Why is no real title available?) | 1998-09-28 | Paper |
| Shape Preserving C3 Data Interpolation and C3 Histopolation with Splines on Threefold Refined Grids ZAMM - Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik | 1997-11-12 | Paper |
Research outcomes over time
This page was built for person: Magne Haveraaen
