Linköping University

Department of Computer and Information Science

Publication Register

Articles reported during 2001
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 last year's list.

Tim Heyer.
Semantic Inspection of Software Artifacts: From Theory To Practice.
PhD thesis no 725, 2001.

Tim Heyer.
Semantic Inspection of UML Designs.
In Proc. of the 1st Workshop on Inspection in Software Engineering, WISE'01, 2001.

Mathias Broxvall.
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 [EMTEK]; latest update 4 August 1997.