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
(21)
Research output
(1225)
Datasets
(15)
Prizes
(29)
Activities
(521)
Press / Media
(169)
Research output
Research output per year
1989
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
417
Article
384
Conference Article in proceeding
79
Chapter
77
Paper
268
More
30
Technical report
30
Abstract
28
Commissioned report
27
Poster
26
Review article
21
Doctoral Thesis
19
Editorial
10
Conference Abstract/Poster in journal
10
Comment/Letter to the editor
9
Book editing
9
Conference Abstract/Poster in proceeding
7
Web publication/site
6
Conference Article in journal
5
Book
5
Deliverable
5
Inaugural speech
4
Preprint
3
Foreword/postscript
3
Book/Film/Article review
2
Other report (internal)
2
Software
2
Working paper
1
Entry for encyclopedia/dictionary
1
Literature review
1
Special issue
1
Digital or Visual Products
1
Discussion paper
Research output per year
Research output per year
2 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
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%