Linköping University
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.
- 004
-
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.
- 006
-
Thomas Drakengren, Peter Jonsson.
Twenty-one Large Tractable Subclasses of Allen's Algebra.
Published in the journal Artificial IntelligenceVol. 93, pp. 297-319.
- 008
-
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.
[postscript]
- 016
-
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]
- 023
-
Simin Nadjm-Tehrani.
Time-Deterministic Hybrid Transition Systems..
Accepted for publication in the proceedings of the 1997 Hybrid Systems Workshop.
[postscript]
- 030
-
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.
[postscript]
- 050
-
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.
- 081
-
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.