• Groene Loper 5, Metaforum

    5612 AP Eindhoven

    Netherlands

  • P.O. Box, Deparment of Mathematics and Computer Science

    5600 MB Eindhoven

    Netherlands

Research Output

Filter
Conference article
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 journalConference articleAcademicpeer-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 journalConference articleAcademicpeer-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 journalConference articleAcademicpeer-review

10 Citations (Scopus)
1 Downloads (Pure)