Radboud Repository: Recent submissions
Now showing items 6-10 of 60007
-
State identification for labeled transition systems with inputs and outputs
2021, Article / Letter to editor (Science of Computer Programming, vol. 209, (2021), pp. 1-24, article 102678) -
Seamless Variability Management With the Virtual Platform
2021, Article in monograph or in proceedings (Juristo, N. (ed.), ICSE 2021: 2021 IEEE/ACM 43rd International Conference on, pp. 1658-1670) -
Omnipresent yet elusive: Teachers' views on contexts for teaching algorithms in secondary education
2021, Article / Letter to editor (Computer Science Education, vol. 31, 1, (2021), pp. 30-59) -
Constructing Higher Inductive Types as Groupoid Quotients
2021, Article / Letter to editor (Logical Methods in Computer Science, 17, 2, (2021), pp. 1-42) -
Asset Management in Machine Learning: A Survey
2021, Article in monograph or in proceedings (Juristo, N. (ed.), ICSE -SEIP 2021: 2021 IEEE/ACM 43rd International Conference on, pp. 51-60)
