Department of Computer Science

Research output

Research output per year 2007 2015 2016 2017 2018 2019 2020 2021 2022 2023 2024

• 267 Conference Article in proceeding
• 127 Article
• 28 Technical report
• 23 Chapter
• 73 More
  • 18 Paper
  • 11 Doctoral Thesis
  • 8 Conference Abstract/Poster in proceeding
  • 4 Commissioned report
  • 4 Conference Article in journal
  • 4 Editorial
  • 4 Preprint
  • 3 Book editing
  • 3 Poster
  • 3 Comment/Letter to the editor
  • 2 Foreword/postscript
  • 2 Abstract
  • 1 Inaugural speech
  • 1 Conference Abstract/Poster in journal
  • 1 Special issue
  • 1 Review article
  • 1 Software
  • 1 Web publication/site
  • 1 Working paper

Research output per year

Research output per year

Search results

• Doctoral Thesis

  Operationalising resilience for ecosystem management by assessing ecosystems’ adaptive capacity

  Sterk, M., 15 Dec 2015, Wageningen University.

  Research output: Thesis › Doctoral Thesis › Thesis 3: defended at external organisation, OU employee

  Open Access

• The Design and Use of Tools for Teaching Logic

  Lodder, J. S., 4 Sept 2020, Heerlen: Open Universiteit. 146 p.

  Research output: Thesis › Doctoral Thesis › Thesis 1: fully internal

  Open Access

  File
  302 Downloads (Pure)

• Towards a Design Rationale for Software Documentation: A Model of Computer-Mediated Activity

  van Loggem, B., 10 Nov 2017, Open Universiteit. 232 p.

  Research output: Thesis › Doctoral Thesis › Thesis 2: defended at OU & OU (co)supervisor, external graduate
• Editorial

  Implausible projections overestimate near-term Bitcoin CO₂ emissions

  Masanet, E., Shehabi, A., Lei, N., Vranken, H., Koomey, J. & Malmodin, J., 28 Aug 2019, In: Nature Climate Change. 9, 9, p. 653–654 2 p.

  Research output: Contribution to journal › Editorial › Academic › peer-review

  Open Access

  File
  18 Citations (Web of Science)

  62 Downloads (Pure)

• Masterminding change by combining secure system design with security risk assessment

  Kammüller, F., Legay, A. & Schivo, S., Feb 2021, In: International Journal on Software Tools for Technology Transfer. 23, 1, p. 69-70 2 p., 1.

  Research output: Contribution to journal › Editorial › Academic › peer-review

  Open Access

  • Risk assessment 100%
  • Internet of things 85%
  • Systems analysis 77%

• Preface - Special Issue on selected and extended papers from FACS 2019.

  Jongmans, S-S. & Arbab, F., 1 Jun 2022, In: Science of Computer Programming. 218, 102807.

  Research output: Contribution to journal › Editorial › Academic › peer-review

• Probabilistic logic programming (PLP) 2016

  Hommersom, A. & Cussens, J., May 2018, In: International Journal of Approximate Reasoning. 96, p. 56-56 1 p.

  Research output: Contribution to journal › Editorial › Academic

  Open Access
• Foreword/postscript

  How to Read the Book “Foundations of Biomedical Knowledge Representation”

  Lucas, P. J. F. & Hommersom, A. J., 2015, Foundations of Biomedical Knowledge Representation: Methods and Applications. Hommersom, A. & Lucas, P. (eds.). Cham: Springer International Publishing, p. 3-7 5 p. (Lecture Notes in Computer Science, Vol. 9521).

  Research output: Chapter in Book/Report/Conference proceeding › Foreword/postscript › Academic

  • Knowledge Representation 100%
  • Carl Linnaeus 49%
  • Physical World 42%
  • Natural World 37%
  • Chaos 37%

• Preface

  Jongmans, S. S. & Lopes, A., 15 Jun 2023, Coordination Models and Languages: 25th IFIP WG 6.1 International Conference, COORDINATION 2023 Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023 Lisbon, Portugal, June 19–23, 2023, Proceedings. Springer, p. vii-viii 2 p. (Lecture Notes in Computer Science, Vol. 13908).

  Research output: Chapter in Book/Report/Conference proceeding › Foreword/postscript › Academic
