university website Publications by Year
  • sign in

Publication

  • thumb

    Stream differential equations: Specification formats and solution methods Article

    Logical Methods in Computer Science, 13(1), 1-51.

    H.H. Hansen (Helle), C.A. Kupke (Clemens) and J.J.M.M. Rutten (Jan)

    February 2017
  • Reality matters RedBull partners with BYBORRE, CWI, and Nearables for an ultra-sensory experience Magazine Article

    February 2017
  • Inreisverbod Trump: Wetenschappers wereldwijd bieden hulp aan collega's - nporadio.nl - 05-02-2017 Magazine Article

    February 2017
    open access
  • thumb

    On the average-case complexity of Shellsort Tech Report

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

    February 2017
    open access
  • thumb

    On the Descriptions of Data In Proceedings

    S. Pemberton (Steven)

    February 2017
  • Poster Pub Quiz, 10-02-2017 Miscellaneous

    February 2017
  • On the Descriptions of Data Lecture

    S. Pemberton (Steven)

    February 2017
  • thumb

    A novel model-based evolutionary algorithm for multi-objective deformable image registration with content mismatch and large deformations: Benchmarking efficiency and quality In Proceedings

    P.A. Bouter (Anton), T. Alderliesten (Tanja) and P.A.N. Bosman (Peter)

    February 2017
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