Research Output per year
Research Output
2018
Component-wise Supervisory Controller Synthesis in a Client/Server Architecture
Loose, R., Sanden, B. V. D., Reniers, M. & Schiffelers, R., 1 Jan 2018, In : IFAC-PapersOnLine. 51, 7, p. 381-387 7 p.Research output: Contribution to journal › Conference article › Academic › peer-review
Open Access
2
Citations
(Scopus)
1
Downloads
(Pure)
2017
Analysing the performance of GPU hash tables for state space exploration
Cassee, N. & Wijs, A., 22 Dec 2017, In : Electronic Proceedings in Theoretical Computer Science, EPTCS. 263, p. 1-15 15 p.Research output: Contribution to journal › Conference article › Academic › peer-review
Open Access
File
2
Citations
(Scopus)
64
Downloads
(Pure)
2009
20 years of IOI competition tasks
Verhoeff, T., 1 Jan 2009, In : Olympiads in Informatics. 3, p. 149-166 18 p.Research output: Contribution to journal › Conference article › Academic › peer-review
10
Citations
(Scopus)
1
Downloads
(Pure)
2006
Modeling an impact control strategy using HyPA
Cuijpers, P. J. L. & Reniers, M. A., 1 Dec 2006, In : IFAC Proceedings Volumes. 39, 5, p. 56-63 8 p.Research output: Contribution to journal › Conference article › Academic › peer-review
Open Access