Publication

CIRQUID: Complex information retrieval queries in a database Tech Report

D. Hiemstra, A.P. de Vries (Arjen), H.E. Blok (Henk Ernst), M. van Keulen, W. Jonker and M.L. Kersten (Martin)

Verification of JavaSpaces (TM) Parallel Programs In Proceedings

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

The multi-model DBMS architecture and XML information retrieval Book Chapter

A.P. de Vries (Arjen), J.A. List (Johan) and H.E. Blok (Henk Ernst)

Cofree coalgebras and recursiveness Article

M. Hazewinkel (Michiel)

Outline current state of fomula recognition Tech Report

M. Hazewinkel (Michiel)

Identification clouds and automatic keyphrase assignment. Lessons learned from the TRIAL SOLUTION project Tech Report

M. Hazewinkel (Michiel)

Verification of distributed dataspace architectures In Proceedings

S.-M. Orzan (Simona-Mihaela) and J.C. van de Pol (Jaco)

Monodromy and applications Book