Publication
-
Constraints in object-oriented graphics Dissertation
June 1999 -
August 1999 -
Size-biased random closed sets Article
Pattern Recognition, 32(9), 1631-1644.September 1999
-
Nonlinear approaches to satisfiability problems Dissertation
September 1999 -
MIL primitives for querying a fragmented world Article
VLDB Journal, 8(2), 101-119.October 1999
-
Evaluating SMIL: Three user case studies In Proceedings
October 1999
-
October 1999 -
Analysing industrial protocols with formal methods Dissertation
October 1999