- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| 32 |      | Eva Burrows, Magne Haveraaen: Programmable data dependencies and placements. DAMP 2012: 31-40 |
| 2011 | ||
| 31 | | Anya Helene Bagge, Valentin David, Magne Haveraaen: Testing with Axioms in C++ 2011. Journal of Object Technology 10: 10: 1-32 (2011) |
| 2010 | ||
| 30 | | Anya Helene Bagge, Magne Haveraaen: Interfacing Concepts: Why Declaration Style Shouldn't Matter. Electr. Notes Theor. Comput. Sci. 253(7): 37-50 (2010) |
| 2009 | ||
| 29 | | Anya Helene Bagge, Valentin David, Magne Haveraaen: The axioms strike back: testing with concepts and axioms in C++. GPCE 2009: 15-24 |
| 28 | | Valentin David, Magne Haveraaen: Concepts as Syntactic Sugar. SCAM 2009: 147-156 |
| 27 | | Anya Helene Bagge, Magne Haveraaen: Axiom-Based Transformations: Optimisation and Testing. Electr. Notes Theor. Comput. Sci. 238(5): 17-33 (2009) |
| 26 | | Eva Burrows, Magne Haveraaen: A Hardware Independent Parallel Programming Model. J. Log. Algebr. Program. 78(7): 519-538 (2009) |
| 2008 | ||
| 25 | | Anya Helene Bagge, Valentin David, Magne Haveraaen: Axiom-based testing for C++. OOPSLA Companion 2008: 721-722 |
| 24 | | Magne Haveraaen, Karl Trygve Kalleberg: JAxT and JDI: the simplicity of junit applied to axioms and data invariants. OOPSLA Companion 2008: 731-732 |
| 23 | | Anya Helene Bagge, Valentin David, Magne Haveraaen: Testing with concepts and axioms in C++. OOPSLA Companion 2008: 773-774 |
| 2007 | ||
| 22 |  | Till Mossakowski, Ugo Montanari, Magne Haveraaen: Algebra and Coalgebra in Computer Science, Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings Springer 2007 |
| 2006 | ||
| 21 | | Anya Helene Bagge, Valentin David, Magne Haveraaen, Karl Trygve Kalleberg: Stayin' alert: : moulding failure and exceptions to your needs. GPCE 2006: 265-274 |
| 2005 | ||
| 20 | | Magne Haveraaen, Helmer André Friis, Hans Z. Munthe-Kaas: Computable scalar fields: A basis for PDE software. J. Log. Algebr. Program. 65(1): 36-49 (2005) |
| 2003 | ||
| 19 | | Otto Skrove Bagge, Karl Trygve Kalleberg, Magne Haveraaen, Eelco Visser: Design of the CodeBoost Transformation System for Domain-Specific Optimisation of C++ Programs. SCAM 2003: 65- |
| 18 | | Otto Skrove Bagge, Magne Haveraaen: Domain-Specific Optimisation with User-Defined Rules in CodeBoost. Electr. Notes Theor. Comput. Sci. 86(2): 119-133 (2003) |
| 17 | | Magne Haveraaen, Jüri Vain: Guest Editors' Foreword. Nord. J. Comput. 10(4): 263-264 (2003) |
| 2002 | ||
| 16 | | Magne Haveraaen, Hans Z. Munthe-Kaas, Krister Åhlander: On Object-Oriented Frameworks and Coordinate Free Formulations of PDEs. Eng. Comput. (Lond.) 18(4): 286-294 (2002) |
| 15 | | Magne Haveraaen, Michael R. Hansen: Guest Editors' Foreword. Nord. J. Comput. 9(4): 267-268 (2002) |
| 2001 | ||
| 14 | | Michal Walicki, Magne Haveraaen, Sigurd Meldal: Computation Algebras. Mathematical Structures in Computer Science 11(5): 597-636 (2001) |
| 13 | | Magne Haveraaen, Olaf Owe: Guest Editors' Foreword. Nord. J. Comput. 8(3): 277-278 (2001) |
| 2000 | ||
| 12 | | Magne Haveraaen: Efficient Parallelisation of Recursive Problems Using Constructive Recursion (Research Note). Euro-Par 2000: 758-761 |
| 11 | | Krister Åhlander, Magne Haveraaen, Hans Z. Munthe-Kaas: On the Role of Mathematical Abstractions for Scientific Computing. The Architecture of Scientific Software 2000: 145-158 |
| 10 | | Philip W. Grant, Magne Haveraaen, Michael F. Webster: Coordinate free programming of computational fluid dynamics problems. Scientific Programming 8(4): 211-230 (2000) |
| 9 | | Magne Haveraaen: Machine and collection abstractions for user-implemented data-parallel programming. Scientific Programming 8(4): 231-246 (2000) |
| 8 | | T. B. Dinesh, Magne Haveraaen, Jan Heering: An algebraic programming style for numerical software and its optimization. Scientific Programming 8(4): 247-259 (2000) |
| 7 | | Magne Haveraaen: Case study on algebraic software methodologies for scientific computing. Scientific Programming 8(4): 261-273 (2000) |
| 1999 | ||
| 6 | | Magne Haveraaen, Eric G. Wagner: Guarded Algebras: Disguising Partiality so You Won't Know Whether It's There. WADT 1999: 182-200 |
| 5 | | T. B. Dinesh, Magne Haveraaen, Jan Heering: An Algebraic Programming Style for Numerical Software and its Optimization CoRR cs.SE/9903002: (1999) |
| 4 | | Magne Haveraaen, Helmer André Friis, Tor Arne Johansen: Formal Software Engineering for Computational Modelling. Nord. J. Comput. 6(3): 241-270 (1999) |
| 1996 | ||
| 3 | | Magne Haveraaen, Olaf Owe, Ole-Johan Dahl: 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 1996 |
| 1990 | ||
| 2 | | Magne Haveraaen: Distributing Programs on Different Parallel Architectures. ICPP (2) 1990: 288-289 |
| 1988 | ||
| 1 | | Magne Haveraaen: The PAL Module Concept. ADT 1988 |
| 1 | Krister Åhlander | [11] [16] |
| 2 | Anya Helene Bagge | [21] [23] [25] [27] [29] [30] [31] |
| 3 | Otto Skrove Bagge | [18] [19] |
| 4 | Eva Burrows | [26] [32] |
| 5 | Ole-Johan Dahl | [3] |
| 6 | Valentin David | [21] [23] [25] [28] [29] [31] |
| 7 | T. B. Dinesh | [5] [8] |
| 8 | Helmer André Friis | [4] [20] |
| 9 | Philip W. Grant | [10] |
| 10 | Michael R. Hansen (Michael Rygaard Hansen) | [15] |
| 11 | Jan Heering | [5] [8] |
| 12 | Tor Arne Johansen | [4] |
| 13 | Karl Trygve Kalleberg | [19] [21] [24] |
| 14 | Sigurd Meldal | [14] |
| 15 | Ugo Montanari | [22] |
| 16 | Till Mossakowski | [22] |
| 17 | Hans Z. Munthe-Kaas | [11] [16] [20] |
| 18 | Olaf Owe | [3] [13] |
| 19 | Jüri Vain | [17] |
| 20 | Eelco Visser | [19] |
| 21 | Eric G. Wagner | [6] |
| 22 | Michal Walicki | [14] |
| 23 | Michael F. Webster | [10] |
Colors in the list of coauthors
Last update Fri May 25 01:42:58 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page