university website Publications by Year
  • Home

CWI Institutional Repository

Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands
  • thumb

    Unsupervised annotated city traffic map generation In Proceedings

    R. Verma (Rohit), S. Ghosh (Surjya), A. Shrivastava (Aviral), N. Ganguly (Niloy), B. Mitra (Bivas) and S. Chakraborty (Sandip)

    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
  • thumb

    Information theoretical approach to discovering solar wind drivers of the outer radiation belt Article

    Journal of Geophysical Research: Space Physics, 121(10), 9378-9399.

    S.P. Wing (Simon), J.R. Johnson (Jay), E. Camporeale (Enrico) and G.D. Reeves (Geoffrey)

    October 2016
  • thumb

    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
  • thumb

    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
  • thumb

    Structural congruence for bialgebraic semantics Article

    Journal of Logical and Algebraic Methods in Programming

    Rot, J. (Jurriaan) and Bonsangue, M. (Marcello)

    October 2016
  • Scientific data and preservation - policy issues for the long-term record Article

    ERCIM News, 13-14.

    V.A. Sarkol (Vera)

    October 2016
    open access
  • thumb

    Spin in het wereldweb - het Parool - 01-10-16 Magazine Article

    October 2016
Previous
Next
university website
  • Address

    • Centrum Wiskunde & Informatica
    • Science Park 123 | 1098 XG Amsterdam | the Netherlands
  • CWI researchers

    • Register Your Work
  • Questions or comments?

    • repository@cwi.nl
artudis website

Workflow

Workflow

Add Content


User Publication Person Organisation Collection
Close