Primary tabs

Most recent publications

S. Gjessing, O. Lysne and K. Løchsen

Aspects of Running the SCI-Protocol Over HIC Networks

In Proceedings of the Second International Workshop on SCI-based High-performance Low-Cost Computing. Santa Clara (California),, 1995.
Proceedings, refereed
1995
View
O. Lysne, S. Gjessing and K. Løchsen

Aspects of Running the SCI-Protocol Over HIC-Networks

In Proceedings of The Second International Workshop on SCI-based High-performance Low-Cost Computing. Santa Clara (California),, 1995.
Proceedings, refereed
1995
View
O. Lysne and J. Piris

A Termination Ordering for Higher Order Rewrite Systems

In Proceedings 6th International Conference on Rewriting Techniques and Applications. Lecture Notes in Computer Science. Kaiserslautern (Germany): Springer-Verlag, 1995.
Proceedings, refereed
1995
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 12 results:
1995

Proceedings, refereed

S. Gjessing, O. Lysne and K. Løchsen

Aspects of Running the SCI-Protocol Over HIC Networks

In Proceedings of the Second International Workshop on SCI-based High-performance Low-Cost Computing. Santa Clara (California),, 1995.
Status: Published
O. Lysne, S. Gjessing and K. Løchsen

Aspects of Running the SCI-Protocol Over HIC-Networks

In Proceedings of The Second International Workshop on SCI-based High-performance Low-Cost Computing. Santa Clara (California),, 1995.
Status: Published
O. Lysne and J. Piris

A Termination Ordering for Higher Order Rewrite Systems

In Proceedings 6th International Conference on Rewriting Techniques and Applications. Lecture Notes in Computer Science. Kaiserslautern (Germany): Springer-Verlag, 1995.
Status: Published

Technical reports

O. Lysne and S. Gjessing

Aspects of Running the SCI-Protocol Over HIC-Networks

Department of Informatics, University of Oslo, 1995.
Status: Published

Talks, contributed

O. Lysne and S. Gjessing

Requirements Imposed by SCI and ATM

In OMI-MACRAMÉ project deliverable D3.1.1, 1995.
Status: Published
O. Lysne and D. I. K. Sjøberg

Internett - Ikke Livsnødvendig

In Kronikk i Aftenposten, 13. Desember, 1995.
Status: Published
P. C. Ölveczky and O. Lysne

Order-Sorted Termination: the Unsorted Way

In Proceedings from NIK'95: Norsk Informatikk Konferanse, Gran, 1995.
Status: Published
1994

Journal articles

O. Lysne

Heuristics for Completion in Automatic Proofs by Structural Induction

Nordic Journal of Computing 1 (1994): 135-156,.
Status: Published
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

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