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 8 results:
1999

Technical reports

O. Krogdahl and O. Lysne

On Verification of Parallel and Interleaved Executions

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

Talks, contributed

O. Lysne

Forvirring Og Fremtidsfrykt

In Kronikk i Aftenposten, 17. February, 1999.
Status: Published
G. Rønneberg, O. Lysne and I. Theiss

SCI-Components Specification for the Simulator

In SCI-Europe Deliverable D.2.3.2 - project report, 1999.
Status: Published
1995

Technical reports

O. Lysne and S. Gjessing

Aspects of Running the SCI-Protocol Over HIC-Networks

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

Talks, contributed

O. Lysne and S. Gjessing

Requirements Imposed by SCI and ATM

In OMI-MACRAMÉ project deliverable D3.1.1, 1995.
Status: Published
O. Lysne and D. I. K. Sjøberg

Internett - Ikke Livsnødvendig

In Kronikk i Aftenposten, 13. Desember, 1995.
Status: Published
P. C. Ölveczky and O. Lysne

Order-Sorted Termination: the Unsorted Way

In Proceedings from NIK'95: Norsk Informatikk Konferanse, Gran, 1995.
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