Articles reported during 1996
as published or accepted for publication
Subset: articles originating in
RTSLAB during 1996
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.
The links marked "[ALP]" and "[ECP]" are explained
at the end of the present page.
If the article you are looking for is not in this list, then
maybe it as already reported last year - see
Staffan Bonnier, Tim Heyer.
COMPASS: A Comprehensible Assertion Method.
To appear in Proceedings FASE'97 (TAPSOFT'97)
Lille, France, April 1997, Springer-Verlag.
Silvia Coradeschi, Lars Karlsson, Anders Törne.
Intelligent Agents for Aircraft Combat Simulation,
in Proc. of the 6th Conference on Computer Generated Forces
and Behavioral Representation,
Orlando, Florida USA, July 1996.
Computational Indexes for Time Series,
in 8th Intl Conf on Scientific and Statistical Database Management,
(Stockholm, Sweden), June 1996.
Peter Loborg, Anders Törne.
Towards Error Recovery in Sequantial Control Applications,
in 6th int. Symposium on Robotics in Manufacturing (ISRAM96),
Montpellier, France, May 1996.
Anders Törne, Esa Falkenroth, Peter Loborg.
Databases in Control and Simulation,
1st Int'l Workshop on Real-Time Databases: Issues and Applications,
Newport Beach, CA, USA, March 1996.
Article Locator Pages
In some cases, the database maintains relatively extensive information
about an article: links to the journal, conference, or publisher
where the article was published, links to several generations of
the article, etc. Fort this reason, the publication register constructs
Article Locator Pages (ALP), that is, HTML pages
up-to-date information about the publication status of the article
in question and, as often as possible, links to the full text of
It is intended that the ALP shall be permanently usable as a key to
the full article and to current information about it. ALP:s have a
systematic naming; an ALP noted below as number 002 under the headling
1997 is represented at the URL
E-Press Cover Pages
For those articles published by the Linköping University Electronic
Press, the table above also indicates the E-Press cover page,
using the ECP. The ECP is used by the E-Press to characterize
the instance of an article as published by them. It
contains links to various versions or aspects of the article:
abstract, postscript, PDF version, etc.
Users at IDA please click here for
information about how to enter your article into the register and
to modify the information about it.
This page is maintained by
latest update 4 August 1997.