Primary tabs

Most recent publications

Journal of Parallel and Distributed Computing 74 (2014): 1802-1819.
Journal Article
2014
In Proceedings 6th International Conference on Rewriting Techniques and Applications. Lecture Notes in Computer Science. Kaiserslautern (Germany): Springer-Verlag, 1995.
Proceedings, refereed
1995
In Proceedings of the Second International Workshop on SCI-based High-performance Low-Cost Computing. Santa Clara (California),, 1995.
Proceedings, refereed
1995
In Proceedings of The Second International Workshop on SCI-based High-performance Low-Cost Computing. Santa Clara (California),, 1995.
Proceedings, refereed
1995

Simula in the media

Korleis kan ein sikre seg mot farar ein enno ikkje veit om? Forskarane og studentane på det nye senteret Simula@ Bergen har éit hovudmål: Å trygge våre framtidige data. - Tenk deg at du skal bygge eit hus. Då treng du gode byggesteinar.
Simula
På Høyden

Find publication

Export 10 results:
2014

Journal articles

Journal of Parallel and Distributed Computing 74 (2014): 1802-1819.
Status: Published

Technical reports

Talks, invited

1995

Proceedings, refereed

In Proceedings of the Second International Workshop on SCI-based High-performance Low-Cost Computing. Santa Clara (California),, 1995.
Status: Published
In Proceedings of The Second International Workshop on SCI-based High-performance Low-Cost Computing. Santa Clara (California),, 1995.
Status: Published
In Proceedings 6th International Conference on Rewriting Techniques and Applications. Lecture Notes in Computer Science. Kaiserslautern (Germany): Springer-Verlag, 1995.
Status: Published

Technical reports

Department of Informatics, University of Oslo, 1995.
Status: Published

Talks, contributed

In Kronikk i Aftenposten, 13. Desember, 1995.
Status: Published
In OMI-MACRAMÉ project deliverable D3.1.1, 1995.
Status: Published
In Proceedings from NIK'95: Norsk Informatikk Konferanse, Gran, 1995.
Status: Published