Olav.Lysne

Primary tabs

Olav Lysne

Professor

Director of Simula Metropolitan

Organisation:

Administration and Management

Email:

[email protected]

Most recent publications

J. Escudero-Sahuquillo, P. J. García, F. J. Quiles, S. Reinemo, T. Skeie, O. Lysne and J. Duato

A New Proposal to Deal With Congestion in InfiniBand-Based Fat-Trees

Journal of Parallel and Distributed Computing 74 (2014): 1802-1819.

Journal Article

2014

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

O. Lysne

E-Unification by Consistency

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

Proceedings, refereed

1994

View

O. Lysne

Heuristics for Completion in Automatic Proofs by Structural Induction

Nordic Journal of Computing 1 (1994): 135-156,.

Journal Article

1994

View

News

16 July 2022

New book in the SpringerBriefs series: Smittestopp − A Case Study on Digital Contact Tracing

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