Onderzoeksoutput per jaar
Onderzoeksoutput per jaar
- 5 resultaten
Zoekresultaten
-
2023
Competencies for Code Review
Wurzel Gonçalves, P., Çalikli, G., Serebrenik, A. & Bacchelli, A., 16 apr. 2023, In: Proceedings of the ACM on Human-Computer Interaction. 7, CSCW1, blz. 1-33 33 blz., 38.Onderzoeksoutput: Bijdrage aan tijdschrift › Congresartikel › peer review
Open AccessBestand4 Citaten (Scopus)40 Downloads (Pure) -
2020
SMT-based verification of temporal properties for component-based software systems
Jonk, R., Voeten, J., Geilen, M., Basten, T. & Schiffelers, R., 2020, In: IFAC-PapersOnLine. 53, 4, blz. 493-500 8 blz.Onderzoeksoutput: Bijdrage aan tijdschrift › Congresartikel › peer review
Open AccessBestand1 Citaat (Scopus)78 Downloads (Pure) -
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 tijdschrift › Congresartikel › peer review
Open Access7 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 tijdschrift › Congresartikel › peer review
Open AccessBestand5 Citaten (Scopus)153 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 tijdschrift › Congresartikel › peer review
13 Citaten (Scopus)1 Downloads (Pure)