Primary tabs

Most recent publications

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
BIT 33 (1993): 596-618,.
Journal Article
1993

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:
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
1993

Journal articles

BIT 33 (1993): 596-618,.
Status: Published

Technical reports

Department of Informatics, University of Oslo, 1993.
Status: Published
Department of Informatics, University of Oslo, 1993.
Status: Published
Department of Informatics, University of Oslo, 1993.
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