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. W. J., 21 Dec 2022Research output: Non-textual form › 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 › 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 › Software › Academic
Open AccessFile2 Downloads (Pure)