Olav.Lysne | Simula Research Laboratory

Primary tabs

Olav Lysne

Professor

Director at Simula Metropolitan

Organisation:

Administration and Management

Email:

olavly@simula.no

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

Towards an Analytical Model of Wormhole Routing Networks

Microprocessors and Microsystems 21, no. 7-8 (1998): 491-498,.

Journal Article

1998

Heuristics for Completion in Automatic Proofs by Structural Induction

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

Journal Article

1994

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

Information Processing Letters 51, no. 6 (1994): 303-310,.

Journal Article

1994

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