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

• 2015

  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

• Concepts in K-9 Computer Science Education

  Barendsen, E., Mannila, L., Demo, B., Grgurina, N., Izu, C., Mirolo, C., Sentence, S., Settle, A. & Stupuriené, G., Jul 2015, ITiCSE '15: Proceedings of the 2015 ACM Conference on Innovation and Technology in Computer Science Education. New York, NY: ACM Digital Library, p. 85-116 32 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

• Design for Change

  Stuurman, S., 12 Jun 2015, Heerlen: Open Universiteit. 216 p.

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

  Open Access

  File
  115 Downloads (Pure)

• Development Environment for Rule-based Prototyping

  Michels, G., 19 Jun 2015, Heerlen: Open Universiteit. 174 p.

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

  Open Access

  File
  50 Downloads (Pure)

• Exploring Students' Computational Thinking Skills in Modeling and Simulation Projects: a Pilot Study

  Grgurina, N., Barendsen, E., van Veen, K., Suhre, C. & Zwaneveld, G., Nov 2015, WiPSCE'15: Proceedings of the 10th Workshop in Primary and Secondary Computing Education. Gal-Ezer, J., Sentance, S. & Vahrenhold, J. (eds.). New York, NY: Association for Computing Machinery (ACM), p. 65-68 4 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

• Formal API Specification of the PikeOS Separation Kernel

  Verbeek, F., Havle, O., Schmaltz, J., Tverdyshev, S., Blasum, H., Langenstein, B., Werner, S., Wolff, B. & Nemouchi, Y., 2015, NASA Formal Methods : 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings. Havelund, K., Holzmann, G. & Joshi, R. (eds.). Cham: Springer International Publishing AG, p. 375-389 15 p. (Lecture Notes in Computer Science (LNCS) series; No. 9058). (Programming and Software Engineering LNPSE, Vol. 9058).

  Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

• Foundations of Biomedical Knowledge Representation: Methods and Applications

  Hommersom, A. (ed.) & Lucas, P. J. F. (ed.), 2015, 1 ed. Cham: Springer International Publishing AG. 339 p. (Lecture Notes in Computer Science, Vol. 9521). (Lecture Notes in Artificial Intelligence (subseries), Vol. 9521).

  Research output: Book/Report › Book editing › Academic

  • Knowledge representation 100%
  • Health 53%
  • Health care 37%
  • Medicine 36%
  • Clinical research 25%

• FP-Block: Usable Web Privacy by Controlling Browser Fingerprinting

  Ferreira Torres, C., Jonker, H. L. & Mauw, S., 2015, Computer Security -- ESORICS 2015: 20th European Symposium on Research in Computer Security, Vienna, Austria, September 21-25, 2015, Proceedings, Part II . Pernul, G., Ryan, P. Y. A. & Weippl, E. (eds.). Cham: Springer Nature Switzerland AG, Vol. 2. p. 3-19 17 p. (Lecture Notes in Computer Science (LNCS) series; No. 9327). (Security and Cryptology (LNCS subseries), Vol. 9327).

  Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

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

• Hybrid Time Bayesian Networks

  Liu, M., Hommersom, A. J., van der Heijden, M. & Lucas, P. J. F., 2015, Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 13th European Conference, ECSQARU 2015, Compiègne, France, July 15-17, 2015. Proceedings. Destercke, S. & Denoeux, T. (eds.). Cham: Springer International Publishing AG, p. 376-386 11 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 9161). (Lecture Notes in Artificial Intelligence (subseries), Vol. 9161).

  Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

• ICT Support for Collaborative Learning—A Tale of Two Cities

  Consiglio, T. & van der Veer, G. C., 2015, E-Learning Systems, Environments and Approaches: Theory and Implementation. Isaías, P., Spector, J. M., Ifenthaler, D. & Sampson, D. G. (eds.). Cham: Springer International Publishing AG, p. 147-163 17 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

• Informatica-onderwijs op de schop: Pleidooien voor verandering

  Translated title of the contribution: Informatics education rummaged through: : arguments for changeBarendsen, E., Jun 2015, In: Van 12 tot 18. 25, 6, p. 6 8 p., 3.

  Research output: Contribution to journal › Article › Professional

• Keeping Cultural Heritage alive - Opportunities with ICT

  Uras, S., Consiglio, T. & van der Veer, G. C., Sept 2015, Proceedings of the 6th International Workshop on Human-Computer Interaction, : Tourism and Cultural Heritage ( HCITOCH 2015 ), Strategies for a Creative Future with Computer Science, Quality Design and Communicability. Ficarra, F. V. C. (ed.). Blue Herons Editions

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

