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

On the Connection Between Narrowing and Proof by Consistency

In Proceedings 12th International Conference on Automated Deduction, Nancy (France). Lecture Notes in Artificial Intelligence. Springer-Verlag, 1994.
Proceedings, refereed
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

Publication type

Year published

Export 5 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
1994

Proceedings, refereed

O. Lysne

On the Connection Between Narrowing and Proof by Consistency

In Proceedings 12th International Conference on Automated Deduction, Nancy (France). Lecture Notes in Artificial Intelligence. Springer-Verlag, 1994.
Status: Published
O. Lysne

E-Unification by Consistency

In Proceedings 5th Nordic Workshop on Program Correctness. Reports on Computer Science & Mathematics. bo Akademi, 1994.
Status: Published