Computer-aided complexity classification of dial-a-ride problems. Article

W.E. de Paepe, J.K. Lenstra (Jan Karel), J. Sgall, R.A. Sitters (René) and L. Stougie (Leen)

Minimizing makespan in a two-machine flow shop with delays and unit-time operations is NP-hard Article

W. Yu, J.A. Hoogeveen and J.K. Lenstra (Jan Karel)

The overlap problem in content-oriented XML retrieval evaluation In Proceedings

G. Kazai, M. Lalmas and A.P. de Vries (Arjen)

An Algorithm to Verify Formulas by means of (O,S,=)-BDDs In Proceedings

B. Badban (Bahareh) and J.C. van de Pol (Jaco)

Convergent asymptotic expansions of Charlier, Laguerre and Jacobi polynomials Book Chapter

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

Modal abstractions in $ \mu $ CRL In Proceedings

J.C. van de Pol (Jaco) and M.V. Espada

Verifying a sliding window protocol in muCRL In Proceedings

W.J. Fokkink (Wan), J.F. Groote (Jan Friso), J. Pang, B. Badban (Bahareh) and J.C. van de Pol (Jaco)

Formal Methods for Components and Objects - Pragmatic aspects and applications Proceedings