Research Output per year
Research Output 1972 2019
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
Servers
Controllers
Flexible manufacturing systems
Lithography
Scalability
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
Model checking
Directed graphs
Graphics processing unit
Experiments
2009
10
Citations
(Scopus)
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
History
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
Algebra
System theory
Mountings