Centrum Wiskunde & Informatica

Jan Karel, The Decider Miscellaneous

P.M.B. Vitányi (Paul)

January 2011
On semidefinite programming bounds for graph bandwidth Article

Optimization Online

E. de Klerk (Etienne), M. Eisenberg-Nagy (Marianna) and R. Sotirov (Renata)

January 2011
Reasoning with protocols under imperfect information Article

The Review of Symbolic Logic, 4(3), 412-444.

E. Pacuit and S.E. Simon (Sunil)

January 2011
MediaWiki grammar recovery Article

Computing Research Repository, 1-47.

V. Zaytsev (Vadim)

January 2011
A case of visitor versus interpreter pattern In Proceedings

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

January 2011
Rascal: Language technology for model-driven engineering In Proceedings

J. van den Bos (Jeroen), P.R. Griffioen (Paul), P. Klint (Paul) and T. van der Storm (Tijs)

January 2011
RLSRunner: Linking Rascal with K for program analysis In Proceedings

P. Klint (Paul), J.J. Vinju (Jurgen) and M.A. Hills (Mark)

January 2011
A geometric look at manipulation In Proceedings

D.J.N. van Eijck (Jan)

January 2011

Previous

Next