Primary tabs

Most recent publications

In Proceedings HICSS'94. Hawaii, 1994.
Proceedings, refereed
1994
In Proceedings CompCon 1992. San Fransisco, 1992.
Proceedings, refereed
1992
In Computer Aided Verification, 3rd International Workshop (CAV'91). Lecture Notes in Computer Science. Springer-Verlag, 1992.
Proceedings, refereed
1992
Export 13 results:
1994

Proceedings, refereed

In Proceedings HICSS'94. Hawaii, 1994.
Status: Published
1992

Journal articles

IEEE Spectrum (1992).
Status: Published

Proceedings, refereed

In Proceedings CompCon 1992. San Fransisco, 1992.
Status: Published
In Computer Aided Verification, 3rd International Workshop (CAV'91). Lecture Notes in Computer Science. Springer-Verlag, 1992.
Status: Published

Book chapters

In Scalable Memory Multiprocessors. Kluwer Academic Publishers, 1992.
Status: Published
1983

PhD theses

Department of Informatics, University of Oslo, 1983.
Status: Published

Technical reports

Department of Informatics, University of Oslo, 1983.
Status: Published

Talks, contributed

In Mach-S information, Sept. 1983, Norsk Regnesentral., 1983.
Status: Published
1979

Journal articles

BIT 19 (1979).
Status: Published