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

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 4 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
1991

Technical reports

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