Primary tabs

Most recent publications

G. Horn, I. Theiss, O. Lysne and T. Skeie

Switched SCI Systems

In Proceedings of SCI Europe'98. Bordeaux, France, 1998.
Proceedings, refereed
1998
View
O. Lysne, T. Skeie and T. Waadeland

One-Fault Tolerance and Beyond in Wormhole Routed Meshes

Microprocessors and Microsystems 21, no. 7-8 (1998): 471-481,.
Journal Article
1998
View
O. Lysne

Towards an Analytical Model of Wormhole Routing Networks

Microprocessors and Microsystems 21, no. 7-8 (1998): 491-498,.
Journal Article
1998
View
O. Lysne

The Equational Part of Proofs by Structural Induction

BIT 33 (1993): 596-618,.
Journal Article
1993
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 10 results:
1998

Journal articles

O. Lysne, T. Skeie and T. Waadeland

One-Fault Tolerance and Beyond in Wormhole Routed Meshes

Microprocessors and Microsystems 21, no. 7-8 (1998): 471-481,.
Status: Published
O. Lysne

Towards an Analytical Model of Wormhole Routing Networks

Microprocessors and Microsystems 21, no. 7-8 (1998): 491-498,.
Status: Published

Proceedings, refereed

G. Horn, I. Theiss, O. Lysne and T. Skeie

Switched SCI Systems

In Proceedings of SCI Europe'98. Bordeaux, France, 1998.
Status: Published

Technical reports

O. Lysne and T. Skeie

Adapting to Faults in Deterministic Wormhole Networks

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

Journal articles

O. Lysne

The Equational Part of Proofs by Structural Induction

BIT 33 (1993): 596-618,.
Status: Published

Technical reports

S. Krogdahl and O. Lysne

Verifying a Distributed List System: a Case History

Department of Informatics, University of Oslo, 1993.
Status: Published
O. Lysne

Linear Proofs in the Final Algebra

Department of Informatics, University of Oslo, 1993.
Status: Published
O. Lysne

Initial Equality As a Function in Algebraic Specification

Department of Informatics, University of Oslo, 1993.
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