Primary tabs

Most recent publications

In Simula SpringerBriefs on Computing. Vol. 11. Cham: Springer Nature, 2022.
Edited books
2022
In Digitalisering og internasjonal politikk. Universitetsforlaget, 2022.
Book Chapter
2022
In Proceedings 12th International Conference on Automated Deduction, Nancy (France). Lecture Notes in Artificial Intelligence. Springer-Verlag, 1994.
Proceedings, refereed
1994
In Proceedings 5th Nordic Workshop on Program Correctness. Reports on Computer Science & Mathematics. bo Akademi, 1994.
Proceedings, refereed
1994

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 26 results:
2022

Edited books

In Simula SpringerBriefs on Computing. Vol. 11. Cham: Springer Nature, 2022.
Status: Published

Book chapters

In Digitalisering og internasjonal politikk. Universitetsforlaget, 2022.
Status: Published

Talks, invited

In Oslo Tingrett, Norway, 2022.
Status: Published
In Inside telecom, 2022.
Status: Published
In Totalberedskapskommisjonen, Oslo, Norway. Totalberedskapskommisjonen, 2022.
Status: Published
In Politiavdelingen, Justisdepartementet, Oslo, Norway, 2022.
Status: Published
In Multi-Modal Warfare, Safe House Global, Washington, DC, USA, 2022.
Status: Published
In Nasjonal Kommunikasjonsmyndighet sin offentliggjøring av målbilder mot 2030. NKOM, 2022.
Status: Published
In Kommunal- og distriktsdepartementet, Oslo, Norway, 2022.
Status: Published