Research Output 1972 2019

Filter
Conference article
2018
2 Citations (Scopus)
1 Downloads (Pure)

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 journalConference articleAcademicpeer-review

Open Access
Servers
Controllers
Flexible manufacturing systems
Lithography
Scalability
2017
2 Citations (Scopus)
51 Downloads (Pure)

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 journalConference articleAcademicpeer-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 journalConference articleAcademicpeer-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 journalConference articleAcademicpeer-review

Open Access
Algebra
System theory
Mountings