Linköping University

Department of Computer and Information Science

Publication Register

Articles reported during 1998
as published or accepted for publication

Subset: articles originating in TOSCA during 1998

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 last year's list.

Christer Bäckström.
Computational Aspects of Reordering Plans..
Accepted for publication in the Journal of Artificial Intelligence Research.

Thomas Drakengren, Peter Jonsson.
Reasoning about Set Constraints Applied to Tractable Inference in Intuitionisti c Logic.
Published in Journal of Logic and Computation 8(6):855-875, 1998 .

Peter Jonsson, Christer Bäckström.
A Unifying Approach to Temporal Constraint Reasoning..
Published in the journal Artificial IntelligenceVol. 102, pp. 143-155.

Inger Klein, Peter Jonsson, Christer Bäckström.
Efficient Planning for a Miniature Assembly Line..
Accepted for publication in the journal Artificial Intelligence in Engineering.

Jan-Erik Strömberg, Simin Nadjm-Tehrani.
Hybrid Systems Verification Combining Duration Calculus and Bond Graphs.
Presented in the invited session on Hybrid Systems of the international IFAC/IMACS conference on Control of Industrial Systems (CIS'97), Belfort, France, May 1997, pages 481-486, Elsevier.

Thomas Drakengren, Peter Jonsson.
A Complete Classification of Tractability in Allen's Algebra Relative to Subsets of Basic Relations.
Published in Artificial Intelligence 106(2):205-219, 1998.

Peter Jonsson.
Boolean Constraint Satisfaction: Complexity Results for Optimization Problems with Arbitrary Weights.
Accepted by Theoretical Computer Science.

Simin Nadjm-Tehrani.
Intregration of Analog and Discrete Synchronous Design.
Accepted to HSCC'99 Second International Workshop of HYBRID SYSTEMS: COMPUTATION AND CONTROL, March 29-31, Nijmegen, The Netherlands.

Peter Jonsson.
Near-Optimal Nonapproximability Results for Some NPO PB-Complete Problems.
Published in Processing Letters 68(5):249-253, 1998.

Peter Jonsson, Christer Bäckström.
Not Imply Tractable Plan Generation.
Published in Annals of Mathematics and Artificial Intelligence 22(3-4):281-296, 1998.

Peter Jonsson, Christer Bäckström.
A Unifying Approach to Temporal Constraint Reasoning.
Published in Artificial Intelligence 102(1):143-155, 1998.

Peter Jonsson, Christer Bäckström.
State-Variable Planning Under Structural Restrictions: Algorithms and Complexity.
Published in Artificial Intelligence 100(1-2):125-176, 1998.

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 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.

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