Publication

Rate stability and output rates in queueing networks with shared resources Article

M. Jonckheere (Matthieu), R.D. van der Mei (Rob) and W. van der Weij (Wemke)

Semantic vs term-based query modification analysis In Proceedings

V. Hollink (Vera), T. Tsikrika (Theodora) and A.P. de Vries (Arjen)

The error function in the study of singularly perturbed convection-diffusion problems with discontinuous boundary data In Proceedings

J.L. López, E. Pérez Sinusía and N.M. Temme (Nico)

Structural identifiability of polynomial and rational systems Article

J. Nemcová (Jana)

The probabilistic analysis of language acquisition: Theoretical, computational, and experimental analysis Tech Report

A.S. Hsu, N. Chater (Nick) and P.M.B. Vitányi (Paul)

Towards Model Checking Executable UML Specifications in mCRL2 Article

H.H. Hansen (Helle), J. Ketema, S.P. Luttik (Bas), M.R. Mousavi and J.C. van de Pol (Jaco)

Annual report CWI 2009 : summary Other

Automated generation of program translation and verification tools using annotated grammars Article

D. Ordonez Camacho (Diego), K. Mens, M.G.J. van den Brand (Mark) and J.J. Vinju (Jurgen)