Department of Computer Science

Search results

  • 2020

    Highly Automated Formal Proofs over Memory Usage of Assembly Code

    Verbeek, F., Bockenek, J. & Ravindran, B., 2020, Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II. Biere, A. & Parker, D. (eds.). Cham: Springer Open, p. 98-117 20 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 12079).

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

    Open Access

  • History-Based Specification and Verification of Java Collections in KeY

    Hiep, H.-D. A., Bian, J., Boer, F. S. D. & Gouw, S. D., 13 Nov 2020, Integrated Formal Methods - 16th International Conference, IFM 2020, Proceedings: 16th International Conference, IFM 2020. Dongol, B. & Troubitsyna, E. (eds.). Lugano, Switzerland: Springer, p. 199-217 19 p. (Lecture Notes in Computer Science).

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

  • How do students test software units? Part one: Their natural attitude diagnosed

    Bijlsma, A., Doorn, N., Passier, H. J. M., Pootjes, H. J. & Stuurman, S., 27 May 2020, Heerlen: Open Universiteit Nederland. 46 p. (Technical Report - Computer Science & Information Science (TR-OU-INF), Vol. 2019).

    Research output: Book/Report › Technical report › Academic

    Open Access
    File
    106 Downloads (Pure)

  • Hybrid Analysis of BPEL Models with Grammars

    Jager, E. D. & Gouw, S. D., 2020, Proceedings of the SOFSEM 2020 Doctoral Student Research Forum co-located with the 46th International Conference on Current Trends in Theory and Practice of Computer Science : SOFSEM-SRF 2020. Manolopoulos, Y., Papadopoulos, G. A. & Tzouramanis, T. (eds.). Limassol, Cyprus: CEUR-WS.org, Vol. 2568. p. 73-84 12 p. (CEUR Workshop Proceedings).

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

    Open Access

  • Intelligent Feedback on Hypothesis Testing

    Tacoma, S., Heeren, B., Jeuring, J. & Drijvers, P., Nov 2020, In: International Journal of Artificial Intelligence in Education. 30, 4, p. 616-636 21 p.

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

    Open Access

  • 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

  • Ontwerp voor privacy-vriendelijk kentekenparkeer-systeem

    Translated title of the contribution: Design of a privacy-friendly license plate recognition-bases parking systemJonker, H. L., 2020, Open University. 28 p.

    Research output: Book/Report › Commissioned report › Professional

    Open Access
    File
    161 Downloads (Pure)

  • Providing Hints, Next Steps and Feedback in a Tutoring System for Structural Induction

    Lodder, J. S., Heeren, B. J. & Jeuring, J. T., 28 Feb 2020, Proceedings 8th International Workshop on Theorem Proving Components for Educational Software : EPTCS 313 Natal, Brazil, 25th August 2019. Quaresma, P., Neuper, W. & Marcos, J. (eds.). Cornell University, Vol. 313. p. 17–34 18 p. (Electronic proceedings in theoretical computer science, Vol. 313).

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

    Open Access
    File
    64 Downloads (Pure)

  • Quantitative Molecular Models for Biological Processes: Modeling of Signal Transduction Networks with ANIMO

    Khurana, S., Huisman, J., Schivo, S. & Post, J. N., 27 Sept 2020, Osteoporosis and Osteoarthritis. van Wijnen, A. J. & Ganshina, M. S. (eds.). 2 ed. New York, NY: Humana Press, p. 141-161 21 p. (Methods in molecular biology, Vol. 2221).

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

  • Real-Time Multimodal Feedback with the CPR Tutor

    Di Mitri, D., Schneider Barnes, J., Trebing, K., Sopka, S., Specht, M. M. & Drachsler, H. J., 30 Jun 2020, Artificial Intelligence in Education: 21st International Conference, AIED 2020, Ifrane, Morocco, July 6–10, 2020, Proceedings, Part I. Bittencourt, I. I., Cukurova, M., Muldner, K., Luckin, R. & Millán, E. (eds.). Cham: Springer International Publishing, Vol. 1. p. 141-152 12 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 12163). (Lecture Notes in Artificial Intelligence (subseries), Vol. 12163).

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

    Open Access

  • Safe Sessions of Channel Actions in Clojure: A Tour of the Discourje Project

    Jongmans, S.-S. & Hamers, R., 2020, Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles. Margaria, T. & Steffen, B. (eds.). Cham: Springer Nature Switzerland AG, p. 489-508 10 p. (Lecture Notes in Computer Science).

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

  • Scenario smells: signalling potential problems in dialogue scenarios in a serious game

    Overbeek, T., Lala, R. & Jeuring, J., 4 Dec 2020, In: International Journal of Serious Games. 7, 4, p. 51-73 23 p.

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

    Open Access

  • Scriptless Testing at the GUI Level in an Industrial Setting

    Chahim, H., Duran, M., Vos, T. E. J., Aho, P. K. & Condori-Fernández, N., 25 Sept 2020, Research Challenges in Information Science: 14th International Conference, RCIS 2020. Dalpiaz, F., Zdravkovic, J. & Loucopoulos, P. (eds.). Cham: Springer Nature Switzerland AG, p. 267-284 18 p. (Lecture Notes in Business Information Processing).

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

  • Shepherd: A Generic Approach to Automating Website Login

    Jonker, H. L., Karsch, S., Krumnow, B. & Sleegers, M., 2020, Proceedings MADWeb 2020: Workshop on Measurements, Attacks, and Defenses for the Web, February 23, 2020, San Diego, California. Reston: Internet Society, 10 p.

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

    Open Access

  • Softmax Recurrent Unit: A new type of RNN cell

    Vos, L. & van Laarhoven, T. M., Oct 2020, ESANN 2020 proceedings: 28th European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning. Bruges, Belgium: European Symposium on Artificial Neural Networks, p. 309-314 6 p.

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

    Open Access

  • Sound C Code Decompilation for a Subset of x86-64 Binaries

    Verbeek, F., Olivier, P. & Ravindran, B., 2020, Software Engineering and Formal Methods: 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings. de Boer, F. & Cerone, A. (eds.). Cham: Springer Nature Switzerland AG, p. 247-264 18 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 12310). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 12310).

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

  • Student Refactoring Behaviour in a Programming Tutor

    Keuning, H., Heeren, B. & Jeuring, J., Nov 2020, Koli Calling '20: Proceedings of the 20th Koli Calling International Conference on Computing Education Research. Falkner, N. & Seppälä, O. (eds.). New York: acm, p. Pages 1–10 10 p. 4

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

    Open Access
    File
    285 Downloads (Pure)

  • Super-Resolution by Image Enhancement Using Texture Transfer

    Ople, J. J. M., Tan, D. S., Azcarraga, A., Yang, C.-L. & Hua, K.-L., Oct 2020, 2020 IEEE International Conference on Image Processing (ICIP): Proceedings. IEEE, p. 953-957 5 p. 9190844

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

  • Tandem: Securing Keys by Using a Central Server While Preserving Privacy

    Lueks, W., Hampiholi, B., Alpár, G. & Troncoso, C., 17 Aug 2020, Proceedings on Privacy Enhancing Technologies. Chatzikokolakis, K. & Johnson, A. (eds.). 3 ed. Sciendo, Vol. 2020. p. 327-355 29 p.

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

    Open Access

  • Temporal Exceptional Model Mining Using Dynamic Bayesian Networks

    Bueno, M. L. P., Hommersom, A. J. & Lucas, P. J. F., 2020, Advanced Analytics and Learning on Temporal Data: 5th ECML PKDD Workshop, AALTD 2020. Lemaire, V., Malinowski, S., Bagnall, A., Guyet, T., Tavenard, R. & Ifrim, G. (eds.). Springer International Publishing AG, p. 97-112 16 p. (Lecture Notes in Computer Science (LNCS) series).

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

  • TESTOMAT: Next Level of Test Automation

    Eldh, S., Vos, T. E. J., Demeyer, S., Aho, P. K. & van der Bijl, M., 25 Sept 2020, Research Challenges in Information Science: 14th International Conference, RCIS 2020. Dalpiaz, F., Zdravkovic, J. & Loucopoulos, P. (eds.). Cham: Springer Nature Switzerland AG, p. 637-639 3 p. (Lecture Notes in Business Information Processing).

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

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

  • Timely Classification and Verification of Network Traffic Using Gaussian Mixture Models

    Alizadeh, H., Vranken, H. P. E., Zúquete, A. & Miri, A., 6 May 2020, In: IEEE Access. 8, p. 91287-91302 16 p.

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

    Open Access
    1 Citation (Web of Science)

  • To Be or Not to Be a Teacher? Exploring CS Students’ Perceptions of a Teaching Career

    Yeni, S., Aivaloglou, E. & Hermans, F., Nov 2020, Koli Calling '20: Proceedings of the 20th Koli Calling International Conference on Computing Education Research. New York, NY: Association for Computing Machinery (ACM), p. 1-11 11 p. 11

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

  • Towards an Assessment Rubric for EiPE Tasks in Secondary Education: Identifying Quality Indicators and Descriptors

    Weeda, R., Izu, C., Kallia, M. & Barendsen, E., Nov 2020, Proceedings of the 20th Koli Calling International Conference on Computing Education Research. Falker, N. & Seppala, O. (eds.). New York: Association for Computing Machinery, 10 p. 30

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

  • 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

  • Verifying OpenJDK's LinkedList using KeY

    Hiep, H.-D. A., Maathuis, O., Bian, J., Boer, F. S. D., Eekelen, M. C. J. D. V. & Gouw, S. D., 17 Apr 2020, TACAS 2020: Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software. Biere, A. & Parker, D. (eds.). Cham: Springer, p. 217-234 18 p. (Lecture Notes in Computer Science, Vol. 12079). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 12079).

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

    Open Access
  • 2019

    A comparison between discrete and continuous time Bayesian networks in learning from clinical time series data with irregularity

    Liu, M., Stella, F., Hommersom, A., Lucas, P. J. F., Boer, L. & Bischoff, E., Apr 2019, In: Artificial Intelligence in Medicine. 95, p. 104-117 14 p.

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

    9 Citations (Web of Science)

  • A comparison of elaborated and restricted feedback in LogEx, a tool for teaching rewriting logical formulae

    Lodder, J., Heeren, B. J. & Jeuring, J. T., Oct 2019, In: Journal of Computer Assisted Learning. 35, 5, p. 620-632 13 p.

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

    Open Access
    1 Citation (Web of Science)

  • A Data-Driven Exploration of Hypotheses on Disease Dynamics

    Bueno, M. L. P., Hommersom, A., Lucas, P. J. F. & Janzing, J., 30 May 2019, Artificial Intelligence in Medicine: 17th Conference on Artificial Intelligence in Medicine, AIME 2019, Poznan, Poland, June 26–29, 2019, Proceedings. Riaño, D., Wilk, S. & ten Teije, A. (eds.). Cham: Springer International Publishing AG, p. 170-179 10 p. (Lecture Notes in Computer Science (LNCS), Vol. 11526).

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

  • ÆGIS: Smart Shielding of Smart Contracts

    Ferreira Torres, C., Baden, M., Norvill, R. & Jonker, H., 6 Nov 2019, CCS '19 Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security. New York, NY: Association for Computing Machinery (ACM), p. 2589-2591 3 p.

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

  • Analysis of SLA Compliance in the Cloud: An Automated, Model-based Approach

    Boer, F. S. D., Giachino, E., Gouw, S. D., Hähnle, R., Johnsen, E. B., Laneve, C., Pun, K. I. & Zavattaro, G., 27 Aug 2019, Proceedings of the Second Workshop on Verification of Objects at RunTime EXecution : Amsterdam, Netherlands, 17th July 2018. Ancona, D. & Pace, G. (eds.). Open Publishing Association, Vol. 302. p. 1-15 15 p.

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

    Open Access

  • Analyzing students' recontextualization strategies for algorithmic concepts

    Nijenhuis-Voogt, J., Bayram-Jacobs, D., Meijer, P. C. & Barendsen, E., 23 Oct 2019, WiPSCE'19: Proceedings of the 14th Workshop in Primary and Secondary Computing Education. Cutts, Q. & Brinda, T. (eds.). New York, NY: Association for Computing Machinery (ACM), p. 1-2 2 p. 7

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

  • A probabilistic framework for predicting disease dynamics: A case study of psychotic depression

    Bueno, M. L. P., Hommersom, A., Lucas, P. J. F. & Janzing, J., Jul 2019, In: Journal of Biomedical Informatics. 95, 12 p., 103232.

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

    Open Access
    3 Citations (Web of Science)

  • Architecture and Design Patterns for Distributed, Scalable Augmented Reality and Wearable Technology Systems

    Guest, W., Wild, F., Mitri, D. D., Klemke, R., Karjalainen, J. & Helin, K., Dec 2019, 2019 IEEE International Conference on Engineering, Technology and Education (TALE). IEEE, p. 1-8 8 p.

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

  • 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
    24 Citations (Web of Science)
    1145 Downloads (Pure)

  • Autism: Implications for Inclusive Education with respect to Software Engineering

    Stuurman, S., Passier, H. J. M., Geven, F. & Barendsen, E., Nov 2019, CSERC '19: Proceedings of the 8th Computer Science Education Research Conference. Rahimi, E. & Stikkolorum, D. (eds.). 1 ed. New York, NY: Association for Computing Machinery (ACM), p. 15-25 11 p.

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

    Open Access
    File
    619 Downloads (Pure)

  • Automated feedback on the structure of hypothesis tests

    Tacoma, S. G., Heeren, B. J., Jeuring, J. T. & Drijvers, P., 2019, Proceedings of the Eleventh Congress of the European Society for Research in Mathematics Education. Jankvist, U. T., van den Heuvel-Panhuizen, M. & Veldhuis, M. (eds.). Freudenthal Group & Freudenthal Institute, Utrecht University and ERME, p. 2969-2976 8 p.

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

    Open Access

  • Automated feedback on the structure of hypothesis tests

    Tacoma, S., Heeren, B., Jeuring, J. & Drijvers, P., 21 Jun 2019, Artificial Intelligence in Education: 20th International Conference, AIED 2019, Chicago, IL, USA, June 25-29, 2019, Proceedings, Part II. Isotani, S., Millán, E., Ogan, A., McLaren, B., Hastings, P. & Luckin, R. (eds.). Cham: Springer, p. 281-285 5 p. (Science of Computer Programming, Vol. 11626).

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

    Open Access
    File
    96 Downloads (Pure)

  • A virtual classroom for cybersecurity education

    Haag, J., Vranken, H. & van Eekelen, M., 27 Apr 2019, Transactions on Edutainment XV. Pan, Z., Cheok, A. D., Müller, W., Zhang, M., El Rhalibi, A. & Kifayat, K. (eds.). Berlin: Springer-Verlag Berlin Heidelberg, p. 173-208 36 p. (Lecture Notes in Computer Science, Vol. 11345).

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

    Open Access
    File
    163 Downloads (Pure)

  • Building a Generic Feedback System for Rule-Based Problems

    Naus, N. & Jeuring, J. T., 21 Feb 2019, Trends in Functional Programming: 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers. Van Horn, D. & Hughes, J. (eds.). Cham: Springer, p. 172-191 20 p. (Lecture Notes in Computer Science, Vol. 10447).

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

    Open Access
    File
    168 Downloads (Pure)

  • Computing Education in a Hybrid World

    Benvenuti, L., 20 Sept 2019, Open Universiteit. 220 p.

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

    Open Access
    File
    137 Downloads (Pure)

  • Continuous Piloting of an Open Source Test Automation Tool in an Industrial Environment

    Aho, P., Vos, T. E. J., Ahonen, S., Piirainen, T., Moilanen, P. & Pastor Ricos, F., 2019, Actas de las XXIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2019): áceres, septiembre de 2019. Pérez-Benedí, J. (ed.). Sistedes, p. 1-4 4 p.

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

    Open Access

  • Deep in the Dark: A Novel Threat Detection System using Darknet Traffic

    Kumar, S., Vranken, H. P. E., van Dijk, J. & Hämäläinen, T., Dec 2019, 2019 IEEE International Conference on Big Data. Los Angeles, USA: IEEE, p. 4273-4279 7 p.

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

    Open Access
    File
    195 Downloads (Pure)

  • Distributed programming using role-parametric session types in go: statically-typed endpoint APIs for dynamically-instantiated communication structures

    Castro, D., Hu, R., Jongmans, S.-S., Ng, N. & Yoshida, N., Jan 2019, Proceedings of the ACM on Programming Languages. Wadler, P. (ed.). POPL ed. New York, NY: Association for Computing Machinery (ACM), Vol. 3. p. 1-30 30 p. (Proceedings of the ACM on Programming Languages).

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

    Open Access

  • Early programming education and career orientation: The effects of gender, self-efficacy, motivation and stereotypes

    Aivaloglou, E. & Hermans, F., 22 Feb 2019, SIGCSE '19: Proceedings of the 50th ACM Technical Symposium on Computer Science Education, Minneapolis, MN, USA, February 2019. New York: Association for Computing Machinery (ACM), p. 679-685 7 p.

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

    File
    801 Downloads (Pure)

  • Enhancing Free-text Interactions in a Communication Skills Learning Environment

    Lala, R., Jeuring, J. T., Van Geest, M., Ruseti, S., Dascălu, M., Van Dortmont, J., Gutu-Robu, G. & Hulsbergen, M. H., 21 Jun 2019, A Wide Lens: Combining Embodied, Enactive, Extended, and Embedded Learning in Collaborative Settings. Lund, K., Niccolai, G. P., Lavoué, E., Hmelo-Silver, C., Gweon, G. & Baker, M. (eds.). International Society of the Learning Sciences, Vol. 2. p. 877-878 2 p.

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

    Open Access
    File
    2231 Downloads (Pure)

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

  • Evaluation of a Structured Design Methodology for Concurrent Programming

    Bijlsma, A., Huizing, K., Kuiper, R., Passier, H. J. M., Pootjes, H. J. & Smetsers, S., 18 Nov 2019, CSERC '19: Proceedings of the 8th Computer Science Education Research Conference. Rahimi, E. & Stikkolorum, D. (eds.). New York, NY: Association for Computing Machinery, p. 58–65 8 p.

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

  • Evaluation of Interventions in Blended Learning Using a Communication Skills Serious Game

    Lala, R., Corbalan, G. & Jeuring, J., 1 Nov 2019, Games and Learning Alliance: 8th International Conference, GALA 2019, Athens, Greece, November 27–29, 2019, Proceedings. Liapis, A., Yannakakis, G. N., Gentile, M. & Ninaus, M. (eds.). Cham: Springer International Publishing AG, p. 322-331 10 p. (Lecture Notes in Computer Science (LNCS), Vol. 11899). (Information Systems and Applications, incl. Internet/Web, and HCI (LNISA), Vol. 11899).

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

    Open Access
    File
    136 Downloads (Pure)