Publication
-
Stream differential equations: Specification formats and solution methods Article
Logical Methods in Computer Science, 13(1), 1-51.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
-
On the average-case complexity of Shellsort Tech Report
February 2017
-
On the Descriptions of Data In Proceedings
February 2017 -
On the Descriptions of Data Lecture
February 2017 -
Poster Pub Quiz, 10-02-2017 Miscellaneous
February 2017 -
February 2017