Model Driven Software Engineering W&I

Onderzoeksoutput

Filter
Congresartikel
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, blz. 381-387 7 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftCongresartikelAcademicpeer review

Open Access
2 Citaten (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, blz. 1-15 15 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftCongresartikelAcademicpeer review

Open Access
Bestand
2 Citaten (Scopus)
64 Downloads (Pure)
2009

20 years of IOI competition tasks

Verhoeff, T., 1 jan 2009, In : Olympiads in Informatics. 3, blz. 149-166 18 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftCongresartikelAcademicpeer review

10 Citaten (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, blz. 56-63 8 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftCongresartikelAcademicpeer review

Open Access