• Inaugural speech

  Zoeken naar fouten: Op weg naar een nieuwe manier om software te testen

  Vos, T. E. J., 22 Jun 2017, Heerlen: Open Universiteit Nederland. 86 p.

  Research output: Book/Report › Inaugural speech › Popular

  Open Access

  File
  199 Downloads (Pure)
• Paper

  Balanced-By-Construction Regular and ω-Regular Languages

  Edixhoven, L. & Jongmans, S-S., 6 Aug 2021, p. 130-142. 13 p.

  Research output: Contribution to conference › Paper › Academic

  • Formal languages 100%
  • Syntactics 41%
  • Trajectories 28%

• Big Energy Data For Software Engineering

  Bockisch, C. M., Keiren, J. J. A., van Gastel, B. E., Kersten, R. W. J. & van Eekelen, M. C. J. D., 2015.

  Research output: Contribution to conference › Paper › Professional

• CSBN: a hybrid approach for survival time prediction with missing data

  Rabinowicz, S., Butz, R., Hommersom, A. J. & Williams, M., 14 Sept 2018.

  Research output: Contribution to conference › Paper › Academic

  • Hazards 100%
  • Bayesian networks 22%
  • Electric fuses 11%
  • Statistics 8%

• Evaluating the effect of a virtual simulator on teaching communication skills

  van der Smagt, M. J., de Jong, J., IJntema, R. C., Jeuring, J. T. & Hulsbergen, M. H., 2019.

  Research output: Contribution to conference › Paper › Academic

  Open Access

  File

  • communication skills 100%
  • scenario 78%
  • Teaching 45%
  • experiment 45%
  • dialogue 43%
  43 Downloads (Pure)

• IVVES (Industrial-Grade Verification and Validation of Evolving Systems)

  Aho, P., Vos, T. E. J., Sybrandi, O., Patrasoiu, S., Oikarinen, J., Valdes, O. R. & Hufkens, L. V., 19 May 2022. 8 p.

  Research output: Contribution to conference › Paper › Academic

  Open Access

  • Testing 100%
  • Software testing 76%
  • Graphical user interfaces 64%

• Leaning out of the Ivory Tower: The role of heuristic and analytic cues in successfully raising research funds in crowdfunding of science

  Hopp, C., Ooms, W. M., Kaminski, J., Prats López, M. & Aivaloglou, E., Dec 2020. 40 p.

  Research output: Contribution to conference › Paper › Academic

• Learning About a Moving World: Towards Living HCI Knowledge

  Consiglio, T., Rogier, E. S. M. H. & van der Veer, G. C., 2014. 3 p.

  Research output: Contribution to conference › Paper › Academic

  Open Access

  File
  8 Downloads (Pure)

• Measuring Adverse Drug Effects on Multimorbity using Tractable Bayesian Networks. : Machine Learning for Health

  Bekker, J., Hommersom, A. J., Lappenschaar, M. & Janzing, J. G. E., 9 Dec 2016.

  Research output: Contribution to conference › Paper › Academic

• One counterfactual does not make an explanation

  Butz, R., Hommersom, A., Barenkamp, M. & van Ditmarsch, H., 2022, p. 1-11.

  Research output: Contribution to conference › Paper › Academic

  Open Access

  • cause 100%
  • questionnaire 57%
  • popularity 49%

• Possibilistic Logic Underlies Abstract Dialectical Frameworks

  Heyninck, J. L. A., Kern-Isberner, G., Rienstra, T., Skiba, K. & Thimm, M., 2022, p. 2655-2666.

  Research output: Contribution to conference › Paper › Academic

  Open Access

  • Semantics 100%

• Praktische kennis van scheikunde docenten over ontwerponderwijs

  Translated title of the contribution: Practical knowledge of chemics teacher of design educationBarendsen, E., Stammes, H., Henze, I. & de Vries, M. J., 2017.

  Research output: Contribution to conference › Paper › Academic

• Teacher Knowledge and Student Attitudes in Context-Based Science Education

  Barendsen, E. & Henze, I., 14 Apr 2015.

  Research output: Contribution to conference › Paper › Academic

  Open Access

