Primary tabs

Most recent publications

In Proceedings IEEE Workshop in High Performance Switching and Routing. Dallas, Texas: IEEE, 2001.
Proceedings, refereed
2001
In Proceedings IEEE International Conference on Networking, ICN´01. Colmar, France: Springer-Verlag, 2001.
Proceedings, refereed
2001
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 24 results:
2001

Proceedings, refereed

In Proceedings IEEE Workshop in High Performance Switching and Routing. Dallas, Texas: IEEE, 2001.
Status: Published
In Proceedings IEEE International Conference on Networking, ICN´01. Colmar, France: Springer-Verlag, 2001.
Status: Published

Technical reports

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

Talks, contributed

In Presentation at the September 2001 IEEE 802.17 interim meeting, 2001.
Status: Published
In Technologies for component based, distributed systems workshop, 2001.
Status: Published
In Presentation at the September 2001 IEEE 802.17 interim meeting, 2001.
Status: Published
In Presentation at the November 2001 IEEE 802.17 plenary meeting, 2001.
Status: Published
In Presentation at the May 2001 IEEE 802.17 interime meeting, 2001.
Status: Published
1992

Journal articles

IEEE Spectrum (1992).
Status: Published

Proceedings, refereed

In Proceedings CompCon 1992. San Fransisco, 1992.
Status: Published