Primary tabs

Most recent publications

In Proceedings of the SSGRR International Conference on Infrastructure for e-Business, e-education, e-Science, and e-Medicine (SSGRR), 2002.
Proceedings, refereed
2002
In Proceedings of Communication Architecture for Clusters (CAC'02). IEEE Computer Society, 2002.
Proceedings, refereed
2002
In Proceedings of the International Conference on Communications in Computing (CIC). CSREA Press, 2002.
Proceedings, refereed
2002
In Proceedings of 1st International Workshop on Distributed Event-Based Systems (DEBS'02), IEEE. Vienna, Austria, 2002.
Proceedings, refereed
2002

Simula in the media

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

Export 11 results:
2002

Journal articles

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

Proceedings, refereed

In Proceedings of 1st International Workshop on Distributed Event-Based Systems (DEBS'02), IEEE. Vienna, Austria, 2002.
Status: Published
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
In Proceedings of the ICS Workshop on Self-Healing, Adaptive and Self-Managed Systems (SHAMAN). ACM Press, 2002.
Status: Published
In Proceedings of the SSGRR International Conference on Infrastructure for e-Business, e-education, e-Science, and e-Medicine (SSGRR), 2002.
Status: Published
In Proceedings of Communication Architecture for Clusters (CAC'02). IEEE Computer Society, 2002.
Status: Published
In Proceedings of the International Conference on Communications in Computing (CIC). CSREA Press, 2002.
Status: Published
1992

Proceedings, refereed

In Proceedings 3rd International Conference on Algebraic and Logic Programming. Lecture Notes in Computer Science. Pisa (Italy), 1992.
Status: Published
In Proceedings from NIK'92: Norsk Informatikk Konferanse. TAPIR,, 1992.
Status: Published
1990

Proceedings, refereed

In Proceedings from NIK'90: Norsk Informatikk Konferanse. Bergen,: TAPIR, 1990.
Status: Published