Hjem
Magne Haveraaens bilde

Magne Haveraaen

Professor
  • E-postMagne.Haveraaen@uib.no
  • Telefon+47 55 58 41 54
  • Besøksadresse
    HIB - Thormøhlens gate 55
  • Postadresse
    Postboks 7803
    5020 Bergen
  • Vis forfatter(e) 2021. Semantics of multiway dataflow constraint systems. Journal of Logical and Algebraic Methods in Programming. 26 sider.
  • Vis forfatter(e) 2021. Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering — A White Paper —. Communications in Computer and Information Science. 1-26.
  • Vis forfatter(e) 2021. Padding in the Mathematics of Arrays. 12 sider.
  • Vis forfatter(e) 2021. Axiom Based Testing for Fun and Pedagogy. Communications in Computer and Information Science. 27-57.
  • Vis forfatter(e) 2020. Specifying with syntactic theory functors. Journal of Logical and Algebraic Methods in Programming. 23 sider.
  • Vis forfatter(e) 2019. The Efficacy of ICT in Weather Forecast Information Dissemination: Evidence from Farming Communities in Mbale and Rakai Districts, Uganda. Climate Change Management. 23 sider.
  • Vis forfatter(e) 2019. Secure Programming: What we do (not) teach our students.
  • Vis forfatter(e) 2019. Mismatch between programmer intuition and program semantics: An education related vulnerability.
  • Vis forfatter(e) 2019. Finite difference methods fengshui: alignment through a mathematics of arrays . 12 sider.
  • Vis forfatter(e) 2019. Abstracting Scientific Array-Based Computations in High-Performance Computing Environments.

Se fullstendig oversikt over publikasjoner i CRIStin.