Centrum Wiskunde & Informatica

Sampling, Splitting and Merging in Coinductive Stream Calculus In Proceedings

M. Niqui (Milad) and J.J.M.M. Rutten (Jan)

January 2010
An Optimal Bifactor Approximation Algorithm for the Metric Uncapacitated Facility Location Problem Article

SIAM Journal on Computing, 39(6), 2212-2231.

J. Byrka (Jaroslaw) and K.I. Aardal (Karen)

January 2010
Lattice based extended formulations for integer linear equality systems Article

Mathematical Programming, 121(2), 337-352.

K.I. Aardal (Karen) and L.A. Wolsey (Laurence)

January 2010
Normalized Information Distance is Not Semicomputable Tech Report

S.A. Terwijn, L. Torenvliet (Leen) and P.M.B. Vitányi (Paul)

January 2010
On Barbs and Labels in Reactive systems Tech Report

F. Bonchi (Filippo), F. Gadducci (Fabio) and G.V. Monreale (Giacoma Valentina )

January 2010
AmbiDexter: Practical Ambiguity Detection In Proceedings

H.J.S. Basten (Bas) and T. van der Storm (Tijs)

January 2010
Mod4J: A Qualitative Case Study of Model-Driven Software Development In Proceedings

V. Lussenburg (Vincent), T. van der Storm (Tijs), J.J. Vinju (Jurgen) and J. Warmer (Jos)

January 2010
On the impact of DSL tools on the maintainability of language implementations In Proceedings

P. Klint (Paul), T. van der Storm (Tijs) and J.J. Vinju (Jurgen)

January 2010

Previous

Next