Magne Haveraaen
From MaRDI portal
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 <i>C</i><sup>3</sup> Data Interpolation and <i>C</i><sup>3</sup> 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
