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

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

Departments

Publication type

Year published

Export 9 results:
2011

Technical reports

F. O. Sem-Jacobsen and O. Lysne

Topology Agnostic Dynamic Quick Reconfiguration for Large-Scale Interconnection Networks

Simula Research Laboratory, 2011.
Status: Published

Talks, contributed

S. Reinemo, E. G. Gran, T. Skeie and O. Lysne

InfiniBand Congestion Control

In Contributed talk at the 2011 OpenFabrics International Workshop, Monterey, USA, 2011.
Status: Published
S. Reinemo, W. L. Guay, B. Bogdanski, O. Lysne and T. Skeie

VFtree - a Fat-Tree Routing Algorithm Using Virtual Lanes to Alleviate Congestion

In Invited talk at the HPC Advisory Council Switzerland Workshop 2011, Lugano, Switzerland., 2011.
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

PhD theses

O. Lysne

Term Rewriting Techniques for Systems Based on Generator Induction

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

Technical reports

O. Lysne and O. Owe

Definedness and Strictness in Generator Inductive Definitions

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