Centrum Wiskunde & Informatica

A BDD-representation for the logic of equality and uninterpreted functions (a full version with proofs). Tech Report

J.C. van de Pol (Jaco) and O. Tveretina

January 2005
TIJAH: embracing IR methods in XML databases Article

Information Retrieval Journal, 8(4), 547-570.

J.A. List (Johan), V. Mihajlovic, G. Ramirez Camps (Georgina), A.P. de Vries (Arjen), D. Hiemstra and H.E. Blok (Henk Ernst)

January 2005
Integer decomposition for polyhedra defined by nearly totally unimodular matrices Article

SIAM Journal on Discrete Mathematics, 19(3), 798-806.

D. Gijswijt (Dion)

January 2005
An Abstract Interpretation Toolkit for mCRL In Proceedings

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

January 2005
Making RDF Presentable - Integrated Global and Local Semantic Web Browsing Book Chapter

L. Rutledge (Lloyd), J.R. van Ossenbruggen (Jacco) and L. Hardman (Lynda)

January 2005
Inzien en bewijzen Book

D.J.N. van Eijck (Jan) and A. Visser

January 2005
Using rhetorical annotations for generating video documentaries Tech Report

S. Bocconi, F.-M. Nack (Frank) and L. Hardman (Lynda)

January 2005
Reasoning about connector reconfiguration. Part I. Tech Report

D.G. Clarke (David)

January 2005

Previous

Next