Linköping University

Department of Computer and Information Science

Publication Register

Articles reported during 1997
as published or accepted for publication

Subset: articles originating in TOSCA during 1997

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.

Thomas Drakengren.
A decidable canonical representation of the compact elements in Scott's reflexive domain in P-omega.
Accepted for publication in the journal Theoretical Computer Science.

Thomas Drakengren, Peter Jonsson.
Twenty-one Large Tractable Subclasses of Allen's Algebra.
Published in the journal Artificial IntelligenceVol. 93, pp. 297-319.

Peter Jonsson, Thomas Drakengren.
A Complete Classification of Tractability in the Spatial Theory RCC-5.
Published in the Journal of Artificial Intelligence ResearchVol. 6, pp. 211-221.

Peter Jonsson.
Tight Lower Bounds on the Approximability of Some NPO PB-Complete Problems.
Published by the Linköping University Electronic Press.
[abstract] [postscript] [ECP]

Simin Nadjm-Tehrani.
Time-Deterministic Hybrid Transition Systems..
Accepted for publication in the proceedings of the 1997 Hybrid Systems Workshop.

Simin Nadjm-Tehrani, Jan-Erik Strömberg.
Formal Verification of Dynamic Properties in an Aerospace Application..
Accepted for publication in the Journal of Formal Methods in Systems Design.

Peter Jonsson, Christer Bäckström.
Tractable Plan Existence Does Not Imply Tractable Plan Generation..
Accepted for publication in the Annals of Mathematics and Artificial Intelligence.

Peter Jonsson, Christer Bäckström.
State-Variable Planning Under Structural Restrictions: Algorithms and Complexit y..
Accepted for publication in the journal Artificial Intelligence.

This page is maintained by [EMTEK]; latest update 4 August 1997.