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
Research Program Towards High-Quality and Intelligent Software (THIS)
Research Organisation Open Universiteit
Website
https://www.ou.nl/en/web/open-universiteit/onderzoek-informatica
Overview
Fingerprint
Network
Profiles
(52)
Projects
(9)
Research output
(188)
Datasets
(2)
Prizes
(5)
Activities
(70)
Press/Media
(5)
Research output
Research output per year
2019
2021
2022
2023
2024
90
Conference Article in proceeding
57
Article
10
Technical report
6
Chapter
25
More
6
Paper
4
Conference Article in journal
3
Conference Abstract/Poster in proceeding
3
Preprint
2
Poster
2
Editorial
1
Commissioned report
1
Foreword/postscript
1
Abstract
1
Special issue
1
Software
Research output per year
Research output per year
3 results
Publication Year, Title
(descending)
Publication Year, Title
(ascending)
Title
Type
Filter
Preprint
Search results
2023
Caos: A Reusable Scala Web Animator of Operational Semantics (Extended With Hands-On Tutorial)
Proença, J.
&
Edixhoven, L.
,
28 Apr 2023
,
Cornell University - arXiv
,
13 p.
(CoRR).
Research output
:
Working paper / Preprint
›
Preprint
›
Academic
Open Access
Semantics
100%
Teaching
21%
Computer aided design
20%
Chemical analysis
15%
Improving students’ code correctness and test completeness by informal specifications
Broeders, A.
,
Hermans, R.
,
Stuurman, S.
,
Bijlsma, A.
&
Passier, H. J. M.
,
6 Sept 2023
,
14 p.
Research output
:
Working paper / Preprint
›
Preprint
›
Academic
Open Access
software
100%
student
41%
quality good
28%
computer science
21%
Teaching
10%
2022
Fast Computations on Ordered Nominal Sets
Venhoek, D.
,
Moerman, J.
&
Rot, J.
,
16 Aug 2022
,
Cornell University - arXiv
,
38 p.
(Computing Research Repository).
Research output
:
Working paper / Preprint
›
Preprint
›
Academic
Open Access
Automata theory
100%
Set theory
42%