Linköping University
Publication Register
Articles reported during
2002
as published or accepted for publication
Subset: articles originating in
TOSCA during 2002
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 was already reported last year - see
last
year's list.
- 003
-
Mathias Broxvall, Peter Jonsson, Jochen Renz.
Disjunctions, Independence, Refinements.
Has been accepted to the Artificial Intelligence Journal for publication.
- 006
-
Diana Szentivanyi, Simin Nadjm-Tehrani.
Building and Evaluating an FT-CORBA Infrastructure.
Accepted for presentationto to the workshop on Dependable Middleware-based Systems. The workshop is part of the main international conference on Dependable Networks and Systems (DSN) in Washingtion DC, June 2002.
- 020
-
Andrei Krokhin, Peter Jonsson.
Extending the point algebra into the qualitative algebra.
Accepted at the 9th International Symposium on Temporal Representation and Reasoning (TIME-2002).
- 021
-
Vilhelm Dahllöf, Peter Jonsson, Magnus Wahlström.
Counting Satisfying Assignments in 2-SAT and 3-SAT.
Accepted for presentation at The Eighth Annual International Computing and Combinatorics Conference (COCOON2002) held in Singapore, August 15-17.
- 022
-
Ola Angelsmark, Vilhelm Dahllöf, Peter Jonsson.
Finite Domain Constraint Satisfaction Using Quantum Computation.
Accepted to the 27th International Symposium on Mathematical Foundations of Computer Science (MFCS-2002).
- 027
-
Ola Angelsmark, Peter Jonsson, Svante Linusson, Johan Thapper.
Determining the number of solutions to binary CSP instances.
Accepted at the 8th International Conference on Principles and Practice of Constraint Programming, held at Cornell University, Ithaca, NY, USA, Sept. 8-13, 2002.
This page is maintained by
[EMTEK];
latest update 4 August 1997.