university website Publications by Year

Publication

  • Learning Optimal Policies in Markov Decision Processes with Value Function Discovery In Proceedings

    M. Onderwater (Martijn), S. Bhulai (Sandjai) and R.D. van der Mei (Rob)

    January 2015
  • Applications of Fourier analysis to social choice, Seminar 'Ordered Structures in Games and Decision', Paris, France Lecture

    R.M. de Wolf (Ronald)

    January 2015
  • thumb

    The role of supervisory controller synthesis in automatic control software development Article

    Science of Computer Programming, 97(1), 17-22.

    J.C.M. Baeten (Jos) and J. Markovski (Jasen)

    January 2015
    open access
  • Quality Evaluation of Automotive Software Systems Presentation

    Y. Dajsuren (Yanjindulam)

    January 2015
  • thumb

    Expressiveness modulo bisimilarity of regular expressions with parallel composition Article

    Mathematical Structures in Computer Science

    J.C.M. Baeten (Jos), S.P. Luttik (Bas), T. Muller (Tim) and P.J.A. van Tilburg (Paul)

    January 2015
    open access
  • ISCTE -­‐ instituto Universitário de Lisboa Lecture

    C. Wang (Chen)

    January 2015
  • Data en source code for "An in-silico study on the role of smooth muscle cells migration in neointimal formation after coronary stenting" (Journal of Royal Society Interface 2015) Dataset

    H. Tahir (Hannan)

    January 2015
  • thumb

    Presenting Distributive Laws Article

    Logical Methods in Computer Science, 11(3)

    M.M. Bonsangue (Marcello), H.H. Hansen (Helle), A. Kurz (Alexander) and J.C. Rot (Jurriaan)

    January 2015
    open access
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