Primary tabs

News

21 January 2021

Professor Olav Lysne awarded the Trust and Transparency Award

Simula in the media

11 April 2016

Simula@Bergen skal utdanne ein ny generasjon med kryptologar

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

Publication type

Year published

Export 3 results:
1998

Technical reports

O. Lysne and T. Skeie

Adapting to Faults in Deterministic Wormhole Networks

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

Talks, contributed

O. Lysne and J. Piris

A Termination Ordering for Higher Order Rewrite Systems

In Proceedings Journees du GDR Programmation, Lille (France), GDR Programmation du CNRS, 1994.
Status: Published
1991

Technical reports

O. Lysne and O. Owe

Definedness and Strictness in Generator Inductive Definitions

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