university website Publications by Year
  • sign in

Publication

  • Symbolic model checking for dynamic epistemic logic — S5 and beyond In Proceedings

    J. F. A. K. van Benthem (Johan), D.J.N. van Eijck (Jan), M. Gattinger (Malvin) and K. Su (Kaile)

    October 2015
  • thumb

    Updating compressed column-stores Dissertation

    Database Architectures

    S. A. B. C. Héman (Sándor)

    October 2015
    open access
  • Nietszeggend weerbericht over falende overheidsautomatisering - IT-Executive - 29-10-15 Magazine Article

    P. Klint (Paul)

    October 2015
    open access
  • Hoe ontstaat bliksem? - Weet Magazine Article

    CWI CWI

    October 2015
  • Wiskundigen helpen met planning ambulances - ZorgVisie Magazine Article

    R.D. van der Mei (Rob)

    October 2015
  • Computerlek - De Ingenieur Magazine Article

    CWI CWI

    October 2015
  • Inwendige bestraling beter door informatica - AMC Magazine Magazine Article

    CWI CWI

    October 2015
  • Heel veel sneller - New Scientist Magazine Article

    CWI CWI

    October 2015
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