Projects per year
Fingerprint
Collaborations and top research areas from the last five years
Profiles
-
Natasha Alechina, dr.
- Department of Computer Science - Full Professor
- Research Program Towards High-Quality and Intelligent Software (THIS) - Full Professor
Person: Academic
-
G Alpár
- Research Line Security and privacy (part of THIS program) - Senior Lecturer
- Research Line Teaching and learning (part of THIS program) - Senior Lecturer
- Research Line Innovation (part of LIRS program) - Senior Lecturer
- Department of Computer Science - Senior Lecturer
Person: Academic
-
Erik Barendsen
- Research Line Teaching and learning (part of THIS program) - Full Professor
- Department of Computer Science - Full Professor
Person: Honorary staff
-
'Help! How do I study effectively?': How to implement a self-learning, artificially intelligent chatbot as a flexible study coach in an online learning environment
Joosten - ten Brinke, D., Vos, T., Camp, G., van Otterlo, M. & Debets, T.
1/09/22 → …
Project: Research
-
Adoption of digital communication technology by vulnerable citizens in urban areas
Bolman, C., Lechner, L., Dohmen, D., Blok, G., Hommersom, A., Strikwerda, L. & Hengst, T.
1/10/21 → …
Project: Research
-
Toward a safe and resilient city: Investigating the dynamics of police-bystander conflicts using advanced technologies
van Dam, K., Proost, K., van Dijke, R., Malsch, M., Maathuis, C., van Vuuren, T., Rosegaard, M., Kamphuis, W., Delahaij, R. & van Bruchem, M.
1/06/21 → 1/06/25
Project: PhD project
Research output
-
Branching pomsets: Design, expressiveness and applications to choreographies
Edixhoven, L., Jongmans, SS., Proença, J. & Castellani, I., Jan 2024, In: Journal of Logical and Algebraic Methods in Programming. 136, 36 p., 100919.Research output: Contribution to journal › Article › Academic › peer-review
Open Access -
ACABELLA: Automated (Crypt)analysis of Attribute-Based Encryption Leveraging Linear Algebra
de la Piedra, A., Venema, M. & Alpár, G., 21 Nov 2023, CCS '23: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security. ACM Digital Library, p. 3269-3283 15 p.Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
Open Access -
A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests
Schmid, T., Kappé, T. & Silva, A., 17 Apr 2023, Programming Languages and Systems: 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings. Wies, T. (ed.). Springer, p. 309-336 28 p. (Lecture Notes in Computer Science (LNCS), Vol. 13990).Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
Open Access
Datasets
-
Examples from paper "Constraint Formalization for Automated Assessment of Enterprise Models".
Roubtsova, E. (Creator), Joosten, S. (Creator) & Haddouchi, E. M. (Creator), DANS EASY, 23 Jun 2022
DOI: https://doi.org/10.17026/dans-zsj-7ypt
Dataset
-
Data from an experiment comparing restricted and elaborated feedback
Lodder, J. (Creator), Mendeley Data, 2 Apr 2019
DOI: 10.17632/4wdj3b2t5g.1, https://data.mendeley.com/datasets/4wdj3b2t5g
Dataset
-
Aachen-Heerlen Annotated Steel Microstructure Dataset
Pujar, G. (Contributor), Ackermann, M. (Contributor), Iren, D. (Creator), Krupp, U. (Creator), Bromuri, S. (Creator), Gorfer, J. (Creator) & Wesselmecking, S. (Creator), figshare, 19 May 2021
DOI: 10.6084/m9.figshare.c.5185004.v1, https://doi.org/10.6084%2Fm9.figshare.c.5185004.v1
Dataset
Prizes
-
Best paper award
Jonker, Hugo (Recipient) & van der Meer, Vincent (Recipient), 2023
Prize: Prize (including medals and awards) › Academic
-
-
Best Paper Award at AIMA4EDU workshop at IJCAI'19.
Di Mitri, Daniele (Recipient), 11 Aug 2019
Prize: Prize (including medals and awards) › Academic
Activities
-
Machine learning and deep learning for the analysis of behavioral data
Frouke Hermens (Speaker)
26 Jan 2023Activity: Talk or presentation types › Talk or presentation (not at a conference) › Academic
-
Traceable Laws
Lloyd Rutledge (Organiser), Stef Joosten (Organiser) & Litska Strikwerda (Organiser)
25 May 2023Activity: Attending or organising an event types › Organising an event › Professional
-
Machines: Machinery and Automation (Journal)
Frouke Hermens (Peer reviewer)
2023Activity: Publication peer-review and editorial work types › Editorial work journal › Academic
Press/Media
-
-
Onderzoekers Open Universiteit geciteerd in belangrijke klimaatrapporten IPCC
Jetse Stoorvogel, Lisanne Groen, Gibran Vita Garza, Dave Huitema, Stijn Neuteleers & Harald Vranken
28/04/22
1 Media contribution
Press/Media: OU News Channel
-