• The influence of engage materials on students’ learning about socio-scientific issues

  Henze, I., Bayram-Jacobs, D. & Barendsen, E., 2017. 3 p.

  Research output: Contribution to conference › Paper › Academic

  Open Access

  • learning 100%
  • student 72%
  • chemistry 64%
  • everyday life 60%
  • content analysis 54%

• Theoretical Constructs for Design Lenses for Developing Cyberbullying Countering Games for Adolescences

  Nieuwenhuize, A., Rahimi, E. & Maathuis, E. C., 21 Nov 2022.

  Research output: Contribution to conference › Paper › Academic

  Open Access

  File

  • Lenses 100%
  • Social aspects 65%
  • Serious games 62%
  • Social sciences 61%
  58 Downloads (Pure)

• Tutorial on a Gamification Toolset for Improving Engagement of Students in Software Engineering Courses

  Vos, T. E. J., Fraser, G., Martínez-Ortiz, I., Prada, R., Silva, A. R. & Prasetya, I. S. W. B., Oct 2020, p. 291-293. 3 p.

  Research output: Contribution to conference › Paper › Academic

  • Gamification 100%
  • Software engineering 60%
  • Students 55%
  • Specifications 19%
  • Software testing 17%

• TweetNaCl: A Crypto Library in 100 Tweets

  Bernstein, D. J., van Gastel, B. E., Janssen, W., Lange, T., Schwabe, P. & Smetsers, S., 29 Mar 2015, p. 64-83. 20 p.

  Research output: Contribution to conference › Paper › Academic

• What is understandable in Bayesian network explanations?

  Butz, R. S., Schulz, R., Hommersom, A. J. & van Eekelen, M. C. J. D., Oct 2021.

  Research output: Contribution to conference › Paper › Academic

  Open Access

• WickedXmas: Designing and verifying on-chip communication fabrics.

  Verbeek, F., Schmaltz, J. & Joosten, S. J. C., 2014, p. 1-8. 8 p.

  Research output: Contribution to conference › Paper › Professional

  Open Access

  File
• Poster

  Eye movements reveal the role of attention in change blindness for shadows

  Hermens, F. & Zdravković, S., 16 Aug 2021.

  Research output: Contribution to conference › Poster › Academic

  Open Access

  • Blindness 100%
  • Eye Movements 99%

• The Next Level of Test Automation: Automated Testing through Graphical User Interface

  Aho, P. K. & Vos, T., 19 Mar 2018.

  Research output: Contribution to conference › Poster › Academic

• The within-trial time course of local and global processing in a matching task

  Panis, S., Bulajić, A., Hermens, F., Lachmann, T. & van Leeuwen, C., 2022.

  Research output: Contribution to conference › Poster › Academic

  Open Access

  • Reaction Time 100%
  • Life Change Events 65%
• Preprint

  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%

• 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%
  122 Downloads (Pure)

• 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%

• 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%
• Review article

  A Systematic Literature Review of Automated Feedback Generation for Programming Exercises

  Keuning, H., Jeuring, J. T. & Heeren, B. J., Jan 2019, In: ACM Transactions on Computing Education. 19, 1, 43 p., 3.

  Research output: Contribution to journal › Review article › peer-review

  Open Access

  File

  • programming 100%
  • Feedback 81%
  • literature 53%
  • Students 28%
  • Labeling 12%
  24 Citations (Web of Science)

  595 Downloads (Pure)
• Software

  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
• Special issue

  Testar: scriptless testing through graphical user interface

  Vos, T. E. J., Aho, P., Ricós, F. P., Valdes, O. R. & Mulders, A., Apr 2021, In: Software Testing, Verification and Reliability. 31, 3, e1771.

  Research output: Contribution to journal › Special issue › Academic › peer-review

  Open Access

  • Graphical user interfaces 100%
  • Testing 51%
  • Automation 25%
• Technical report

  Analysing energy consumption by software: Technical Report ICXIS-R16001

  van Eekelen, M. C. J. D. & van Gastel, B. E., 2016, Institute for Computing and Information Sciences.

  Research output: Book/Report › Technical report › Professional

  Open Access

• Analysing energy consumption by software: ICIS-R16001

  van Eekelen, M. C. J. D. & van Gastel, B. E., Nov 2016, Institute for Computing and Information Sciences.

  Research output: Book/Report › Technical report › Professional

  Open Access

