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 LOGPRO 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.

042
Laurent Fribourg, Hans Olsén.
Proving Safety Properties of Infinite State Systems by Compilation into Presbur ger Arithmetic..
Accepted for publication in the proceedings of the 1997 International Conference on Concurrency Theory.

043
Francisco Bueno, Pierre Deransart, Wlodek Drabent, Gerard Ferrand, Manuel Hermenegildo, Jan Maluszynski, German Puebla.
On the Role of Semantic Approximations in Validation and Diagnosis of Constrain t Logic Programs..
Accepted for publication in the proceedings of the 1997 International Workshop on Automated Debugging.
[postscript]

044
Laurent Fribourg, Hans Olsén.
Decompositional Approach for Computing Least Fixed-Points of Datalog Programs w ith Z-Counters..
Journal of Constraints (submitted), 1997.

045
Johan Boye, Wlodek Drabent, Jan Maluszynski.
Declarative Diagnosis of Contraint Programs: an Assertion Based Approach..
Accepted for publication in the proceedings of the 1997 International Workshop on Automated Debugging.
[postscript]

046
Johan Boye, Jan Maluszynski.
Directional Types and the Annotation Method..
Accepted for publication in the Journal of Logic Programming, pp. 179-220.
[postscript]

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