Research output per year
Research output per year
Search results
-
2022
Completeness and the Finite Model Property for Kleene Algebra, Reconsidered (Coq formalization)
Kappé, T., 21 Dec 2022Research output: Non-textual form and Research tools › Software › Academic
Open Access -
satuio: Software tool for generating adaptive distinguishing sequences and unique input/output sequences for finite state machines
Moerman, J. & Wißmann, T., 23 Sept 2022Research output: Non-textual form and Research tools › Software › Academic
Open Access -
2015
Performance Dashboard to Support Awareness and Reflection in Elgg communities
Slootmaker, A., Scheffel, M., Krijns, K., De Kraker, J. & Drachsler, H., 18 Dec 2015Research output: Non-textual form and Research tools › Software › Academic
Open AccessFile15 Downloads (Pure) -
2009
ReMashed 1.0
Drachsler, H., Pecceu, D., Arts, T., Hutten, E. & Rutledge, L., 4 Dec 2009Research output: Non-textual form and Research tools › Software › Academic
Open AccessFile8 Downloads (Pure)