CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Expressiveness modulo bisimilarity of regular expressions with parallel composition Article
Mathematical Structures in Computer ScienceJ.C.M. Baeten (Jos), S.P. Luttik (Bas), T. Muller (Tim) and P.J.A. van Tilburg (Paul)
January 2015
-
The role of supervisory controller synthesis in automatic control software development Article
Science of Computer Programming, 97(1), 17-22.January 2015
-
Generating semantic snapshots of newscasts using entity expansion In Proceedings
García, J.L.R. (José Luis Redondo), Rizzo, G. (Giuseppe), Romero, L.P. (Lilia Perez), Hildebrand, M. (Michiel) and Troncy, R. (Raphaël)
January 2015 -
Uncertainty propagation in nerve impulses through the action potential mechanism Article
The Journal of Mathematical NeuroscienceA. Torres Valderrama (Aldemar), J.A.S. Witteveen (Jeroen), M.I. Navarro Jimenez (Maria) and J.G. Blom (Joke)
January 2015
-
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 -
January 2015
-
Revenue Management under Customer Choice Behaviour with Cancellations and Overbooking Article
European Journal of Operational Research, 246(1), 170-185.D.D. Sierag (Dirk), G.M. Koole (Ger), R.D. van der Mei (Rob), JP.I. van der Rest (Jean-Pierre) and A.P. Zwart (Bert)
January 2015
-
A simulation model for emergency medical services call centers In Proceedings
M. van Buuren (Martin), G.J. Kommer (Geert Jan), R.D. van der Mei (Rob) and S. Bhulai (Sandjai)
January 2015