dblp.uni-trier.dewww.uni-trier.de

Magne Haveraaen

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
25EEAnya Helene Bagge, Valentin David, Magne Haveraaen: Axiom-based testing for C++. OOPSLA Companion 2008: 721-722
24EEMagne Haveraaen, Karl Trygve Kalleberg: JAxT and JDI: the simplicity of junit applied to axioms and data invariants. OOPSLA Companion 2008: 731-732
23EEAnya 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
21EEAnya Helene Bagge, Valentin David, Magne Haveraaen, Karl Trygve Kalleberg: Stayin' alert: : moulding failure and exceptions to your needs. GPCE 2006: 265-274
2005
20EEMagne 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
19EEOtto 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-
18EEOtto Skrove Bagge, Magne Haveraaen: Domain-Specific Optimisation with User-Defined Rules in CodeBoost. Electr. Notes Theor. Comput. Sci. 86(2): (2003)
17 Magne Haveraaen, Jüri Vain: Guest Editors' Foreword. Nord. J. Comput. 10(4): 263-264 (2003)
2002
16EEMagne 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
12EEMagne 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
5EET. 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

Coauthor Index

1Krister Åhlander [11] [16]
2Anya Helene Bagge [21] [23] [25]
3Otto Skrove Bagge [18] [19]
4Ole-Johan Dahl [3]
5Valentin David [21] [23] [25]
6T. B. Dinesh [5] [8]
7Helmer André Friis [4] [20]
8Philip W. Grant [10]
9Michael R. Hansen [15]
10Jan Heering [5] [8]
11Tor Arne Johansen [4]
12Karl Trygve Kalleberg [19] [21] [24]
13Sigurd Meldal [14]
14Ugo Montanari [22]
15Till Mossakowski [22]
16Hans Z. Munthe-Kaas [11] [16] [20]
17Olaf Owe [3] [13]
18Jüri Vain [17]
19Eelco Visser [19]
20Eric G. Wagner [6]
21Michal Walicki [14]
22Michael F. Webster [10]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)