Primary tabs

Most recent publications

O. Lysne

Term Rewriting Techniques for Systems Based on Generator Induction

Department of Informatics, University of Oslo, 1991.
PhD Thesis
1991
View

News

16 July 2022

New book in the SpringerBriefs series: Smittestopp − A Case Study on Digital Contact Tracing

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

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

PhD theses

O. Lysne

Term Rewriting Techniques for Systems Based on Generator Induction

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