• Location-Private Interstellar Communication

  Jonker, H. L., Mauw, S. & Radomirović, S., 2015, Security Protocols XXIII: 23rd International Workshop, Cambridge, UK, March 31 - April 2, 2015, Revised Selected Papers. Christianson, B., Švenda, P., Matyáš, V., Malcolm, J., Stajano, F. & Anderson, J. (eds.). Cham: Springer International Publishing, p. 105-115 11 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 9379). (Security and Cryptology (LNCS subseries), Vol. 9379).

  Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

• Methodical Concurrency Design in Education: Part I: Race Conditions.

  Bijlsma, A., Passier, H. J. M., Pootjes, H. J. & Smetsers, S., 17 Dec 2015, Heerlen (NL): Open Universiteit Nederland.

  Research output: Book/Report › Technical report › Professional

  Open Access

• Methodical Concurrency Design in Education, Part II: Deadlock.

  Bijlsma, A., Bockisch, C. M., Passier, H. J. M. & Pootjes, H. J., 17 Dec 2015, (Submitted) Heerlen (NL): Open Universiteit Nederland.

  Research output: Book/Report › Technical report › Professional

• Mining Hierarchical Pathology Data Using Inductive Logic Programming

  Op De Beéck, T., Hommersom, A., Van Haaren, J., van der Heijden, M., Davis, J., Lucas, P. J. F., Overbeek, L. & Nagtegaal, I., 2015, Artificial Intelligence in Medicine: 15th Conference on Artificial Intelligence in Medicine, AIME 2015, Pavia, Italy, June 17-20, 2015. Proceedings. Holmes, J. H., Bellazzi, R., Sacchi, L. & Peek, N. (eds.). Cham: Springer International Publishing AG, p. 76-85 10 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Inductive logic programming (ILP) 100%
  • Pathology 86%
  • Data mining 15%
  • Machine learning 13%

• Modeling the Interactions between Discrete and Continuous Causal Factors in Bayesian Networks

  Lucas, P. J. F. & Hommersom, A., Mar 2015, In: International Journal of Intelligent Systems. 30, 3, p. 209-235 27 p.

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

  • Bayesian Networks 100%
  • Bayesian networks 81%
  • Probability distributions 75%
  • Interaction 57%
  • Modeling 52%
  3 Citations (Web of Science)

• OpenJDK's Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case

  Gouw, S. D., Rot, J., Boer, F. S. D., Bubel, R. & Hähnle, R., 2015, Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I. D. K. & Păsăreanu, C. S. (eds.). Springer, p. 273-289 17 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Sorting 100%

• 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

• Partially distributed coordination with Reo and constraint automata

  Jongmans, S-S. T. Q., Santini, F. & Arbab, F., Sept 2015, In: Service Oriented Computing and Applications. 9, 3-4, p. 311-339 29 p.

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

  • Automata 100%
  • Quality of service 67%
  • Availability 61%
  • Semantics 59%
  • Topology 58%
  5 Citations (Web of Science)

• Reflections and Encounters: Exploring Awareness in an Academic Environment

  Vyas, D., Dix, A. & van der Veer, G. C., 6 May 2015, In: Computer Supported Cooperative Work-The Journal of Collaborative Computing. 24, p. 277-317 41 p.

  Research output: Contribution to journal › Article › Academic › peer-review
  3 Citations (Web of Science)

• Representation of abstract concepts: Differences across computing disciplines

  Benvenuti, L., Louwe Kooijmans, C. F. N., Versendaal, J. M. & van der Veer, G., 2015, 2015 IEEE Frontiers in Education Conference Proceedings: FIE 2015 . Washington: IEEE Computer Society, p. 1-9 9 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

• Run-time assertion checking of JML annotations in multithreaded applications with e-OpenJML

  Kandziora, J., Huisman, M., Bockisch, C. M. & Zaharieva-Stojanovski, M., Jul 2015, FTfJP '15: Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs. New York, NY: Association for Computing Machinery (ACM), p. 1-6 6 p. 8

  Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Specifications 100%

• SIGCHI's support for HCI in developing worlds

  Liu, Z., Karat, J., van der Veer, G. C. & Kujala, T., Oct 2015, In: Interactions. 22, 6, p. 77 1 p.

  Research output: Contribution to journal › Article › Professional

  Open Access

