@article{HaveraaenO01,
  title = {Guest Editors  Foreword},
  author = {Magne Haveraaen and Olaf Owe},
  year = {2001},
  researchr = {https://researchr.org/publication/HaveraaenO01},
  cites = {0},
  citedby = {0},
  journal = {Nord. J. Comput.},
  volume = {8},
  number = {3},
  pages = {277-278},
}

@inproceedings{AhlanderHM00,
  title = {On the Role of Mathematical Abstractions for Scientific Computing},
  author = {Krister Åhlander and Magne Haveraaen and Hans Z. Munthe-Kaas},
  year = {2000},
  tags = {abstraction},
  researchr = {https://researchr.org/publication/AhlanderHM00},
  cites = {0},
  citedby = {0},
  pages = {145-158},
  booktitle = {The Architecture of Scientific Software, IFIP TC2/WG2.5 Working Conference on the  Architecture of Scientific Software, October 2-4, 2000, Ottawa, Canada},
  editor = {Ronald F. Boisvert and Ping Tak Peter Tang},
  volume = {188},
  series = {IFIP Conference Proceedings},
  publisher = {Kluwer},
  isbn = {0-7923-7339-1},
}

@article{Haveraaen00a,
  title = {Case study on algebraic software methodologies for scientific computing},
  author = {Magne Haveraaen},
  year = {2000},
  tags = {case study,  algebra},
  researchr = {https://researchr.org/publication/Haveraaen00a},
  cites = {0},
  citedby = {0},
  journal = {Scientific Programming},
  volume = {8},
  number = {4},
  pages = {261-273},
}

@inproceedings{BaggeDH08a,
  title = {Testing with concepts and axioms in C++},
  author = {Anya Helene Bagge and Valentin David and Magne Haveraaen},
  year = {2008},
  doi = {10.1145/1449814.1449855},
  url = {http://doi.acm.org/10.1145/1449814.1449855},
  tags = {testing, C++},
  researchr = {https://researchr.org/publication/BaggeDH08a},
  cites = {0},
  citedby = {0},
  pages = {773-774},
  booktitle = {Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2008, October 19-13, 2007, Nashville, TN, USA},
  editor = {Gail E. Harris},
  publisher = {ACM},
  isbn = {978-1-60558-220-7},
}

@article{DineshHH00,
  title = {An algebraic programming style for numerical software and its optimization},
  author = {T. B. Dinesh and Magne Haveraaen and Jan Heering},
  year = {2000},
  tags = {optimization,  algebra, programming, program optimization},
  researchr = {https://researchr.org/publication/DineshHH00},
  cites = {0},
  citedby = {0},
  journal = {Scientific Programming},
  volume = {8},
  number = {4},
  pages = {247-259},
}

@article{HaveraaenFM05,
  title = {Computable scalar fields: A basis for PDE software},
  author = {Magne Haveraaen and Helmer André Friis and Hans Z. Munthe-Kaas},
  year = {2005},
  doi = {10.1016/j.jlap.2004.12.001},
  url = {http://dx.doi.org/10.1016/j.jlap.2004.12.001},
  researchr = {https://researchr.org/publication/HaveraaenFM05},
  cites = {0},
  citedby = {0},
  journal = {Journal of Logic and Algebraic Programming},
  volume = {65},
  number = {1},
  pages = {36-49},
}

@article{cs-SE-9903002,
  title = {An Algebraic Programming Style for Numerical Software and its Optimization},
  author = {T. B. Dinesh and Magne Haveraaen and Jan Heering},
  year = {1999},
  url = {http://arxiv.org/abs/cs.SE/9903002},
  note = {informal publication},
  tags = {optimization,  algebra, programming, program optimization},
  researchr = {https://researchr.org/publication/cs-SE-9903002},
  cites = {0},
  citedby = {1},
  journal = {CoRR},
  volume = {cs.SE/9903002},
}

@inproceedings{HaveraaenW99,
  title = {Guarded Algebras: Disguising Partiality so You Won t Know Whether It s There},
  author = {Magne Haveraaen and Eric G. Wagner},
  year = {1999},
  tags = { algebra},
  researchr = {https://researchr.org/publication/HaveraaenW99},
  cites = {0},
  citedby = {0},
  pages = {182-200},
  booktitle = {Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT  99, Château de Bonas, France, September 15-18, 1999, Selected Papers},
  editor = {Didier Bert and Christine Choppy and Peter D. Mosses},
  volume = {1827},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-67898-0},
}

@inproceedings{BaggeKHV03,
  title = {Design of the {CodeBoost} Transformation System for Domain-Specific Optimisation of {C++} Programs},
  author = {Anya Helene Bagge and Karl Trygve Kalleberg and Magne Haveraaen and Eelco Visser},
  year = {2003},
  doi = {10.1109/SCAM.2003.1238032},
  url = {https://doi.org/10.1109/SCAM.2003.1238032},
  tags = {programming languages, model-to-model transformation, rule-based, program analysis, application framework, graph transformation, CodeBoost, embedded software, Stratego/XT, transformation language, points-to analysis, domain analysis, analysis, language design, source-to-source, graph-rewriting, rules, C++, transformation system, compiler, model transformation, rewriting, parsing, design, open-source, transformation, Stratego, program transformation, domain-specific language},
  researchr = {https://researchr.org/publication/BaggeKHV03},
  cites = {0},
  citedby = {0},
  pages = {65},
  booktitle = {3rd IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2003), 26-27 September 2003, Amsterdam, The Netherlands},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2005-7},
}

@inproceedings{Haveraaen88,
  title = {The PAL Module Concept},
  author = {Magne Haveraaen},
  year = {1988},
  researchr = {https://researchr.org/publication/Haveraaen88},
  cites = {0},
  citedby = {0},
  booktitle = {ADT},
}

@inproceedings{BaggeDH08,
  title = {Axiom-based testing for C++},
  author = {Anya Helene Bagge and Valentin David and Magne Haveraaen},
  year = {2008},
  doi = {10.1145/1449814.1449829},
  url = {http://doi.acm.org/10.1145/1449814.1449829},
  tags = {rule-based, testing, C++},
  researchr = {https://researchr.org/publication/BaggeDH08},
  cites = {0},
  citedby = {0},
  pages = {721-722},
  booktitle = {Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2008, October 19-13, 2007, Nashville, TN, USA},
  editor = {Gail E. Harris},
  publisher = {ACM},
  isbn = {978-1-60558-220-7},
}

@article{HaveraaenFJ99,
  title = {Formal Software Engineering for Computational Modelling},
  author = {Magne Haveraaen and Helmer André Friis and Tor Arne Johansen},
  year = {1999},
  tags = {meta-model, software engineering, model-driven engineering, Meta-Environment},
  researchr = {https://researchr.org/publication/HaveraaenFJ99},
  cites = {0},
  citedby = {0},
  journal = {Nord. J. Comput.},
  volume = {6},
  number = {3},
  pages = {241-270},
}

@article{WalickiHM01,
  title = {Computation Algebras},
  author = {Michal Walicki and Magne Haveraaen and Sigurd Meldal},
  year = {2001},
  tags = { algebra},
  researchr = {https://researchr.org/publication/WalickiHM01},
  cites = {0},
  citedby = {0},
  journal = {Mathematical Structures in Computer Science},
  volume = {11},
  number = {5},
  pages = {597-636},
}

@article{HaveraaenH02,
  title = {Guest Editors  Foreword},
  author = {Magne Haveraaen and Michael R. Hansen},
  year = {2002},
  researchr = {https://researchr.org/publication/HaveraaenH02},
  cites = {0},
  citedby = {0},
  journal = {Nord. J. Comput.},
  volume = {9},
  number = {4},
  pages = {267-268},
}

@inproceedings{Haveraaen00,
  title = {Efficient Parallelisation of Recursive Problems Using Constructive Recursion (Research Note)},
  author = {Magne Haveraaen},
  year = {2000},
  url = {http://link.springer.de/link/service/series/0558/bibs/1900/19000758.htm},
  researchr = {https://researchr.org/publication/Haveraaen00},
  cites = {0},
  citedby = {0},
  pages = {758-761},
  booktitle = {Euro-Par 2000, Parallel Processing, 6th International Euro-Par Conference, Munich, Germany, August 29 - September 1, 2000, Proceedings},
  editor = {Arndt Bode and Thomas Ludwig 0002 and Wolfgang Karl and Roland Wismüller},
  volume = {1900},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-67956-1},
}

@article{GrantHW00,
  title = {Coordinate free programming of computational fluid dynamics problems},
  author = {Philip W. Grant and Magne Haveraaen and Michael F. Webster},
  year = {2000},
  tags = {programming},
  researchr = {https://researchr.org/publication/GrantHW00},
  cites = {0},
  citedby = {0},
  journal = {Scientific Programming},
  volume = {8},
  number = {4},
  pages = {211-230},
}

@article{HaveraaenMA02,
  title = {On Object-Oriented Frameworks and Coordinate Free Formulations of PDEs},
  author = {Magne Haveraaen and Hans Z. Munthe-Kaas and Krister Åhlander},
  year = {2002},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0177-0667&volume=18&issue=4&spage=286},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/HaveraaenMA02},
  cites = {0},
  citedby = {0},
  journal = {Eng. Comput. (Lond.)},
  volume = {18},
  number = {4},
  pages = {286-294},
}

@article{BurrowsH09,
  title = {A Hardware Independent Parallel Programming Model},
  author = {Eva Burrows and Magne Haveraaen},
  year = {2009},
  doi = {10.1016/j.jlap.2009.06.002},
  url = {http://dx.doi.org/10.1016/j.jlap.2009.06.002},
  tags = {parallel programming, programming},
  researchr = {https://researchr.org/publication/BurrowsH09},
  cites = {0},
  citedby = {0},
  journal = {Journal of Logic and Algebraic Programming},
  volume = {78},
  number = {7},
  pages = {519-538},
}

@article{Haveraaen00:0,
  title = {Machine and collection abstractions for user-implemented data-parallel programming},
  author = {Magne Haveraaen},
  year = {2000},
  tags = {parallel programming, data-flow programming, data-flow, programming, abstraction},
  researchr = {https://researchr.org/publication/Haveraaen00%3A0},
  cites = {0},
  citedby = {0},
  journal = {Scientific Programming},
  volume = {8},
  number = {4},
  pages = {231-246},
}

@article{BaggeH03,
  title = {Domain-Specific Optimisation with User-Defined Rules in CodeBoost},
  author = {Otto Skrove Bagge and Magne Haveraaen},
  year = {2003},
  url = {http://www.elsevier.com/gej-ng/31/29/23/135/47/show/Products/notes/index.htt#008},
  tags = {rule-based, rules},
  researchr = {https://researchr.org/publication/BaggeH03},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {86},
  number = {2},
  pages = {119-133},
}

@inproceedings{BaggeDHK06,
  title = {Stayin  alert: moulding failure and exceptions to your needs},
  author = {Anya Helene Bagge and Valentin David and Magne Haveraaen and Karl Trygve Kalleberg},
  year = {2006},
  doi = {10.1145/1173706.1173747},
  url = {http://doi.acm.org/10.1145/1173706.1173747},
  tags = {exceptions},
  researchr = {https://researchr.org/publication/BaggeDHK06},
  cites = {0},
  citedby = {0},
  pages = {265-274},
  booktitle = {Generative Programming and Component Engineering, 5th International Conference, GPCE 2006, Portland, Oregon, USA, October 22-26, 2006, Proceedings},
  editor = {Stan Jarzabek and Douglas C. Schmidt and Todd L. Veldhuizen},
  publisher = {ACM},
  isbn = {1-59593-237-2},
}

@inproceedings{HaveraaenK08,
  title = {JAxT and JDI: the simplicity of junit applied to axioms and data invariants},
  author = {Magne Haveraaen and Karl Trygve Kalleberg},
  year = {2008},
  doi = {10.1145/1449814.1449834},
  url = {http://doi.acm.org/10.1145/1449814.1449834},
  tags = {data-flow},
  researchr = {https://researchr.org/publication/HaveraaenK08},
  cites = {0},
  citedby = {0},
  pages = {731-732},
  booktitle = {Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2008, October 19-13, 2007, Nashville, TN, USA},
  editor = {Gail E. Harris},
  publisher = {ACM},
  isbn = {978-1-60558-220-7},
}

@inproceedings{Haveraaen90,
  title = {Distributing Programs on Different Parallel Architectures},
  author = {Magne Haveraaen},
  year = {1990},
  tags = {architecture, parallel programming, programming},
  researchr = {https://researchr.org/publication/Haveraaen90},
  cites = {0},
  citedby = {0},
  pages = {288-289},
  booktitle = {Proceedings of the 1990 International Conference on Parallel Processing, Volume 2: Software, Urbana-Champaign, IL, August 1990},
  editor = {David A. Padua},
  publisher = {Pennsylvania State University Press},
  isbn = {0-271-00728-1},
}

@article{HaveraaenV03,
  title = {Guest Editors  Foreword},
  author = {Magne Haveraaen and Jüri Vain},
  year = {2003},
  researchr = {https://researchr.org/publication/HaveraaenV03},
  cites = {0},
  citedby = {0},
  journal = {Nord. J. Comput.},
  volume = {10},
  number = {4},
  pages = {263-264},
}
@proceedings{calco:2007,
  title = {Algebra and Coalgebra in Computer Science, Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings},
  year = {2007},
  tags = {e-science,  algebra},
  researchr = {https://researchr.org/publication/calco%3A2007},
  cites = {0},
  citedby = {0},
  booktitle = {Algebra and Coalgebra in Computer Science, Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings},
  conference = {calco},
  editor = {Till Mossakowski and Ugo Montanari and Magne Haveraaen},
  volume = {4624},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-73857-2},
}

@proceedings{compass:1995,
  title = {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},
  year = {1996},
  researchr = {https://researchr.org/publication/compass%3A1995},
  cites = {0},
  citedby = {0},
  booktitle = {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},
  conference = {compass},
  editor = {Magne Haveraaen and Olaf Owe and Ole-Johan Dahl},
  volume = {1130},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-61629-2},
}