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
Department of Computer Science
Open Universiteit
Faculty of Science
Email
secretariaat.bw@ou.nl
Website
https://www.ou.nl/en/web/open-universiteit/onderzoek-informatica
Overview
Fingerprint
Network
Profiles
(48)
Projects
(9)
Research output
(475)
Datasets
(5)
Prizes
(17)
Activities
(160)
Press/Media
(38)
Research output
Research output per year
2007
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2023
235
Conference Article in proceeding
118
Article
29
Technical report
22
Chapter
71
More
19
Paper
11
Doctoral Thesis
7
Conference Abstract/Poster in proceeding
4
Commissioned report
4
Editorial
3
Book editing
3
Poster
3
Conference Article in journal
3
Comment/Letter to the editor
3
Preprint
2
Abstract
2
Software
1
Inaugural speech
1
Foreword/postscript
1
Conference Abstract/Poster in journal
1
Special issue
1
Review article
1
Web publication/site
1
Working paper
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%
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%
2020
Design Policy Checking in ArchiMate: On the Cases Technology Policies in a Medical Center
Joosten, S. M. M.
,
Haddouchi, E. M.
&
Roubtsova, E. E.
,
2 Sept 2020
,
EasyChair
,
23 p.
Research output
:
Working paper / Preprint
›
Preprint
›
Academic
Open Access
File
Technology Policy
100%
Policy Design
68%
Language
19%
Enterprise Modeling
15%
Visualization
12%
103
Downloads (Pure)