Primary tabs

Most recent publications

In Proceedings of the Thirty-Second Annual Hawaii International Conference on System Sciences. Maui, Hawaii,, 1999.
Proceedings, refereed
1999
In Conference Proceedings of SCI Europe'99 in Euro-Par 99. Toulouse, 1999.
Proceedings, refereed
1999
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 18 results:
1999

Proceedings, refereed

In Proceedings of the Thirty-Second Annual Hawaii International Conference on System Sciences. Maui, Hawaii,, 1999.
Status: Published
In Conference Proceedings of SCI Europe'99 in Euro-Par 99. Toulouse, 1999.
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