Primary tabs

Most recent publications

In 2010 IEEE International Conference on Cluster Computing. IEEE Computer Society, 2010.
Proceedings, refereed
2010
In 2010 IEEE International Symposium on Parallel & Distributed Processing (IPDPS). IEEE, 2010.
Proceedings, refereed
2010
In Proceedings 12th International Conference on Automated Deduction, Nancy (France). Lecture Notes in Artificial Intelligence. Springer-Verlag, 1994.
Proceedings, refereed
1994
In Proceedings 5th Nordic Workshop on Program Correctness. Reports on Computer Science & Mathematics. bo Akademi, 1994.
Proceedings, refereed
1994

News

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
Export 14 results:
2010

Proceedings, refereed

In 2010 IEEE International Symposium on Parallel & Distributed Processing (IPDPS). IEEE, 2010.
Status: Published
In 2010 IEEE International Conference on Cluster Computing. IEEE Computer Society, 2010.
Status: Published

Patent

Talks, contributed

In Poster, HiPEAC ACACES, Barcelona, Spain, 2010.
Status: Published
In Invited talk at the HPC Advisory Council Switzerland Workshop 2010, 2010.
Status: Published
1994

Journal articles

Nordic Journal of Computing 1 (1994): 135-156,.
Status: Published
Information Processing Letters 51, no. 6 (1994): 303-310,.
Status: Published

Proceedings, refereed

In Proceedings 12th International Conference on Automated Deduction, Nancy (France). Lecture Notes in Artificial Intelligence. Springer-Verlag, 1994.
Status: Published