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
    5006 Bergen
  • Postadresse
    Postboks 7803
    5020 Bergen
  • Vis forfatter(e) (2023). Algebraic Reasoning About Timeliness. Electronic Proceedings in Theoretical Computer Science (EPTCS). 35-54.
  • Vis forfatter(e) (2022). The future of HPC programming - a Modern Fortran workshop.
  • Vis forfatter(e) (2022). Revisiting Language Support for Generic Programming: When Genericity Is a Core Design Goal. The Art, Science, and Engineering of Programming. 39 sider.
  • Vis forfatter(e) (2022). P3 problem and Magnolia language: Specializing array computations for emerging architectures. Frontiers in Computer Science. 1-24.
  • Vis forfatter(e) (2022). On the Algebraic Properties of Timeliness. .
  • 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 (CCIS). 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 (CCIS). 27-57.
  • Vis forfatter(e) (2021). An Ecosystem Architecture for the Magnolia Programming Language.

Se fullstendig oversikt over publikasjoner i CRIStin.