Linköping University

Publication Register

Articles reported during 1997
as published or accepted for publication

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.

The following are the publication register entries
that have been reported during 1997

If the article you are looking for is not in this list, then
maybe it was already reported in
last year's
list,
or maybe it was reported too late and got into
next year's
list.

001

Silvia Coradeschi, Lars Karlsson.A Decision-Mechanism for Reactive and Cooperative Soccer-Playing Agents.
Accepted for publication in the proceedings of the 2 .
Presented at the RoboCup workshop: Soccer as a problem for Multi-Agent
Systems, during the second international conference on Multi-Agent
Systems (ICMAS-96)[abstract][postscript][PDF][ECP][ALP]
- (kplab)

002

Thierry Vidal, Hélène Fargier.Contingent durations in temporal CSPs: from consistency to controllabilities.
A revised version of this article was published in the proceedings
of the TIME-1997 conference[abstract][postscript][ECP][ALP]
- (emtek)

Tianruo Yang, Zebo Peng.An Integrated Approach to Data Path Synthesis for Testability.
Accepted for publication in the proceedings of the International Test Synthesis Workshop.
- (eslab)

022

Marcus Bjäreland, Lars Karlsson.Reasoning by Regression: Pre- and Postdiction Procedures for Logics of Actions and Change.
Accepted for publication in the proceedings of the 1997 . [postscript]
- (kplab witas)

Tianruo Yang, Zebo Peng.Integrated Scheduling and Allocation in High-Level Test Synthesis..
Accepted for publication in the proceedings of the IEEE European Test Workshop.
- (eslab)

025

Per-Olof Fjällström.Parallel Algorithms for Batched Range Searching on Coarse-Grained Multicomputers..
Published in the proceedings of the 1997 , pp. 167-178.
- (actlab)

026

Man Lin, Jacek Malec.Timing Analysis of RL Programs..
Accepted for publication in the proceedings of the 1997 .
- (taslab)

027

Per-Olof Fjällström.Batched Range Searching on a Mesh-Connected SIMD Computer"..
Published in the proceedings of the 1997 , pp. 65-68.
- (actlab)

028

Krzysztof Kuchcinski.Embedded System Synthesis by Timing Constraints Solving..
Accepted for publication in the proceedings of the International Symposium on System Synthesis. [postscript]
- (cadlab witas)

Patrick Lambrix, Nahid Shahmehri, Niclas Wahllöf.Dwebic: An Intelligent Search Engine based on Default Description Logics.
Accepted for publication in the proceedings of the International Workshop on Description Logics.
- (iislab)

048

Patrick Lambrix, Nahid Shahmehri.TRIFU: The Right Information for You.
Accepted for publication in the proceedings of the Hawaii International Conference on System Sciences - Internet and the Digital Economy Track.
- (iislab)

Erik Berglund, Henrik Eriksson.Distributed-Interactive Simulation for Group-Distance Exercises on the Web..
Accepted to the International Conference on Web-Based Modeling and Simulation o f the 1998 Western MultiConference held in San Diego, 11-14 January.
- (aslab)

080

Vadim Engelson, D. Fritzson, Peter Fritzson.Using the Mathematica Environment for Generating Efficient 3D Graphics..
Accepted to be presented at COMPUGRAPHICS'97 - The Sixth Conference on Computat ional Graphics and Visualization Techniques, which will be held in Vilamoura, Algarve, Portugal, from 15 to 18 of December.
- (pelab witas)

Mikael Pettersson.Portable debugging and profiling..
Accepted to the International Conference on Compiler Construction, cc'98 held in Lisbon, Portugal, March 30 to April 3, 1998, LNCS, Springer Verlag.
- (pelab)