Primary tabs

Most recent publications

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
H. Linnestad, C. Prehofer and O. Lysne

Higher Order Proof by Consistency

In Foundations of Software Technology and Theoretical Computer Science, 16th Conference. Lecture Notes in Computer Science. Hyderabad, India: Springer-Verlag, 1996.
Proceedings, refereed
1996
View
P. C. Ölveczky and O. Lysne

Order-Sorted Termination: the Unsorted Way

In Proceedings 5th International Conference on Algebraic and Logic Programming. Lecture Notes in Computer Science. Aachen (Germany): Springer-Verlag, 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