Magne Haveraaens bilde
Magne
Haveraaen
Professor
Besøksadresse: 
HIB - Thormøhlensgt. 55
5020 Bergen
Postadresse: 
Postboks 7803
5020 Bergen
Telefon: 
+47 55 58 41 54
Last ned visittkort
Bøker
  • Mossakowski, Till; Montanari, Ugo; Haveraaen, Magne. 2007. Algebra and Coalgebra in Computer Science, Second International Conference, CALCO 2007. Springer. 461 sider. ISBN: 978-3-540-73857-2.
  • Haveraaen, Magne; Vain, Jüri. 2003. Selected papers from the {F}ourteenth {N}ordic {W}orkshop on {P}rogramming {T}heory ({NWPT'02}), {N}ovember, 2002.
  • Hansen, Michael R.; Haveraaen, Magne. 2002. Selected papers from the {T}hirteenth {N}ordic {W}orkshop on {P}rogramming {T}heory ({NWPT'01}), {O}ctober, 2001. 136 sider.
  • Haveraaen, Magne; Owe, Olaf. 2001. Nordic Journal of Computing, volume 8, number 3, fall 2001. 277 sider.
  • Haveraaen, Magne; Owe, Olaf; Dahl, Ole-Johan. 1996. Recent Trends in Data Type Specification, 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995. Selected Papers. Springer. 550 sider. ISBN: 3-540-61629-2.
  • Haveraaen, Magne; Irgens, Benedicte Mosby; Jansen, Alf-Inge; Krogdahl, S.; Maus, A.; Meldal, S. 1995. Norsk informatikkonferanse - NIK'95 (Oslo, 20.-22. November 1995). 318 sider. ISBN: 82-519-1409-4.
  • Haveraaen, Magne; Jæger, Bjørn; Bjorvand, S.; Karlsen, Randi; Krogdahl, S.; Meldal, S. 1994. Norsk informatikkonferanse - NIK'94 : Molde, 14.-16. November 1994. 341 sider. ISBN: 82-519-1428-0.
  • Haveraaen, Magne; Akerbæk, T.; Bjorvand, S.; Brox, E.; Eliassen, F.; Ellingsen, K.; Krogdahl, S.; Maus, A.; Meldal, S.; Olstad, B. 1993. Norsk Informatikk-konferanse (Halden, 15-17 november 1993). 284 sider. ISBN: 82-519-1460-4.
Tidsskriftartikler
  • Hasu, Tero; Bagge, Anya Helene; Haveraaen, Magne. 2013. Inferring Required Permissions for Statically Composed Programs. Lecture Notes in Computer Science. 8208: 51-55. doi: 10.1007/978-3-642-41488-6_4
  • Bagge, Anya Helene; David, Valentin; Haveraaen, Magne. 2011. Testing with Axioms in C++ 2011. Journal of Object Technology. 10: 1-32. doi: 10.5381/jot.2011.10.1.a10
  • Bagge, Anya Helene; David, Valentin Francois R; Haveraaen, Magne. 2010. The Axioms Strike Back: Testing with Concepts and Axioms in C plus. SIGPLAN notices. 45: 15-24.
  • Bagge, Anya Helene; Haveraaen, Magne. 2010. Interfacing concepts: Why declaration style shouldn't matter. Electronical Notes in Theoretical Computer Science. 253: 37-50. doi: 10.1016/j.entcs.2010.08.030
  • Bagge, Anya Helene; Haveraaen, Magne. 2009. Axiom-Based Transformations: Optimisation and Testing. Electronical Notes in Theoretical Computer Science. 238: 17-33. doi: 10.1016/j.entcs.2009.09.038
  • Burrows, Eva; Haveraaen, Magne. 2009. A hardware independent parallel programming model. Journal of Logic and Algebraic Programming. 78: 519-538. doi: 10.1016/j.jlap.2009.06.002
  • Haveraaen, Magne; Friis, Helmer Andre. 2009. Coordinate-free numerics: all your variation points for free? International Journal of Computational Science and Engineering (IJCSE). 4. doi: 10.1504/IJCSE.2009.029159
  • Haveraaen, Magne; Friis, Helmer Andre; Munthe-Kaas, Hans. 2005. Computable Scalar Fields: a basis for {PDE} software. Journal of Logic and Algebraic Programming. 65: 36-49. doi: 10.1016/j.jlap.2004.12.001
  • Haveraaen, Magne. 2004. Efficient parallelisation of recursive problems using constructive recursion. Lecture Notes in Computer Science. 1900: 758-761.
  • Anderlik, Alexa Zsolt; Haveraaen, Magne. 2003. On the category of data dependency algebras and embeddings. Proceedings of the Estonian Academy of Sciences : Physics, Mathematics. 52: 337-355.
  • Bagge, Otto Skrove; Haveraaen, Magne. 2003. Domain-Specific Optimisation with User-Defined Rules in {CodeBoost} Electronic Notes in Theoretical Computer Science. http://www.elsevier.nl/gej-ng/31/29/23/135/47/show/Products/notes/index.htt#008.
  • Åhlander, Krister; Haveraaen, Magne; Munthe-Kaas, Hans. 2002. On Object-Oriented Frameworks and Coordinate Free Formulations of {PDE}s. Engineering with Computers. 18: 286-294.
  • Dinesh, t.b.; Haveraaen, Magne; Heering, Jan. 2001. An Algebraic Programming Style for Numerical Software and its Optimisation. Scientific Programming. 8: 247-260.
  • Friis, Helmer Andre; Johansen, Tor Arne; Haveraaen, Magne; Munthe-Kaas, Hans; Drottning, Åsmund. 2001. Use of coordinate free numerics in elastic wave simulation. Applied Numerical Mathematics. 39: 151-171.
  • Grant, Phil W.; Haveraaen, Magne; Webster, Mike F. 2001. Coordinate Free Programming of Computational Fluid Dynamics Problems. Scientific Programming. 8: 211-230.
  • Haveraaen, Magne. 2001. Case Study on Algebraic Software Methodologies for Scientific Computing. Scientific Programming. 8: 261-273.
  • Haveraaen, Magne. 2001. Machine and Collection Abstractions for User-Implemented Data-Parallel Programming. Scientific Programming. 8: 231-246.
  • Walicki, Michal; Haveraaen, Magne; Meldal, Sigurd. 2001. Computation Algebras. Mathematical Structures in Computer Science. 11: 597-636.
  • Haveraaen, Magne. 2000. Efficient Parallelisation of Recursive ProblemsUsing Constructive Recursion. Euro-Par 2000 -- Parallel Processing, lecture notes in computer science. 1900. 758-761.
  • Haveraaen, Magne; Wagner, Eric G. 2000. Guarded Algebras: Disguising Partiality so You Won't Know Whether its There. Recent Trends in Algebraic Development Techniques, lecture notes in computer science. 1827. 182-200.
  • Haveraaen, Magne; Friis, Helmer Andre; Johansen, Tor Arne. 1999. Formal Software Engineering for Computational Modelling. njc. 6: 241-270.
Rapporter/avhandlinger
  • Haveraaen, Magne; Lenisa, Marina; Power, John; Seisenberger, Monika. 2010. Proceedings of CALCO Young Researchers Workshop - CALCO-jnr 2009. Technical Report of the University of Udine. 5-2010. Università di Udine, Dipartimento di Matematica e Informatica, via delle Scienze 206, I-33100 Udine, Italy. 104 sider.
  • Bagge, Anya Helene; David, Valentin; Haveraaen, Magne. 2008. Testing with Concepts and Axioms in C++. Reports in Informatics. 368. Institutt for Informatikk, Universitetet i Bergen, Bergen. 18 sider.
  • Haveraaen, Magne. 2002. Coordinate free numerics - A software approach to scientific computing. 112 sider.
  • Bagge, Otto Skrove; Haveraaen, Magne; Visser, Eelco. 2001. CodeBoost -- A Framework for Transforming {C++} Programs. Instituut voor Informatica en Informatiekunde, Universiteit Utrecht, Utrecht, NL. 14 sider.
  • Haveraaen, Magne. 2000. A 2-tiered software process model for utilizing {\sc CASL}. Reports in Informatics. Department of Informatics, University of Bergen, P.O.Box 7800, N-5020 BERGEN, Norway. 12 sider.
  • Haveraaen, Magne; Friis, Helmer Andre; Johansen, Tor Arne. 1999. Formal Software Engineering for Computational Modeling. Reports in Informatics. 173. Department of Informatics, University of Bergen. 27 sider.
  • Dinesh, T.B.; Haveraaen, Magne; Heering, Jan. 1998. An Algebraic Programming Style for Numerical Software and its Optimisation. Report SEN. R9844. CWI, Amsterdam, Netherlands. 19 sider.
  • Grant, Phil; Haveraaen, Magne; Webster, Mike. 1998. Tensor Abstraction Programming of Computational Fluid Dynamics Problems. Technical Report. CSR3-98. Department of Computer Science, University of Wales, Swansea, Wales. 30 sider.
  • Haveraaen, Magne. 1998. Abstractions for Programming Parallel Machines. Reports in Informatics. 162. Department of Informatics, UiB, Bergen. 22 sider.
  • Haveraaen, Magne; Søreide, Steinar. 1997. Solving Recursive Problems in Linear Time Using Constructive Recursion. Reports in Informatics. 143. Institutt for Informatikk.
  • Haveraaen, Magne. 1994. Norsk Informatikkonferanse : NIK' 94. 341 sider.
  • Haveraaen, Magne. 1994. Array Algorithms with implicit tree structure. Supplement, I120Algoritmer, datastrukturer og programmering. UiB-MatNat: Institutt for Informatikk.
  • Haveraaen, Magne. 1994. Abstract Data Types, Software Libraries and Software Life Cycles. Supplement, I120 - Algoritmer, datastrukturer og programmering. UiB-MatNat: Institutt for Informatikk.
  • Haveraaen, Magne. 1994. Programvarekvalitet. Supplemet, I120 - Algoritmer, datastrukturer og programmering. UiB-MatNat: Institutt for Informatikk.
  • Krogdahl, S.; Haveraaen, Magne; Storøy, S.; Truong, T.K; Ødegaard, Svein; Svardal, A.; Ueland, P. M.; Krokenborg, Jon; McFadden, [Mangler fornavn]; Talle, A. 1994. Litt om invarianter. Supplement, I120 - Algoritmer, datastrukturer og programmering. Discrete Applied Mathematics. 6: 79. UiB-MatNat: Institutt for Informatikk, Bergen. 35 sider.
  • Haveraaen, Magne. 1993. Software libraries and software cycles. Curriculum I 120 - Algoritmer, datastruktur og programmering. [Mangler utgivernavn]. 12 sider.
  • Haveraaen, Magne. 1993. Array algorithms with implicit tree structure. Curriculum I 120 - Algorimer, datastrukturer og programmering. [Mangler utgivernavn]. 14 sider.
  • Meldal, S.; Haveraaen, Magne. 1993. Proceedings of the 4th Nordic Workshop on Program Correctness. Reports in Informatics. 78. Department of Informatics, University of Bergen.
Bokkapitler
  • Järvi, Jaakko; Foust, Gabriel; Haveraaen, Magne. 2014. Specializing planners for hierarchical multi-way dataflow constraint systems. 1, sider 1-10. I:
    • Schultz, Ulrik Pagh; Flatt, Matthew. 2014. Proceedings of the 2014 International Conference on Generative Programming: Concepts and Experiences. Association for Computing Machinery (ACM). 141 sider. ISBN: 978-1-4503-3161-6.
  • Haveraaen, Magne; Morris, Karla; Rouson, Damian. 2013. High-performance design patterns for modern Fortran. Chapter, sider 1-8. I:
    • Carver, Jeffrey c; Hong, Neil chue; Ciraci, Selim. 2013. SE-HPCCSE '13 Proceedings of the 1st International Workshop on Software Engineering for High Performance Computing in Computational Science and Engineering. Association for Computing Machinery (ACM). 44 sider. ISBN: 978-1-4503-2499-1.
  • Burrows, Eva; Haveraaen, Magne. 2012. Programmable data dependencies and placements. SESSION: Long papers, sider 31-40. I:
    • Acar, Umut; Costa, Vítor santos. 2012. Proceedings of the 7th workshop on Declarative aspects and applications of multicore programming. ACM Press. 54 sider. ISBN: 978-1-4503-1117-5.
  • Järvi, Jaakko; Haveraaen, Magne; Freeman, John; Marcus, Mat. 2012. Expressing multi-way data-flow constraint systems as a commutative monoid makes many of their properties obvious. Session 2, sider 25-32. I:
    • Löh, Andres; Garcia, Ronald. 2012. Proceedings of the 8th ACM SIGPLAN workshop on Generic programming. ACM Press. 80 sider. ISBN: 978-1-4503-1576-0.
  • Hodzic, Adis; Haveraaen, Magne. 2010. Software Institutions. Software Institutions, sider 47-62. I:
    • Haveraaen, Magne; Lenisa, Marina; Power, John; Seisenberger, Monika. 2010. Proceedings of CALCO Young Researchers Workshop - CALCO-jnr 2009. Technical Report of the University of Udine. 5-2010. Università di Udine, Dipartimento di Matematica e Informatica, via delle Scienze 206, I-33100 Udine, Italy. 104 sider.
  • Bagge, Anya Helene; David, Valentin; Haveraaen, Magne. 2009. The axioms strike back: Testing with concepts and axioms in C++. 2, sider 15-24. I:
    • Siek, Jeremy; Fischer, Bernd. 2009. Proceedings of the Eighth International ACM SIGPLAN Conference on Generative Programming & Component Engineering (GPCE’09). Association for Computing Machinery (ACM). 186 sider. ISBN: 978-1-60558-862-9.
  • Burrows, Eva; Haveraaen, Magne. 2009. Dependency-Driven Parallel Programming. 2, sider 13-24. I:
    • Bjørndalen, John Markus; Haugland, Dag; Hjelmås, Erik; Løkketangen, Arne; Møller-Pedersen, Birger; Prinz, Andreas; Kobro Runde, Ragnhild; Sandnes, Frode Eika; Aalberg, Trond. 2009. Norsk informatikkonferanse : NIK 2009 : Institutt for datateknikk og informasjonsvitenskap, NTNU, 23.-25. november 2009. Tapir Akademisk Forlag. 170 sider. ISBN: 978-82-519-2491-7.
  • David, Valentin Francois R; Haveraaen, Magne. 2009. Concepts as Syntactic Sugar. Concepts as Syntactic Sugar, sider 147-256. I:
    • Schupp, Sibylle; Walenstein, Andrew; Lawrie, Dawn j. 2009. SCAM '09: Proceedings of the 2009 Ninth IEEE International Working Conference on Source Code Analysis and Manipulation. IEEE conference proceedings. 189 sider. ISBN: 978-0-7695-3793-1.
  • Bagge, Anya Helene; David, Valentin Francois R; Haveraaen, Magne. 2008. Axiom-based testing for {C++}. Axiom-based testing for {C++}, sider 721-722. I:
    • Harris, Gail. 2008. Companion to the 23rd ACM SIGPLAN conference on Object oriented programming systems languages and applications. Association for Computing Machinery (ACM). 928 sider. ISBN: 978-1-60558-220-7.
  • Bagge, Anya Helene; David, Valentin Francois R; Haveraaen, Magne. 2008. Testing with concepts and axioms in {C++}. Testing with concepts and axioms in {C++}, sider 773-774. I:
    • Harris, Gail. 2008. Companion to the 23rd ACM SIGPLAN conference on Object oriented programming systems languages and applications. Association for Computing Machinery (ACM). 928 sider. ISBN: 978-1-60558-220-7.
  • Haveraaen, Magne; Kalleberg, Karl Trygve. 2008. JAxT and JDI: the simplicity of junit applied to axioms and data invariants. JAxT and JDI: the simplicity of junit applied to axioms and data invariants, sider 731-732. I:
    • Harris, Gail. 2008. Companion to the 23rd ACM SIGPLAN conference on Object oriented programming systems languages and applications. Association for Computing Machinery (ACM). 928 sider. ISBN: 978-1-60558-220-7.
  • Haveraaen, Magne. 2007. Institutions, Property-Aware Programming and Testing. vitenskapelig artikkel, sider 23-34. I:
    • Siek, Jeremy; Tip, Frank. 2007. ACM SIGPLAN Symposium on Library-Centric Software Design (LCSD'07). Association for Computing Machinery (ACM). 120 sider. ISBN: 978-1-60558-088-3.
  • Bagge, Anya Helene; David, Valentin; Haveraaen, Magne; Kalleberg, Karl Trygve. 2006. Stayin' alert:: moulding failure and exceptions to your needs. 10, sider 265-274.. I:
    • Jarzabek, Stan; Schmidt, Douglas; Veldhuizen, Todd. 2006. Proceedings of the 5th international conference on Generative programming and component engineering. ACM Press. 291 sider. ISBN: 1-59593-237-2.
  • Haveraaen, Magne; Brkic, Enida. 2005. Structured testing in Sophus. kapittel, sider 43-54. I:
    • Coward, Eivind. 2005. Norsk Informatikkonferanse NIK'2005. Tapir Akademisk Forlag. 188 sider. ISBN: 82-519-2081-7.

Se fullstendig oversikt over publikasjoner i CRIStin.