Publication

Combining multiple representations on the TRECVID search task In Proceedings

A.P. de Vries (Arjen), T.H.W. Westerveld (Thijs) and T. Ianeva

Algebras, rings, and modules: Volume 1 Book

M. Hazewinkel (Michiel), N. Gubareni (Nadiya) and V.V. Kirichenko

A comparative study of arithmetic constraints on integer intervals In Proceedings

K.R. Apt (Krzysztof) and P. Zoeteweij (Peter)

Mass customization in ambient narratives Tech Report

M.G.L.M. van Doorn (Mark) and A.P. de Vries (Arjen)

Preface: Recent advances in constraints Preface

K.R. Apt (Krzysztof), F. Fages, F. Rossi, P. Szeredi and J. Váncza

Recent advances in constraints Book

Abstraction of parallel uniform processes with data In Proceedings

J. Pang (Jun), J.C. van de Pol (Jaco) and M.A. Valero Espada (Miguel)

Solving Satisfiability of Ground Term Algebras Using DPLL and Unification In Proceedings

B. Badban (Bahareh), J.C. van de Pol (Jaco), O. Tveretina and H. Zantema (Hans)