Publication

Towards a feature mu-calculus targeting SPL verification In Proceedings

M.H. ter Beek (Maurice), E.P. de Vink (Erik) and T.A.C. Willemse

Citizen Data Lab deelt kennis met a.s.r. - Customerfirst! - 31-03-2016 Magazine Article

Hoe ontworstelt wetenschap zich aan de greep van de commerciële uitgevers? - Reporters Online - 31-03-2016 Magazine Article

Bevrijders in Ballingschap - Vijftig + in de kijker - 31-03-2016 Magazine Article

Kwantumsoftware komt eraan - CIO IT in the Boardroom - 31-03-2016 Magazine Article

Focus op veiligheid - Linux Magazine - 31-03-2016 Magazine Article

Addressing environment non-stationarity by repeating Q-learning updates Article

S. Abdallah (Sherief) and M. Kaisers (Michael)

Server waiting times in infinite supply polling systems with preparation times Article

J.-P.L. Dorsman (Jan-Pieter), N. Perel (Nir) and M. Vlasiou (Maria)