Centrum Wiskunde & Informatica

State Space Reduction for Model Checking Agent Programs In Proceedings

S.-S.T.Q. Jongmans (Sung), K.V. Hindriks and M.B. van Riemsdijk

February 2012
Rascal Release 0.4.17 (alpha) Software

J.J. Vinju (Jurgen), P. Klint (Paul), D. Landman (Davy), A. Izmaylova (Anastasia) and T. van der Storm (Tijs)

February 2012
Rascal Release 0.4.16 (alpha) Software

J.J. Vinju (Jurgen), P. Klint (Paul), D. Landman (Davy) and A. Izmaylova (Anastasia)

February 2012
Rascal Release 0.4.18 (alpha) Software

J.J. Vinju (Jurgen), P. Klint (Paul), D. Landman (Davy), A. Izmaylova (Anastasia), T. van der Storm (Tijs) and A.H.S. Bagge (Anya)

February 2012
Characterizing partition functions of the vertex model Article

Journal of Algebra, 350(1), 197-206.

J. Draisma (Jan), D. Gijswijt (Dion), L. Lovász (László), G. Regts (Guus) and A. Schrijver (Lex)

February 2012
Multimodality and Multiresolution Image Fusion In Proceedings

P.M. de Zeeuw (Paul), E.J.E.M. Pauwels (Eric) and J. Han (Jungong )

February 2012
Tensor invariants for certain subgroups of the orthogonal group Tech Report

G. Regts (Guus) and J. Draisma (Jan)

February 2012
Benchmarking RDF Storage Engines Manual

Y. Zhang (Ying), M.-D. Pham (Minh-Duc), F.E. Groffen (Fabian), E. Liarou (Erietta), P.A. Boncz (Peter), M.L. Kersten (Martin), J.P. Calbimonte and O. Corcho (Oscar)

March 2012

Previous

Next