Primary tabs

Most recent publications

A. F. Hansen, O. Lysne, T. Cicic and S. Gjessing

Fast Proactive Recovery From Concurrent Failures

In IEEE International Conference on Communications (ICC 2007). IEEE, 2007.
Proceedings, refereed
2007
View
Å. G. Solheim, O. Lysne, T. Sødring, T. Skeie and J. A. Libak

Routing-Contained Virtualization Based on Up*/Down* Forwarding

In High Performance Computing - HiPC 2007. 4873 ed. LNCS 4873. Berlin Heidelberg: Springer-Verlag, 2007.
Proceedings, refereed
2007
View
A. Kvalbein and O. Lysne

How Can Multi-Topology Routing Be Used for Intradomain Traffic Engineering?

In ACM SIGCOMM Workshop on Internet Network Management 2007. ACM sigcomm, 2007.
Proceedings, refereed
2007
View
O. Lysne

Proof by Consistency in Constructive Systems With Final Algebra Semantics

In Proceedings 3rd International Conference on Algebraic and Logic Programming. Lecture Notes in Computer Science. Pisa (Italy), 1992.
Proceedings, refereed
1992
View

News

29 October 2019

Minister of Digitalisation Nikolai Astrup visited Simula

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

Departments

Publication type

Year published

Export 5 results:
2007

Proceedings, refereed

A. F. Hansen, O. Lysne, T. Cicic and S. Gjessing

Fast Proactive Recovery From Concurrent Failures

In IEEE International Conference on Communications (ICC 2007). IEEE, 2007.
Status: Published
A. Kvalbein and O. Lysne

How Can Multi-Topology Routing Be Used for Intradomain Traffic Engineering?

In ACM SIGCOMM Workshop on Internet Network Management 2007. ACM sigcomm, 2007.
Status: Published
Å. G. Solheim, O. Lysne, T. Sødring, T. Skeie and J. A. Libak

Routing-Contained Virtualization Based on Up*/Down* Forwarding

In High Performance Computing - HiPC 2007. 4873 ed. LNCS 4873. Berlin Heidelberg: Springer-Verlag, 2007.
Status: Published
1992

Proceedings, refereed

O. Lysne

Proof by Consistency in Constructive Systems With Final Algebra Semantics

In Proceedings 3rd International Conference on Algebraic and Logic Programming. Lecture Notes in Computer Science. Pisa (Italy), 1992.
Status: Published
O. Lysne

Towards Mechanizing Proofs by Structural Induction

In Proceedings from NIK'92: Norsk Informatikk Konferanse. TAPIR,, 1992.
Status: Published