CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Structural congruence for bialgebraic semantics Article
Journal of Logical and Algebraic Methods in ProgrammingOctober 2016 -
Distinguishing two probability ensembles with one sample from each ensemble Article
Theory of Computing Systems, 59(3), 517-531.L.F. Antunes (Luis), H.M. Buhrman (Harry), A. Matos, A. Souto (André) and A. Teixeira
October 2016 -
Scientific data and preservation - policy issues for the long-term record Article
ERCIM News, 13-14.October 2016
-
October 2016
-
October 2016
-
Integrating deductive verification and symbolic execution for abstract object creation in dynamic logic Article
Software and Systems Modeling, 15(4), 1117-1140.C.P.T. de Gouw (Stijn), F.S. de Boer (Frank), W. Ahrendt (Wolfgang) and R. Bubel (Richard)
October 2016 -
MonetDB Jun2016-SP2 bugfix release Software
M.L. Kersten (Martin), P.A. Boncz (Peter), N.J. Nes (Niels), S. Manegold (Stefan), K.S. Mullender (Sjoerd), J.A. de Rijke (Arjen), Y. Zhang (Ying), M.-D. Pham (Minh-Duc), L.H.A. Scheers (Bart), E. Petraki (Eleni), et al. T.H.J. Sellam (Thibault), Y. Kargin (Yagiz), M.M. Gawade (Mrunal), H.F. Mühleisen (Hannes), K. Kyzirakos (Konstantinos), D.G. Nedev (Dimitar), C.P. Cijvat (Robin), F. Alvanaki (Foteini), M.H.M. van Dinther (Martin), E. Sidirourgos (Eleftherios), R.A. Koopmanschap (Richard), M. Raasveldt (Mark), P. Koutsourakis (Panagiotis), T.R. Doehmen (Till), B.B. Kruit (Benno), A. Wits (Abe), P.E. Silva Ferreira (Pedro), S.G. Stalinov (Svetlin) and D. De Leo (Dean)
October 2016 -
Stress modelling and prediction in presence of scarce data Article
Journal of Biomedical Informatics, 344-356.A. Maxhuni, P. Hernandez-Leal (Pablo), L.E. Sucar (Enrique), V. Osmani (Venet), E.F. Morales (Eduardo) and O. Mayora (Oscar)
October 2016