Skip to main navigation
Skip to search
Skip to main content
Open Universiteit research portal Home
Home
Profiles
Research units
Projects
Research output
Datasets
Prizes
Activities
Press/Media
Student theses
Search by expertise, name or affiliation
Faculty of Science
Open Universiteit
Email
secretariaat.bw@ou.nl
Website
https://www.ou.nl/en/faculteit-betawetenschappen
Overview
Fingerprint
Network
Profiles
(122)
Projects
(22)
Research output
(1317)
Datasets
(14)
Prizes
(33)
Activities
(551)
Press/Media
(196)
Research output
Research output per year
1989
2015
2016
2017
2018
2019
2020
2021
2022
2023
462
Article
401
Conference Article in proceeding
83
Chapter
78
Paper
293
More
35
Abstract
30
Technical report
30
Poster
29
Commissioned report
26
Review article
25
Doctoral Thesis
20
Editorial
11
Conference Abstract/Poster in proceeding
11
Comment/Letter to the editor
10
Conference Abstract/Poster in journal
9
Book editing
8
Web publication/site
7
Conference Article in journal
6
Inaugural speech
5
Book
5
Deliverable
5
Preprint
3
Other report (internal)
3
Foreword/postscript
3
Book/Film/Article review
3
Special issue
3
Software
2
Working paper
1
Entry for encyclopedia/dictionary
1
Literature review
1
Digital or Visual Products
1
Discussion paper
Research output per year
Research output per year
3 results
Publication Year, Title
(descending)
Publication Year, Title
(ascending)
Title
Type
Filter
Software
Search results
2022
Completeness and the Finite Model Property for Kleene Algebra, Reconsidered (Coq formalization)
Kappé, T. W. J.
,
21 Dec 2022
Research 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 2022
Research 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 2015
Research output
:
Non-textual form
›
Software
›
Academic
Open Access
File
spider
100%
diagram
64%
indicator
48%
2
Downloads (Pure)