Primary tabs

Most recent publications

H. Q. Vo, O. Lysne and A. Kvalbein

Routing With Joker Links for Maximized Robustness

In Proceedings of IFIP Networking 2013 Conference. IEEE, 2013.
Proceedings, refereed
2013
View
H. Q. Vo, O. Lysne and A. Kvalbein

Increased Robustness With Interface Based Permutation Routing

In IEEE ICC 2013, 2013.
Proceedings, refereed
2013
View
O. Lysne

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

Information Processing Letters 51, no. 6 (1994): 303-310,.
Journal Article
1994
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

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

Find publication

Status

Departments

Publication type

Year published

Export 9 results:
2013

Proceedings, refereed

H. Q. Vo, O. Lysne and A. Kvalbein

Routing With Joker Links for Maximized Robustness

In Proceedings of IFIP Networking 2013 Conference. IEEE, 2013.
Status: Published
H. Q. Vo, O. Lysne and A. Kvalbein

Increased Robustness With Interface Based Permutation Routing

In IEEE ICC 2013, 2013.
Status: Published

Talks, invited

O. Lysne

Tjenesteavbrudd Over Mobilt Bredbånd I Norge

In Det Norske Videnskaps-Akademi Årbok 2012, 2013.
Status: Published

Talks, contributed

E. Tasoulas, W. L. Guay, S. Reinemo, B. D. Johnsen, C. Yen, T. Skeie, O. Lysne and O. Torudbakken

Prototyping Live Migration With SR-IOV Supported InfiniBand HCAs

In HPC Advisory Council Spain Conference, 2013.
Status: Published
1994

Journal articles

O. Lysne

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

Information Processing Letters 51, no. 6 (1994): 303-310,.
Status: Published
O. Lysne

Heuristics for Completion in Automatic Proofs by Structural Induction

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

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

Talks, contributed

O. Lysne and J. Piris

A Termination Ordering for Higher Order Rewrite Systems

In Proceedings Journees du GDR Programmation, Lille (France), GDR Programmation du CNRS, 1994.
Status: Published