Hjem
Universitetet i Bergen
Magne Haveraaens bilde

Magne Haveraaen

Professor
Institutt for informatikk
Hjemmeside
  • E-postMagne.Haveraaen@uib.no
  • Telefon+47 55 58 41 54
  • Besøksadresse
    HIB - Thormøhlensgt. 55
  • Postadresse
    Postboks 7803
    5020 Bergen
  • Chetioui, Benjamin; Mullin, Lenore; Abusdal, Ole Jørgen; Haveraaen, Magne; Järvi, Jaakko Timo Henrik; Macià, Sandra. 2019. Finite difference methods fengshui: alignment through a mathematics of arrays. 1, sider 2-13. I:
    • Gibbons, Jeremy. 2019. ARRAY 2019: Proceedings of the 6th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming. Association for Computing Machinery (ACM). 104 sider. ISBN: 978-1-4503-6717-2.
  • Tuheirwe-mukasa, Doreen; Haveraaen, Magne; Sansa-otim, Julianne; Kanagwa, Benjamin; Mujuni, Godfrey Rwamahe. 2019. The Efficacy of ICT in Weather Forecast Information Dissemination: Evidence from Farming Communities in Mbale and Rakai Districts, Uganda. Climate Change Management. doi: 10.1007/978-3-030-12974-3_25
  • Burrows, Eva; Friis, Helmer Andre`; Haveraaen, Magne. 2018. An array API for finite difference methods. Accessing the Memory System, sider 59-66. I:
    • Scholz, Sven-Bodo; Shivers, Olin. 2018. Proceedings of the 5th ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming. Association for Computing Machinery (ACM). 67 sider. ISBN: 978-1-4503-5852-1.
  • Haveraaen, Magne. 2018. Proving a core code for FDM correct by 2+dw tests. Types and Correctness, sider 42-49. I:
    • Scholz, Sven-Bodo; Shivers, Olin. 2018. Proceedings of the 5th ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming. Association for Computing Machinery (ACM). 67 sider. ISBN: 978-1-4503-5852-1.
  • Haveraaen, Magne. 2017. Domain Engineering the Magnolia Way. Lecture Notes in Computer Science. 10742 LNCS: 196-210. doi: 10.1007/978-3-319-74313-4_15
  • Tuheirwe-mukasa, Doreen; Haveraaen, Magne; Sansa-otim, Julianne; Kanagwa, Benjamin; Kagwa, Andrew-Junior; Mujuni, Godfrey Rwamahe. 2017. ICT for Weather Information Dissemination: The way to Improved Agricultural Productivity. KAPITTEL, sider 31-31. I:
    • Kansiime, Frank. 2017. International Conference on Ecosystem Resilience and Agricultural Productivity (ICERAP): Livelihood Pathways under Variable and Changing Climate in Sub-Saharan Africa. Makerere University, Kampala, Uganda. 112 sider.
  • Burrows, Eva; Friis, Helmer Andre`; Haveraaen, Magne. 2016. An Array API for FDM. Vol 1, sider 59-68. I:
    • Carretero Pérez, Jesús. 2016. Proceedings of the Third International Workshop on Sustainable Ultrascale Computing Systems (NESUS 2016). 100 sider. ISBN: 978-84-617-7450-0.
  • Hasu, Tero; Haveraaen, Magne. 2016. Errors as Data Values. NIK: Norsk Informatikkonferanse.
  • Haveraaen, Magne; Morris, Karla; Rouson, Damian; Radhakrishnan, Hari; Carson, Clayton. 2015. High-performance design patterns for modern Fortran. Scientific Programming. 2015:942059. 14 sider. doi: 10.1155/2015/942059
  • Bagge, Anya Helene; Haveraaen, Magne. 2014. Specification of generic APIs, or: why algebraic may be better than pre/post. Specification of generic APIs, or: why algebraic may be better than pre/post, sider 71-80. I:
    • Feldman, Michael; Taft, Tucker. 2014. Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology. ACM Publications. 106 sider. ISBN: 978-1-4503-3217-0.

Se fullstendig oversikt over publikasjoner i CRIStin.