Primary tabs

Most recent publications

I. Livadariu, T. Dreibholz, A. S. Al-Selwi, H. Bryhni, O. Lysne, S. Bjørnstad and A. Elmokashfi

On the Accuracy of Country-Level IP Geolocation

In Applied Networking Research Workshop (ANRW). Madrid/Spain: ACM, 2020.
Proceedings, refereed
2020
View
F. O. Sem-Jacobsen and O. Lysne

Topology Agnostic Dynamic Quick Reconfiguration for Large-Scale Interconnection Networks

In Proceedings of The 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing. IEEE, 2012.
Proceedings, refereed
2012
View
E. G. Gran, S. Reinemo, O. Lysne, T. Skeie, E. Zahavi and G. Shainer

Exploring the Scope of the InfiniBand Congestion Control Mechanism

In 2012 IEEE International Symposium on Parallel & Distributed Processing (IPDPS). IEEE Computer Society, 2012.
Proceedings, refereed
2012
View
F. O. Sem-Jacobsen, R. Lorentzen and O. Lysne

A Theory and Methodology for Combining Data Centre Networks

In In proceedings of IEEE International Conference on High Performance Computing (HiPC). IEEE, 2012.
Proceedings, refereed
2012
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

Export 12 results:
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