Primary tabs

Most recent publications

In Proceedings of SCI Europe'98. Bordeaux, France, 1998.
Proceedings, refereed
1998
Microprocessors and Microsystems 21, no. 7-8 (1998): 471-481,.
Journal Article
1998
Microprocessors and Microsystems 21, no. 7-8 (1998): 491-498,.
Journal Article
1998
In Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'97), 1997.
Proceedings, refereed
1997

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 12 results:
1998

Journal articles

Microprocessors and Microsystems 21, no. 7-8 (1998): 471-481,.
Status: Published
Microprocessors and Microsystems 21, no. 7-8 (1998): 491-498,.
Status: Published

Proceedings, refereed

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

Technical reports

Department of Informatics, University of Oslo, 1998.
Status: Published
1997

Journal articles

Formal Aspects of Computing 9 (1997): 98-118,.
Status: Published

Proceedings, refereed

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