Primary tabs

Most recent publications

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

Heuristics for Completion in Automatic Proofs by Structural Induction

Nordic Journal of Computing 1 (1994): 135-156,.
Journal Article
1994
View
O. Lysne

Extending Bachmair's Method for Proof by Consistency to the Final Algebra

Information Processing Letters 51, no. 6 (1994): 303-310,.
Journal Article
1994
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

Technical reports

O. Lysne and T. Skeie

Adapting to Faults in Deterministic Wormhole Networks

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

Journal articles

O. Lysne

Heuristics for Completion in Automatic Proofs by Structural Induction

Nordic Journal of Computing 1 (1994): 135-156,.
Status: Published
O. Lysne

Extending Bachmair's Method for Proof by Consistency to the Final Algebra

Information Processing Letters 51, no. 6 (1994): 303-310,.
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

Technical reports

O. Lysne and O. Owe

Definedness and Strictness in Generator Inductive Definitions

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