Primary tabs
Most recent publications
Selected publications
Students under supervision
Available Master's topics
Status
Departments
Publication type
Year published
2004
Talks, contributed
In Talk given at SINTEF ICT Oslo, 2004.
Status: Published
In Talk given at SINTEF ICT Oslo, 2004.
Status: Published
1998
Proceedings, refereed
In Algebraic Methodology and Software Technology, Proceedings of AMAST'98, Ariaú, Amazonas, Brasil, LNCS volume 1548. Lecture Notes in Computer Science. Springer-Verlag, 1998.
Status: Published

