Primary tabs

Most recent publications

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
In Proceedings 6th International Conference on Rewriting Techniques and Applications. Lecture Notes in Computer Science. Kaiserslautern (Germany): Springer-Verlag, 1995.
Proceedings, refereed
1995
Department of Informatics, University of Oslo, 1991.
PhD Thesis
1991

News

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

Status

Export 9 results:
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 OMI-MACRAMÉ project deliverable D3.1.1., 1995.
Status: Published
In Kronikk i Aftenposten, 13. Desember., 1995.
Status: Published
In Proceedings from NIK'95: Norsk Informatikk Konferanse, Gran., 1995.
Status: Published
1991

PhD theses

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

Technical reports

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