Primary tabs

Most recent publications

S. Gjessing, O. Lysne and K. Løchsen

Aspects of Running the SCI-Protocol Over HIC Networks

In Proceedings of the Second International Workshop on SCI-based High-performance Low-Cost Computing. Santa Clara (California),, 1995.
Proceedings, refereed
1995
View
O. Lysne, S. Gjessing and K. Løchsen

Aspects of Running the SCI-Protocol Over HIC-Networks

In Proceedings of The Second International Workshop on SCI-based High-performance Low-Cost Computing. Santa Clara (California),, 1995.
Proceedings, refereed
1995
View
O. Lysne and J. Piris

A Termination Ordering for Higher Order Rewrite Systems

In Proceedings 6th International Conference on Rewriting Techniques and Applications. Lecture Notes in Computer Science. Kaiserslautern (Germany): Springer-Verlag, 1995.
Proceedings, refereed
1995
View
O. Lysne

A Width First Approach to Completion

In Proceedings from NIK'90: Norsk Informatikk Konferanse. Bergen,: TAPIR, 1990.
Proceedings, refereed
1990
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

Publication type

Year published

Export 9 results:
1995

Proceedings, refereed

S. Gjessing, O. Lysne and K. Løchsen

Aspects of Running the SCI-Protocol Over HIC Networks

In Proceedings of the Second International Workshop on SCI-based High-performance Low-Cost Computing. Santa Clara (California),, 1995.
Status: Published
O. Lysne, S. Gjessing and K. Løchsen

Aspects of Running the SCI-Protocol Over HIC-Networks

In Proceedings of The Second International Workshop on SCI-based High-performance Low-Cost Computing. Santa Clara (California),, 1995.
Status: Published
O. Lysne and J. Piris

A Termination Ordering for Higher Order Rewrite Systems

In Proceedings 6th International Conference on Rewriting Techniques and Applications. Lecture Notes in Computer Science. Kaiserslautern (Germany): Springer-Verlag, 1995.
Status: Published

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
1990

Proceedings, refereed

O. Lysne

A Width First Approach to Completion

In Proceedings from NIK'90: Norsk Informatikk Konferanse. Bergen,: TAPIR, 1990.
Status: Published

Technical reports

O. Lysne

A Width First Approach to Completion

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