CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
RepoSE: An On-Line Repository for Simulation Experiment Descriptions Magazine Article
September 2012 -
A Modal Logic for Abstract Delta Modeling In Proceedings
F.S. de Boer (Frank), M. Helvensteijn (Michiel) and J. Winter (Joost)
September 2012
-
September 2012
-
MonetDB Jul2012-SP2 bugfix release Software
M.L. Kersten (Martin), P.A. Boncz (Peter), N.J. Nes (Niels), S. Manegold (Stefan), K.S. Mullender (Sjoerd), F.E. Groffen (Fabian), J.A. de Rijke (Arjen), Y. Zhang (Ying), S. Idreos (Stratos), R.A. Pereira Goncalves (Romulo Antonio), et al. E. Sidirourgos (Eleftherios), E. Liarou (Erietta), H. Pirk (Holger), M.-D. Pham (Minh-Duc), L.H.A. Scheers (Bart), E. Petraki (Eleni), T.H.J. Sellam (Thibault), Y. Kargin (Yagiz), M.M. Gawade (Mrunal), V.V. Meduri (Vamsi) and I. Fundulaki
September 2012 -
Automatic Code Generation for the Orchestration of Web Services with Reo In Proceedings
S.-S.T.Q. Jongmans (Sung), F. Santini (Francesco), M Sargolzaei, F. Arbab (Farhad) and H. Afsarmanesh
September 2012
-
Approximation algorithms and hardness of approximation for knapsack problems Tech Report
H.M. Buhrman (Harry), B. S. Loff Barreto (Bruno Serra) and L. Torenvliet (Leen)
September 2012
-
September 2012
-
All Schatten spaces endowed with the Schur product are Q-algebras Article
Journal of Functional Analysis, 262(1), 1-9.J. Briët (Jop), H.M. Buhrman (Harry), T. J. Lee (Troy) and T. Vidick (Thomas)
September 2012