Linköping University
Publication Register
Articles reported during
2000
as published or accepted for publication
Subset: articles originating in
LOGPRO during 2000
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.
- 035
-
Wlodek Drabent, Jan Maluszynski, Pawel Pietrzak.
Type-based Diagnosis of CLP Programs.
Published by Electronic Notes in Theoretical Computer Science, vol. 30, issue 4.
- 038
-
Ulf Nilsson, J. Lubcke.
Constraint Logic Programming for Local and Symbolic Model-Checking.
Accepted for the International Conference on Computational Logic (CL2000), London, July 24-29, 2000.
- 113
-
Witold Drabent, Jan Maluszynski, P. Pietrzak.
Locating Type Errors in Untyped CLP Programs.
Published in Analysis and Visualization Tools for Constraint Programming. LNCS, Springer Verlag.
- 115
-
M. Larsson, I. Klein, D. Lawesson, Ulf Nilsson.
Fault Isolation in Object Oriented Control Systems.
In IFAC SAFEPROCESS 2000, Budapest.
This page is maintained by
[EMTEK];
latest update 4 August 1997.