• A Pattern to Test Instances of the Template Method

  Bijlsma, A., Pootjes, H. J., Stuurman, S. & Passier, H. J. M., 12 Apr 2017, Open Universiteit Nederland. 11 p.

  Research output: Book/Report › Technical report › Academic

  • Testing 100%
  • Concretes 52%
  • Industrial plants 35%

• API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3 (Full Version)

  Cledou, G., Edixhoven, L. J., Jongmans, S-S. & Proença, J., Jun 2022, Heerlen: Open Universiteit Nederland. 31 p. (OUNL-CS (Technical Reports); No. 03, Vol. 2022).

  Research output: Book/Report › Technical report › Academic

  Open Access

  File

  • Application programming interfaces (API) 100%
  • Finite automata 28%
  • Explosions 24%
  • Computer programming languages 24%
  • Compliance 23%
  41 Downloads (Pure)

• A Predicate Transformer for Choreographies (Full Version)

  Jongmans, S-S. & van den Bos, P., 2022, Heerlen: Open Universiteit Nederland. 36 p. (OUNL-CS (Technical Reports); No. 01, Vol. 2022).

  Research output: Book/Report › Technical report › Academic

  Open Access

  File

  • Decision making 100%
  45 Downloads (Pure)

• A Predicate Transformer for Choreographies (Technical Report)

  Jongmans, S-S. & van den Bos, P., 2022, Heerlen: Open Universiteit Nederland. 132 p. (OUNL-CS (Technical Reports); No. 02, Vol. 2022).

  Research output: Book/Report › Technical report › Academic

  Open Access

  File
  17 Downloads (Pure)

• Balanced-by-construction regular and ω-regular languages (technical report)

  Edixhoven, L. J. & Jongmans, S-S., 2021, Heerlen: Open Universiteit Nederland. 26 p. (OUNL-CS (Technical Reports); No. 01, Vol. 2021).

  Research output: Book/Report › Technical report › Academic

  File
  21 Downloads (Pure)

• Beautiful JavaScript: How to create good and elegant code

  Passier, H. J. M., Stuurman, S. & Pootjes, H. J., 11 May 2015, Open Universiteit Nederland. 26 p.

  Research output: Book/Report › Technical report › Academic

  • Object oriented programming 100%
  • Reusability 97%
  • Computer programming 92%
  • Computer science 87%

• Branching pomsets for choreographies (technical report)

  Edixhoven, L., Jongmans, S-S., Cledou, G. & Proença, J., Jul 2022, Open Universiteit Nederland. 23 p. (OUNL-CS (Technical Reports); No. 04, Vol. 2022).

  Research output: Book/Report › Technical report › Academic

  Open Access

  File

  • Semantics 100%
  17 Downloads (Pure)

• Construction of a knowledge graph for exercise selection

  Bijlsma, A., Huizing, C., Kok, A. J. F., Kuiper, R., Passier, H. J. M., Scheffers, E., Schivo, S. & Vos, T. E. J., 14 Oct 2021, Open Universiteit. 24 p. (OUNL-CS (Technical Reports); No. 2, Vol. 2021).

  Research output: Book/Report › Technical report › Academic

  Open Access

  File

  • Teaching 100%
  • Students 84%
  34 Downloads (Pure)

• Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types

  Jongmans, S-S. & Yoshida, N., 2020, Open Universiteit Nederland. 189 p. (Technical Report - Computer Science & Information Science (TR-OU-INF); No. 01, Vol. 2020).

  Research output: Book/Report › Technical report › Academic

  Open Access

  File

  • Chemical analysis 100%
  • Parallel Composition 72%
  • Deadlock 69%
  • Expressiveness 64%
  • Quantification 57%
  49 Downloads (Pure)

• Eyes on the prize: eye tracking for business value

  Hermens, F. & Iren, Y. D., Feb 2023, Open Universiteit. 5 p. (Actionable Data Science Whitepaper Series; No. 1, Vol. 2).

  Research output: Book/Report › Technical report › Academic

  • Eye tracking 100%
  • Eye movements 95%
  • Brain 70%
  • Decision making 61%
  • Industry 37%