Linköping University
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.
- 153
-
Tim Heyer.
Semantic Inspection of Software Artifacts: From Theory To Practice.
PhD thesis no 725, 2001.
- 154
-
Tim Heyer.
Semantic Inspection of UML Designs.
In Proc. of the 1st Workshop on Inspection in Software Engineering, WISE'01, 2001.
- 157
-
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.