Primary tabs

Most recent publications

In 3rd International Workshop on Cognitive Radio and Advanced Spectrum Management. IEEE, 2010.
Proceedings, refereed
2010
In The 21st Annual IEEE International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC 2010). IEEE, 2010.
Proceedings, refereed
2010
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 20 results:
2010

Proceedings, refereed

In The 21st Annual IEEE International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC 2010). IEEE, 2010.
Status: Published
In 3rd International Workshop on Cognitive Radio and Advanced Spectrum Management. IEEE, 2010.
Status: Published

Patent

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