• Supporting Growth

  van der Veer, G. C., Jan 2015, In: Interactions. 22, 1, p. 78 1 p.

  Research output: Contribution to journal › Article › Professional

  Open Access

• 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

• Teaching Design for Living Memory

  Consiglio, T., Uras, S. & van der Veer, G. C., Sept 2015, Proceedings of the 6th International Workshop on Human-Computer Interaction, : Tourism and Cultural Heritage ( HCITOCH 2015 ), Strategies for a Creative Future with Computer Science, Quality Design and Communicability, . Ficarra, F. V. C. (ed.). Blue Herons Editions

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

• TESTAR: from academic prototype towards an industry-ready tool for automated testing at the user interface level

  Rueda, U., Vos, T. E. J., Almenar, F., MO Martínez, A. I. E. & Oreto, M., 1 Sept 2015, Proceedings of JISBD 2015, Santander: Jornadas de Ingeniería del Software y Bases de Datos. Canós, J. H. & González-Harbour, M. (eds.). p. 236-245 10 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  Open Access

• Thanks to our volunteers and friends

  van der Veer, G. C., Apr 2015, In: Interactions. 22, 3, p. 77 1 p.

  Research output: Contribution to journal › Article › Professional

  Open Access

• The Future of Visual Perception

  van der Veer, G. C., 2015, INTERACT 2015 Adjunct Proceedings: 15th IFIP TC.13 International Conference on Human-Computer Interaction, 14 – 18 September 2015, Bamberg, Germany. Beckmann, C. & Gross, T. (eds.). Bamberg: University of Bamberg Press, Vol. 22. p. 283-292 10 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

• Trace-based debugging for advanced-dispatching programming languages

  Bockisch, C. M., van 't Riet, M., Yin, H., Aksit, M., Lin, Z., Chen, Y. & Zhao, J., Jul 2015, ICOOOLPS '15: Proceedings of the 10th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems. New York, NY: Association for Computing Machinery (ACM), p. 1-10 10 p. 3

  Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

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

  A Decision Procedure for Deadlock-Free Routing in Wormhole Networks

  Verbeek, F. & Schmaltz, J., Aug 2014, In: Ieee Transactions on Parallel and Distributed Systems. 25, 8, p. 1935-1944 10 p.

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

  • Wormhole 100%
  • Deadlock 82%
  • Decision Procedures 69%
  • Routing 67%
  • Telecommunication networks 17%
  5 Citations (Web of Science)

• A Documentation-Centred Approach to Software Design, Development and Deployment

  van Loggem, B. & van der Veer, G. C., 2014, Building Bridges: HCI, Visualization, and Non-formal Modeling: IFIP WG 13.7 Workshops on Human–Computer Interaction and Visualization: 7th HCIV@ECCE 2011, Rostock, Germany, August 23, 2011, and 8th HCIV@INTERACT 2011, Lisbon, Portugal, September 5, 2011, Revised Selected Papers. Ebert, A., van der Veer, G. C., Domik, G., Gershon, N. D. & Scheler, I. (eds.). Springer-Verlag Berlin Heidelberg, p. 188-200 13 p. (Lecture Notes in Computer Science (LNCS); No. 8345). (Information Systems and Applications, incl. Internet/Web, and HCI, Vol. 8345).

  Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  Open Access

• A Hoare Logic for Energy Consumption Analysis

  Kersten, R. W. J., Parisien Toldin, P., van Gastel, B. E. & van Eekelen, M. C. J. D., 2014, Foundational and Practical Aspects of Resource Analysis: Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers. Dal Lago, U. & Peña, R. (eds.). Cham: Springer, p. 93-109 17 p. (Lecture Notes in Computer Science, Vol. 8552).

  Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

• An exercise assistant for practical networking courses

  Haag, J., Witte, C., Karsch, S., Vranken, H. P. E. & van Eekelen, M. C. J. D., 2014, Proceedings of the 6th International Conference On Computer Supported Education : (CSEDU2014, 1-3 April, 2014, Barcelona, Spain). Zvacek, S., Restivo, M. T., Uhomoibhi, J. & Helfert, M. (eds.). SCITEPRESS-Science and Technology Publications, Lda., Vol. 2. p. 97-104 8 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  Open Access

  • Students 100%
  • Feedback 42%
  • Virtual reality 29%

