Primary tabs

Most recent publications

In Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'97), 1997.
Proceedings, refereed
1997
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 8 results:
1997

Proceedings, refereed

In Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'97), 1997.
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
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
1991

PhD theses

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