Articles accepted or published during 1997

Preliminary version - comments welcome!

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. In the present build-up stage for the register, different years are represented somewhat differently. The representation for the present year (1997) is a model of what the entire register is intended to be like in some future. The following are some key aspects of this representation.

Article Locator Pages

Each item in the publication register is represented by an Article Locator Page (ALP), that is, an HTML page containing up-to-date information about the publication status of the article in question and, as often as possible, links to the full text of that article. This may be a link to where the article is presently stored within the IDA computer system, but it may also be a link to the on-line version of the article at a commercial publisher. In the latter case, access to the article may require a subscription to the electronic version of the journal.

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 http://www.ida.liu.se/ext/pur/1997/002.html.

E-Press Cover Pages

For those articles published by the Linköping University Electronic Press, the table below 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.

The following are the entries that have been reported so far during 1997

022: Marcus Bjäreland and Lars Karlsson.
Reasoning by Regression: Pre- and Postdiction Procedures for Logics of Actions and Change.
[ALP].
021: Tianruo Yang and Zebo Peng.
An Integrated Approach to Data Path Synthesis for Testability.
[ALP].
020: Thomas Drakengren and Marcus Bjäreland.
Towards a Complete Classification of Tractability in Allen's Algebra.
[ALP].
019: Lars Karlsson.
Reasoning about incomplete initial information and nondeterminism in the situation calculus.
[ALP].
018: Gunilla Ivefors.
Emergency Information Management and Disaster Preparedness on the Internet.
[ALP].
017: Jörgen Andersson.
Processorientering i offentlig verksamhet.
[abstract], [postscript], [ECP], [ALP].
016: Peter Jonsson.
Tight Lower Bounds on the Approximability of Some NPO PB-Complete Problems.
[abstract], [postscript], [ECP], [ALP].
015: Alexei Boulatov.
Decision Support Systems for Vessel Performance and Control.
[ALP].
014: Staffan Bonnier and Tim Heyer.
COMPASS: A Comprehensible Assertion Method.
[ALP].
013: Per-Olof Fjällström.
Parallel Algorithms for Batched Range Searching on Coarse-Grained Multicomputers.
[abstract], [postscript], [ECP], [ALP].
012: Joachim Karlsson, S Olsson, and Kevin Ryan.
Improved Practical Support for Large-Scale Requirements Prioritizing.
[ALP].
011: Joachim Karlsson.
Managing Software Requirements Using Quality Function Deployment.
[ALP].
010: Joachim Karlsson and Kevin Ryan.
Prioritzing Requirements Using a Cost-Value Approach.
[ALP].
009: Kevin Ryan and Joachim Karlsson.
Prioritizing Software Requirements in an Industrial Setting.
[ALP].
008: Peter Jonsson and Thomas Drakengren.
A Complete Classification of Tractability in the Spatial Theory RCC-5.
[ALP].
007: Henrik André-Jönsson and Dushan Badal.
Retrieval of One-Dimensional Data.
[ALP].
006: Thomas Drakengren and Peter Jonsson.
Twenty-one Maximal Tractable Subclasses of Allen's Algebra.
[ALP].
005: Stefan Holmlid.
Learning for usability: An explorative study of qualities in use.
[ALP].
004: Thomas Drakengren.
A decidable canonical representation of the compact elements in Scott's reflexive domain in P\\omega.
[ALP].
003: Erik Sandewall.
A Neo-Classical Structure for Scientific Publication and Reviewing.
[abstract], [postscript], [ECP], [ALP].
002: Thierry Vidal and Helene Fargier.
Contingent durations in temporal CSPs: from consistency to controllabilities.
[abstract], [postscript], [ECP], [ALP].
001: Silvia Coradeschi and Lars Karlsson.
A Decision-Mechanism for Reactive and Cooperative Soccer-Playing Agents.
[abstract], [postscript], [PDF], [ECP], [ALP].

Users at IDA please click here for information about how to enter your article into the register.

This page is maintained by [EMTEK]; latest update 1 March 1997.