Articles reported during
as published or accepted for publication
Subset: articles originating in
TCSLAB during 2001
The IDA publication register
contains information about articles written by researchers at IDA.
The usual bibliographic references are combined with links to on-line
copies of those articles whenever available and known.
If the article you are looking for is not in this list, then
maybe it as already reported last year - see
Semantic Inspection of Software Artifacts: From Theory To Practice.
PhD thesis no 725, 2001.
Semantic Inspection of UML Designs.
In Proc. of the 1st Workshop on Inspection in Software Engineering, WISE'01, 2001.
The Point Algebra for Branching Time Revisited..
In Proceedings of the 17th Joint German/Austrin Conference on Artificial Intelligence (KI-2001), 2001.
This page is maintained by
latest update 4 August 1997.