Primary tabs

Most recent publications

S. Krogdahl and O. Lysne

On Verification of Parallel Message-Passing Processes

Formal Aspects of Computing 13 (2002): 471-492.
Journal Article
2002
View
T. Skeie, I. Theiss and O. Lysne

Evaluation of Minimal Deterministic Routing in Irregular Networks

In Proceedings of the SSGRR International Conference on Infrastructure for e-Business, e-education, e-Science, and e-Medicine (SSGRR), 2002.
Proceedings, refereed
2002
View
T. Skeie, O. Lysne and I. Theiss

Layered Shortest Path (LASH) Routing in Irregular System Area Networks

In Proceedings of Communication Architecture for Clusters (CAC'02). IEEE Computer Society, 2002.
Proceedings, refereed
2002
View
I. Theiss, T. Skeie and O. Lysne

Minimal Routing in Irregular Networks

In Proceedings of the International Conference on Communications in Computing (CIC). CSREA Press, 2002.
Proceedings, refereed
2002
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 11 results:
2002

Journal articles

S. Krogdahl and O. Lysne

On Verification of Parallel Message-Passing Processes

Formal Aspects of Computing 13 (2002): 471-492.
Status: Published

Proceedings, refereed

V. S. W. Eide, F. Eliassen, O. Lysne and O. Granmo

Real-Time Processing of Media Streams: a Case for Event-Based Interaction

In Proceedings of 1st International Workshop on Distributed Event-Based Systems (DEBS'02), IEEE. Vienna, Austria, 2002.
Status: Published
V. S. W. Eide, F. Eliassen, O. Granmo and O. Lysne

Scalable Independent Multi-Level Distribution in Multimedia Content Analysis

In Joint International Workshops on Interactive Distributed Multimedia Systems and Protocols for Multimedia Systems (IDMS/PROMS 2002). Lecture Notes in Computer Science. Coimbra, Portugal: Springer-Verlag, 2002.
Status: Published
T. Pinkston, J. Duato, O. Lysne and R. Pang

Theoretical Support for Dynamic Network Reconfiguration

In Proceedings of the ICS Workshop on Self-Healing, Adaptive and Self-Managed Systems (SHAMAN). ACM Press, 2002.
Status: Published
T. Skeie, I. Theiss and O. Lysne

Evaluation of Minimal Deterministic Routing in Irregular Networks

In Proceedings of the SSGRR International Conference on Infrastructure for e-Business, e-education, e-Science, and e-Medicine (SSGRR), 2002.
Status: Published
T. Skeie, O. Lysne and I. Theiss

Layered Shortest Path (LASH) Routing in Irregular System Area Networks

In Proceedings of Communication Architecture for Clusters (CAC'02). IEEE Computer Society, 2002.
Status: Published
I. Theiss, T. Skeie and O. Lysne

Minimal Routing in Irregular Networks

In Proceedings of the International Conference on Communications in Computing (CIC). CSREA Press, 2002.
Status: Published
1996

Proceedings, refereed

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.
Status: Published
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.
Status: Published
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.
Status: Published