Primary tabs

Most recent publications

In Proceedings of SCI Europe'98. Bordeaux, France, 1998.
Proceedings, refereed
1998
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
Department of Informatics, University of Oslo, 1991.
PhD Thesis
1991

Simula in the media

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