Edit Magne Haveraaen Position Professor Affiliation Department of Informatics E-mail magne.haveraaen@uib.no Phone number +47 55584154 Visitor address HIB - Thormøhlens gate 555006 Bergen Postal address P.O. Box 7803 NO-5020 Bergen Norway Magne Haveraaen Position Professor Affiliation Department of Informatics Publications 2025 Seyed Hossein Haeri; Peter Van Roy; Heinrich Apfelmus et al. (2025). Algebraic reasoning for timeliness-guided system design. (external link) 1999 Magne Haveraaen; Helmer Andre Friis; Tor Arne Johansen (1999). Formal Software Engineering for Computational Modeling. (external link) 1993 Magne Haveraaen; T. Akerbæk; S. Bjorvand et al. (1993). Norsk Informatikk-konferanse (Halden, 15-17 november 1993). (external link) 2006 Anya Helene Bagge; Valentin David; Magne Haveraaen et al. (2006). Stayin' alert:: moulding failure and exceptions to your needs. (external link) 2002 Magne Haveraaen; Alexa Zsolt Anderlik (2002). on the category of data dependency algebras and embeddings. (external link) Magne Haveraaen; Adis Hodzic (2002). tensors in formal software engineering. (external link) 2000 Krister Åhlander; Magne Haveraaen; Hans Munthe-Kaas (2000). On the Role of Mathematical Abstractions for Scientific Computing. (external link) 2009 Anya Helene Bagge; Magne Haveraaen (2009). Axiom-Based Transformations: Optimisation and Testing. (external link) 2003 Otto Skrove Bagge; Magne Haveraaen (2003). Domain-Specific Optimisation with User-Defined Rules in {CodeBoost} Electronic Notes in Theoretical Computer Science. (external link) Alexa Zsolt Anderlik; Magne Haveraaen (2003). On the category of data dependency algebras and embeddings. (external link) See a complete overview of publications in NVA.
