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 and S. Gjessing

Constructing SCI-Configurations That Are Free From Deadlocks

In Proceedings of The Fifth International Workshop on SCI-based High-performance Low-Cost Computing. Santa Clara (California),, 1996.
Proceedings, refereed
1996
View

News

21 January 2021

Professor Olav Lysne awarded the Trust and Transparency Award

Simula in the media

08 April 2016

Samferdselsministeren åpnet nytt senter for datasikkerhet

Samferdselsminister Ketil Solvik-Olsen åpnet forskningssenteret Simula@UiB, ved Universitetet i Bergen. - Vi må ha tillit til datasystemer, derfor trenger vi kunnskap for å forebygge cyberkriminalitet, overvåkning og industrispionasje.
: 
Simula, Simula Research Laboratory
Samferdselsdepartementet

Find publication

Status

Departments

Publication type

Year published

Export 14 results:
1993

Technical reports

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