Simin Nadjm-Tehrani:
Time-Deterministic Hybrid Transition Systems.
Accepted to the Fifth International Hybrid Systems Workshop (HSV).

Tianruo Yang, Zebo Peng:
Integrated Scheduling and Allocation in High-Level Test Synthesis.
Accepted to the IEEE European Test Workshop 1997, to be haled in Cagliari, Ital  y, 1997.

Per-Olof Fjällström:
Parallel Algorithms for Batched Range Searching on Coarse-Grained Multicomputer  s.
Accepted at the 11th Annual International Symposium on High Performance Computi  ng Systems.

Man Lin, Jacek Malec:
Timing Analysis of RL Programs.
Accepted to the 22nd IFAC/IFIP Workshop on Real Time Programming WRTP'97 to be   held in Lyon, France, September, 1997.

Per-Olof Fjällström:
Batched Range Searching on a Mesh-Connected SIMD Computer".
Accepted for presentation at the Ninth International Conference on Parallel and  Distributed Computing and Systems (PDCS'97).

Krzysztof Kuchcinski:
Embedded System Synthesis by Timing Constraints Solving.
Accepted for presentation at 10th International Symposium on System Synthesis,   Antwerp, Belgium, September 17-19, 1997.

Silvia Coradeschi, Lars Karlsson:
A Behavior-Based Decision-Mechanism for Agents coordinating using Roles: a Prel  iminary Report.
Accepted at the Fourth International Workshop on Agent Theories, Architectures,  and Languages (ATAL), in Providence, Rhode Island, USA, July 24-26, 1997.

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

Patrick Lambrix:
Some Notes on Parts, Whole and Time.
Proceedings of the Tenth International Symposium on Methodologies for Intellige  nt Systems - Poster Session - ISMIS 97, Charlotte, North Carolina, USA, 1997.

Patrick Lambrix, Lin Padgham:
A Description Logic Model for Querying Knowledge Bases for Structured Document.
Proceedings of the Tenth International Symposium on Methodologies for Intellige  nt Systems - ISMIS 97, Charlotte, North Carolina, USA, 1997.

Patrick Lambrix, Nahid Shahmehri, Niclas Wahllöf:
A Default Extension to Description Logics for Use in an Intelligent Search Engi  ne - Extended Abstract.
Proceedings of the Tenth International Symposium on Methodologies for Intellige  nt Systems - Poster Session - ISMIS 97, Charlotte, North Carolina, USA, 1997.

Patrick Lambrix, Nahid Shahmehri, Johan Åberg:
Towards Creating a Knowledge Base for World-Wide Web Documents.
Proceedings of the IASTED International Conference on Intelligent Information S  ystems, Grand Bahama Island, Bahamas, 1997.

Ling Li, Tore Risch:
Using a Sequential Index in Terrain-Aided Navigation.
Accepted to the 6th International Conference on Information and Knowledge Manag  ement (CIKM'97, ACM), held in Las Vegas, Nevada, USA.