Publication

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)

A State Space Distribution Policy based on Abstract Interpretation In Proceedings

S.-M. Orzan (Simona-Mihaela), J.C. van de Pol (Jaco) and M.A. Valero Espada (Miguel)

Keyphrase assignment. Comparison between 'identification cloud' based automatic methods and human experts Tech Report

M. Hazewinkel (Michiel)

Grid approximation of a singularly perturbed boundary value problem modelling heat transfer in the case of flow over a flat plate with suction of the boundary layer Article

J.J.H. Miller (John), G.I. Shishkin (Gregori), B. Koren (Barry) and L.P. Shishkina

Multi-point Taylor expansions of analytic functions Article

J.L. López and N.M. Temme (Nico)

Automated negotiation and bundling of information goods Tech Report

D.J.A. Somefun (Koye), E.H. Gerding (Enrico), S.M. Bohte (Sander) and J.A. La Poutré (Han)