Primary tabs
Most recent publications
News
Status
Publication type
Year published
1997
Proceedings, refereed
In Proceedings of the Sixth International Workshop on SCI-based High-performance Low-Cost Computing, 1997.
Status: Published
1992
Journal articles
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
1991