Primary tabs

Most recent publications

In Proceedings of the Second International Workshop on SCI-based High-performance Low-Cost Computing. Santa Clara (California),, 1995.
Proceedings, refereed
1995
In Proceedings of The Second International Workshop on SCI-based High-performance Low-Cost Computing. Santa Clara (California),, 1995.
Proceedings, refereed
1995
In Proceedings 6th International Conference on Rewriting Techniques and Applications. Lecture Notes in Computer Science. Kaiserslautern (Germany): Springer-Verlag, 1995.
Proceedings, refereed
1995

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

Public outreach

Aftenposten, 2017.
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

Technical reports

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

Talks, contributed

In OMI-MACRAMÉ project deliverable D3.1.1, 1995.
Status: Published
In Kronikk i Aftenposten, 13. Desember, 1995.
Status: Published
In Proceedings from NIK'95: Norsk Informatikk Konferanse, Gran, 1995.
Status: Published