WITAS 1997 Publication Register

Articles from the WITAS project, reported during 1997
as published or accepted for publication

The WITAS publication register lists articles that report on research in WITAS, and that have been published or accepted for publication in international, peer reviewed journals or conferences. The usual bibliographic references are combined with links to on-line copies of those articles whenever available and known.

019
Lars Karlsson.
Reasoning about incomplete initial information and nondeterminism in the situation calculus.
Accepted for publication in the proceedings of the 1997 International Joint Conference on Artificial Intelligence.

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 International Joint Conference on Artificial Intelligence.
[postscript]

028
Krzysztof Kuchcinski.
Embedded System Synthesis by Timing Constraints Solving..
Accepted for publication in the proceedings of the International Symposium on System Synthesis.
[postscript]

040
Piotr Brudlo, Krzysztof Kuchcinski.
Parallel Spatio-Temporal Convolution Scheme oriented for Hardware Real-Time Imp lementation..
Accepted for publication in the proceedings of the EUROMICRO Conference (short contributions).

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.

085
Vadim Engelson, Peter Fritzson, Dag Fritzson.
Generating efficient 3D graphics animation code with OpenGL from object oriente d models in Mathematica..
Published in Innovation in Mathematics. Proceedings of the Second International Mathematica Symposium, Rovaniemi, Finland, 29 June - 4 July 1997, V. Keränen, P. Mitic, A. Hietamäki (Ed.) pp. 129-136.
[postscript]

086
H. Elmqvist, F. Boudaud, J. Broenink, D. Brück, T. Ernst, P. Fritzson, A. Jeandel, K. Juslin, M. Klose, S.E. Mattsson, M. Otter, H. Tummescheit, H. Vangheluwe.
Modelica TM - A Unified Object-Oriented Language for Physical Systems Modeling..
Version 1, September 1997.

This page is maintained by EMTEK using the IDA publication register software.