Rediger Magne Haveraaen Stilling Professor Tilhørighet Institutt for informatikk E-post magne.haveraaen@uib.no Telefonnummer +47 55584154 Besøksadresse HIB - Thormøhlens gate 555006 Bergen Postadresse Postboks 78035020 Bergen Følg meg Nettsted Magne Haveraaen Stilling Professor Tilhørighet Institutt for informatikk Publikasjoner 2025 Seyed Hossein Haeri; Peter Van Roy; Heinrich Apfelmus et al. (2025). Algebraic reasoning for timeliness-guided system design. (ekstern lenke) 1999 Magne Haveraaen; Helmer Andre Friis; Tor Arne Johansen (1999). Formal Software Engineering for Computational Modeling. (ekstern lenke) 1993 Magne Haveraaen; T. Akerbæk; S. Bjorvand et al. (1993). Norsk Informatikk-konferanse (Halden, 15-17 november 1993). (ekstern lenke) 2006 Anya Helene Bagge; Valentin David; Magne Haveraaen et al. (2006). Stayin' alert:: moulding failure and exceptions to your needs. (ekstern lenke) 2002 Magne Haveraaen; Alexa Zsolt Anderlik (2002). on the category of data dependency algebras and embeddings. (ekstern lenke) Magne Haveraaen; Adis Hodzic (2002). tensors in formal software engineering. (ekstern lenke) 2000 Krister Åhlander; Magne Haveraaen; Hans Munthe-Kaas (2000). On the Role of Mathematical Abstractions for Scientific Computing. (ekstern lenke) 2009 Anya Helene Bagge; Magne Haveraaen (2009). Axiom-Based Transformations: Optimisation and Testing. (ekstern lenke) 2003 Otto Skrove Bagge; Magne Haveraaen (2003). Domain-Specific Optimisation with User-Defined Rules in {CodeBoost} Electronic Notes in Theoretical Computer Science. (ekstern lenke) Alexa Zsolt Anderlik; Magne Haveraaen (2003). On the category of data dependency algebras and embeddings. (ekstern lenke) Se en fullstendig oversikt over publikasjoner i NVA.