• Beautiful JavaScript: How to guide students to create good and elegant code

  Passier, H. J. M., Stuurman, S. & Pootjes, H. J., 5 Nov 2014, CSERC '14: Proceedings of the Computer Science Education Research Conference. Barendsen, E. & Dagiené, V. (eds.). acm, p. 65-76 12 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  Open Access

  • Students 100%
  • Object oriented programming 38%
  • Computer science 33%
  • Teaching 29%

• Computational thinking skills in dutch secondary education: exploring pedagogical content knowledge

  Grgurina, N., Barendsen, E., Zwaneveld, B., Van Veen, K. & Stoker, I., Nov 2014, Proceedings of the 14th Koli Calling International Conference on Computing Education Research: Koli Calling '14. New York, NY: Association for Computing Machinery (ACM), p. 173-174 2 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

• Computational thinking skills in dutch secondary education: exploring teacher's perspective

  Grgurina, N., Barendsen, E., Zwaneveld, B., van Veen, K. & Stoker, I., Nov 2014, Proceedings of the 9th Workshop in Primary and Secondary Computing Education: WiPSCE '14. New York, NY: Association for Computing Machinery (ACM), p. 124-125 2 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference Abstract/Poster in proceeding › Academic › peer-review

• Effectieve computerapplicaties: vergelijk de didactiek, niet het domein

  Jeuring, J. T., Oct 2014, In: 4W: Weten Wat Werkt en Waarom. 3, 3, p. 6-13 8 p.

  Research output: Contribution to journal › Article › Professional

  Open Access

• Eliciting Computing Science Teachers’ PCK using the Content Representation Format: Experiences and Future Directions

  Barendsen, E., Dagiene, V., Saeli, M. & Schulte, C., 2014, Local Proceedings of the 7th International Conference on Informatics in Schools: Situation, Evolution and Perspectives. Gülbahar, Y., Karatas, E. & Adnan, M. (eds.). Ankara: Ankara University, p. 71-82 12 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  Open Access

• Evaluating Haskell expressions in a tutoring environment

  Olmer, T., Heeren, B. J. & Jeuring, J. T., 12 Dec 2014, Proceedings 3rd International Workshop on Trends in Functional Programming in Education : Soesterberg, The Netherlands, 25th May 2014. Caldwell, J., Hölzenspies, P. & Achten, P. (eds.). Electronic Proceedings in Theoretical Computer Science (EPTCS), Vol. 170. p. 50-66 17 p. 4

  Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

• Evaluation of Students' Learning Behaviour and Success as a Prerequisite for Modernizing Practical on Campus Networking Courses in Higher Education

  Haag, J., Witte, C., Karsch, S., Vranken, H. P. E. & van Eekelen, M. C. J. D., Aug 2014, In: Yükseköğretim Dergisi (Journal of Higher Education - Turkey). 4, 2, p. 83-90 8 p.

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

  Open Access

• Feedback services for stepwise exercises

  Heeren, B. & Jeuring, J., 1 Aug 2014, In: Science of computer programming. 88, p. 110-129 20 p.

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

  Open Access

  • Exercise 100%
  • Learning Environment 95%
  • Feedback 61%
  • Learning Systems 42%
  • Knowledge 31%
  7 Citations (Web of Science)

• Haskell Communities and Activities Report: Bijdrage over Interactive Domain Reasoning

  Heeren, B. J., Nov 2014, Haskell. 86 p.

  Research output: Book/Report › Technical report › Professional

  Open Access

• Inductive representations of RDF Graphs

  Labra-Gayo, J. E., Jeuring, J. T. & Álvarez Rodriguez, J. M., Dec 2014, In: Science of computer programming. 95, special issue part 1, p. 135-146 12 p.

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

  Open Access

  • Functional programming 100%
  • Directed graphs 88%
  • Semantic Web 77%
  • Computer programming languages 68%
  1 Citation (Web of Science)

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

• Model solutions and properties for diagnosing student programs in Ask-Elle

  Jeuring, J. T., van Binsbergen, L. T., Gerdes, A. & Heeren, B. J., Nov 2014, CSERC '14: Proceedings of the Computer Science Education Research Conference. Barendsen, E. & Dagienė, V. (eds.). New York, NY: Association for Computing Machinery (ACM), p. 31-40 10 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

• Model solutions and properties for diagnosing student programs in Ask-Elle.

  Jeuring, J. T., van Binsbergen, L. T., Heeren, B. J. & Gerdes, A., Sept 2014, Utrecht: Utrecht University.

  Research output: Book/Report › Technical report › Professional

  Open Access

  File
  5 Downloads (Pure)