Primary tabs

Most recent publications

In Proceedings of SCI Europe'98. Bordeaux, France, 1998.
Proceedings, refereed
1998
In Proceedings of The Fifth International Workshop on SCI-based High-performance Low-Cost Computing. Santa Clara (California),, 1996.
Proceedings, refereed
1996
In Foundations of Software Technology and Theoretical Computer Science, 16th Conference. Lecture Notes in Computer Science. Hyderabad, India: Springer-Verlag, 1996.
Proceedings, refereed
1996
In Proceedings 5th International Conference on Algebraic and Logic Programming. Lecture Notes in Computer Science. Aachen (Germany): Springer-Verlag, 1996.
Proceedings, refereed
1996

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

Status

Export 6 results:
1998

Proceedings, refereed

In Proceedings of SCI Europe'98. Bordeaux, France, 1998.
Status: Published
1996

Proceedings, refereed

In Foundations of Software Technology and Theoretical Computer Science, 16th Conference. Lecture Notes in Computer Science. Hyderabad, India: Springer-Verlag, 1996.
Status: Published
In Proceedings of The Fifth International Workshop on SCI-based High-performance Low-Cost Computing. Santa Clara (California),, 1996.
Status: Published
In Proceedings 5th International Conference on Algebraic and Logic Programming. Lecture Notes in Computer Science. Aachen (Germany): Springer-Verlag, 1996.
Status: Published

Talks, contributed

In Proceedings from NIK'96: Norsk Informatikk Konferanse, 1996.
Status: Published
1991

PhD theses

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