Open Universiteit

  • Visiting AdressShow on map

    Valkenburgerweg 177

    6419AT Heerlen

    Netherlands

Filter
Conference Article in proceeding

Search results

  • 2021

    The role of education level in online peer feedback performance for argumentative essay writing

    Banihashem, S. K., Noroozi, O. & Biemans, H., 2021, Proceedings of International Conference on Studies in Education and Social Sciences. S. J. & O. T. O. (eds.). International Society for Technology, Education, and Science (ISTES), Vol. 1. p. 135- 140 6 p.

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

    Open Access

  • Toward a Reference Architecture for Traceability in SBVR-based Systems

    Rutledge, L. W. & Italiaander, R. H. J., 8 Sept 2021, Proceedings of the Seventh International Workshop on Controlled Natural Language: CNL 2020/21. Special Interest Group on Controlled Natural Language

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

    Open Access

  • Towards Evidence-Based Analysis of Palliative Treatments for Stomach and Esophageal Cancer Patients: a Process Mining Approach

    Pijnenborg, P., Verhoeven, R., Firat, M., W.M. van Laarhoven, H. & Genga, L., 25 Oct 2021, 2021 3rd International Conference on Process Mining (ICPM). Di Ciccio, C., Di Francescomarino, C. & Soffer, P. (eds.). IEEE, p. 136-143 8 p.

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

  • User Motivation for Participating in Innovation Processes: A Scoping Review

    Skeie, K. B., van Leersum, C. M. & van der Zwart, J., 2021, LUT Scientific and Expertise Publications. ProQuest

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

  • Using Jungian Personality Types for Teaching Teamwork in a Software Engineering Capstone Course

    Pieterse, V., Stuurman, S. & van Eekelen, M. C. J. D., 3 Mar 2021, Proceedings of the 52nd ACM Technical Symposium on Computer Science Education. New York, USA: acm, p. 239-245 7 p.

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

    Open Access
    File
    620 Downloads (Pure)

  • Using the Beginners Computational Thinking Test to Measure Development on Computational Concepts Among Preschoolers

    Zapata-Cáceres, M. & Fanchamps, N., Jun 2021, Proceedings of the 5th APSCE International Computational Thinking and STEM in Education Conference 2021. Asia-Pacific Society for Computers in Education, p. 32-37

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

  • Who Does What? Work Division and Allocation Strategies of Computer Science Student Teams

    van der Meulen, A. & Aivaloglou, E., May 2021, 2021 IEEE/ACM 43rd International Conference on Software Engineering: Software Engineering Education and Training (ICSE-SEET). IEEE, p. 273-282 10 p.

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

  • 2020

    Agent-based Testing of Extended Reality Systems

    Prada, R., Prasetya, I. S. W. B., Kifetew, F. M., Dignum, F., Vos, T. E. J., Lander, J., Donnart, J.-Y., Kazmierowski, A., Davidson, J. & Fernandes, P. M., Aug 2020, Proceedings: 2020 IEEE 13th International Conference on Software Testing, Verification and Validation: ICST 2020. IEEE, p. 414-417 4 p.

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

  • A Holistic Pedagogical Model for STEM learning and education inside and outside the classroom

    Stracke, C. M., Van Dijk, G., Fasen, J., Lisdat, F. & Simoens, W., 2020, Learning and Collaboration Technologies: Designing, Developing and Deploying Learning Experiences. Zaphiris, P. & Ioannou, A. (eds.). Cham, Switzerland: Springer, p. 568–581 14 p. (Lecture Notes in Computer Science).

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

  • Aligning Effectively: The Case of Electronic Medical Records

    Walraven, P., van de Wetering, R., Helms, R. W. & Caniëls, M. C. J., Jun 2020, Proceedings of the 28th European Conference on Information Systems (ECIS): An Online AIS Conference, June 15-17, 2020. online: Association for Information Systems, 16 p.

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

    Open Access
    File
    205 Downloads (Pure)

  • An Evaluation of the Intuitiveness of the PGA Modeling Language Notation

    Roelens, B. F. C. & Bork, D., 2020, Enterprise, Business-Process and Information Systems Modeling: 21st International Conference, BPMDS 2020, 25th International Conference, EMMSAD 2020, Held at CAiSE 2020, Grenoble, France, June 8–9, 2020, Proceedings. Nurcan, S., Reinhartz-Berger, I., Soffer, P. & Zdravkovic, J. (eds.). Cham: Springer Nature Switzerland AG, p. 395-410 16 p. (Lecture Notes in Business Information Processing, Vol. 387).

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

  • Applying Scrum in Data Science Projects

    Baijens, J., Helms, R. W. & Iren, D., 2020, Proceedings of IEEE 22nd Conference on Business Informatics (CBI 2020). Guédria, W., Proper, H. A., Verelst, J., Hacks, S., Timm, F., Sandkuhl, K., Fellmann, M., Serapiao, G., Payan, M., Komarov, M., Maltseva, S., Uskenbayeva, R., Nazarov, D., Ge, M., Helfert, M. & Ehrlinger, L. (eds.). Danvers, MA: Institute of Electrical and Electronics Engineers Inc., Vol. 2. p. 30-38 9 p.

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

    Open Access
    File
    1698 Downloads (Pure)

  • A Reference Model for a Service Level Agreement: In domain of Information Sharing Services

    Hofman, C. & Roubtsova, E. E., 2020, Business Modeling and Software Design: 10th International Symposium, BMSD 2020, Berlin, Germany, July 6-8, 2020, Proceedings. Shishkov, B. (ed.). Cham: Springer Nature Switzerland AG, Vol. 391. p. 55-68 14 p. (Lecture Notes in Business Information Processing, Vol. 391).

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

    Open Access
    File
    47 Downloads (Pure)

  • Assessing the Quality of Evolving Haskell Systems by Measuring Structural Inequality

    Kamps, S., Heeren, B. & Jeuring, J., Aug 2020, Haskell 2020: Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell. Schrijvers, T. (ed.). New York, NY, USA: Association for Computing Machinery, p. 67–79 13 p.

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

    Open Access
    File
    194 Downloads (Pure)

  • Associative Media Learning With Smartwatches

    Rödling, S., Biedermann, D., Schneider, J. & Drachsler, H. J., 2020, Proceedings of the IEEE Global Engineering Education Conference (EDUCON 2020): Engineering Education for the Future in a Multicultural and Smart World. Cardoso, A., Alves, G. R. & Restivo, M. T. (eds.). Danvers, MA: Institute of Electrical and Electronics Engineers Inc., p. 752-755 4 p.

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

  • Automated feedback for mathematical learning environments

    Heeren, B. & Jeuring, J., 2020, Proceedings of the 14th International Conference on Technology in Mathematics Teaching – ICTMT 14: Essen, Germany, 22nd to 25th of July 2019, University of Duisburg-Essen. Barzel, B., Bebernik, R., Göbel, L., Pohl, M., Ruchniewicz, H., Schacht, F. & Thurm, D. (eds.). Essen, Germany: University of Duisburg-Essen, p. 17-25 9 p.

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

    Open Access

  • Bridges and Mediation in Higher Distance Education: HELMeTO 2020 Editorial: Introduction to the Scientific Contributions

    Agrati, L. S., Burgos, D., Ducange, P., Limone, P., Perla, L., Picerno, P., Raviolo, P. & Stracke, C. M., 17 Sept 2020, Bridges and Mediation in Higher Distance Education: Second International Workshop, HELMeTO 2020. Casali, G. & Pecori, R. (eds.). Bari, Italy: Springer, p. 1-7 7 p.

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

    Open Access

  • Capturing and Characterising Notional Machines

    Fincher, S., Jeuring, J., Miller, C. S., Donaldson, P., Boulay, B. D., Hauswirth, M., Hellas, A., Hermans, F., Lewis, C. M., Mühling, A., Pearce, J. L. & Petersen, A., Jun 2020, Proceedings of the 2020 ACM Conference on Innovation and Technology in Computer Science Education: ITiCSE 2020. Giannakos, M. N., Sindre, G., Luxton-Reilly, A. & Divitini, M. (eds.). New York: acm, p. 502-503 2 p.

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

    Open Access
    File
    182 Downloads (Pure)

  • Computational Thinking and Mathematical thinking: Digital literacy in Mathematics curricula

    Borkulo, S., Kallia, M., Drijvers, P., Barendsen, E. & Tolboom, J., 20 May 2020, Proceedings of the 14th International Conference on Technology in Mathematics Teaching: ICTMT 14. Barzel, B., Bebernik, R., Göbel, L., Pohl, M., Ruchniewicz, H., Schacht, F. & Thurm, D. (eds.). University of Duisburg-Essen, p. 384-385 2 p.

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

    Open Access

  • Computational Thinking Interventions in Higher Education: A Scoping Literature Review of Interventions Used to Teach Computational Thinking

    Jong, I. D. & Jeuring, J., Nov 2020, Koli Calling '20: 20th Koli Calling International Conference on Computing Education Research. Falkner, N. & Seppälä, O. (eds.). New York: acm, p. 1-10 10 p. 35

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

    Open Access
    File
    358 Downloads (Pure)

  • Concepts for Comparison in Models to Support Decision Making

    Roubtsova, E. E. & Bosua, R., 2020, Business Modeling and Software Design: 10th International Symposium, BMSD 2020, Berlin, Germany, July 6-8, 2020, Proceedings. Shishkov, B. (ed.). Cham: Springer, p. 266-275 10 p. (Lecture Notes in Business Information Processing, Vol. 391).

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

    Open Access
    File
    45 Downloads (Pure)

  • Data Analytics Project Methodologies: Which one to choose?

    Baijens, J., Helms, R. W. & Kusters, R., 15 May 2020, Proceedings of the 2020 International Conference on Big Data in Management (ICBDM 2020). ACM Digital Library, p. 41-47 7 p.

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

    Open Access
    File
    135 Downloads (Pure)

  • Deploying TESTAR to enable remote testing in an industrial CI pipeline: a case-based evaluation

    Pastor Ricos, F., Aho, P. K., Vos, T. E. J., Torres Boigues, I., Calas Blasco, E. & Martınez Martınez, H., 30 Nov 2020, Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings. Margaria, T. & Steffen, B. (eds.). 1 ed. Springer International Publishing AG, Vol. 12476. p. 543-557 15 p. (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 12476).

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

  • Designing an Online Self-assessment for Informed Study Decisions: The User Perspective

    Delnoij, L. E. C., Janssen, J. P. W., Dirkx, K. J. H. & Martens, R. L., Sept 2020, Addressing Global Challenges and Quality Education: 15th European Conference on Technology Enhanced Learning, EC-TEL 2020, Heidelberg, Germany, September 14–18, 2020, Proceedings. Alario-Hoyos, C., Rodríguez-Triana, M. J., Scheffel, M., Arnedillo-Sánchez, I. & Dennerlein, S. M. (eds.). Cham: Springer Nature Switzerland AG, p. 74-86 13 p. (Lecture Notes in Computer Science, Vol. 12315).

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

    Open Access

  • Developing AI into Explanatory Supporting Models: An Explanation-visualized Deep Learning Prototype for Computer Supported Collaborative Learning

    Chen, H., Tan, E., Lee, Y., Praharaj, S., Specht, M. M. & Zhao, G., Jun 2020, The Interdisciplinarity of the Learning Sciences Proceedings. International Society of the Learning Sciences, Vol. 2. p. 1133-1140 8 p.

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

    Open Access

  • Discourje: Runtime Verification of Communication Protocols in Clojure

    Hamers, R. & Jongmans, S.-S., 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 I. Biere, A. & Parker, D. (eds.). Cham: Springer Open, p. 266-284 19 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 12078). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 12078).

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

    Open Access

  • Dynamic Enterprise Architecture Capabilities and Organizational Benefits: An empirical mediation study

    Van de Wetering, R., 2020, Proceedings of the Twenty-Eigth European Conference on Information Systems (ECIS2020): ECIS 2020 Research Papers. AIS Electronic Library, p. 1-18 18 p. 93

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

    Open Access
    File
    113 Downloads (Pure)

  • Dynamic Process Synchronization using BPMN 2.0 to Support Buffering and (Un)Bundling in Manufacturing

    Traganos, K., Spijkers, D., Grefen, P. W. P. J. & Vanderfeesten, I. T. P., 2020, Business Process Management Forum: BPM Forum 2020, Seville, Spain, September 13–18, 2020, Proceedings. Fahland , D., Ghidini , C., Becker , J. & Dumas , M. (eds.). Cham: Springer Nature Switzerland AG, p. 18-34 17 p. (Lecture Notes in Business Information Processing, Vol. 392).

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

  • Ecosystem Types: A Review on Boundaries and Goals

    Cobben, D. Y. P., Ooms, W. M., Roijakkers, A. H. W. M. & Radziwon, A., 2020, Proceedings of the 21st CiNet Conference . 21 ed. Milan, Italy: CINet, 11 p.

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

    1 Downloads (Pure)

  • Educational practitioners as designers of seamless learning: Lessons from a seamless learning scenarios design experience

    Firssova, O., Brouns, F. M. R., Spoelstra, H. A. F. & Rusman, E., 2 Nov 2020, 19th World Conference on Mobile, Blended and Seamless Learning: Sustaining equal access to learning in a mobile world. 1 ed. Cairo, Egypt: IAmLearn, Vol. 2020. p. 133-141 9 p.

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

    Open Access
    File
    65 Downloads (Pure)

  • Evaluation of a Financial Portfolio Visualization using Computer Displays and Mixed Reality Devices with Domain Experts

    Schroeder, K., Ajdadilish, B., Henkel, A. P. & Calero Valdez, A., Apr 2020, CHI '20: Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems. New York, NY: Association for Computing Machinery (ACM), p. 1-9 9 p.

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

    Open Access
    File
    159 Downloads (Pure)

  • Exploring New Opportunities for Mental Healthcare Through the Internet of Things (IoT)

    Folkerts, G. B., van de Wetering, R., Bosua, R. & Helms, R. W., 2020, Health Information Science - 9th International Conference, HIS 2020, Proceedings. Huang, Z., Siuly, S., Wang, H., Zhou, R. & Zhang, Y. (eds.). Cham: Springer Nature Switzerland AG, p. 35-46 12 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 12435). (Information Systems and Applications, incl. Internet/Web, and HCI, Vol. 12435).

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

    Open Access
    File
    201 Downloads (Pure)

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

    Jongmans, S.-S. & Yoshida, N., 2020, Programming Languages and Systems: 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings. Müller, P. (ed.). Cham: Springer Open, p. 251-279 29 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 12075). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 12075).

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

    Open Access

  • Gaining Insight into Determinants of Physical Activity using Bayesian Network Learning

    Tummers, S. C. M. W., Hommersom, A. J., Lechner, E. H. S., Bolman, C. & Bemelmans, R., 2020, BNAIC/BeneLearn 2020 : Proceedings. Cao, L., Kosters, W. & Lijffijt, J. (eds.). Leiden: Leiden University, p. 298- 312 15 p.

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

    Open Access
    File
    2788 Downloads (Pure)

  • 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

  • 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

  • Identification of IT-Needs to Cope with Dynamism in Collaborative Networked Organizations—A Case Study

    van den Heuvel, R., van de Wetering, R., Bos, R. & Trienekens, J. J. M., 2020, Digital Business Transformation: Organizing, Managing and Controlling in the Information Age. Agrifoglio, R., Lamboglia, R., Mancini, D. & Ricciardi, F. (eds.). Cham: Springer Nature Switzerland AG, p. 219-236 18 p. (Lecture Notes in Information Systems and Organisation, Vol. 38).

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

    Open Access
    File
    105 Downloads (Pure)

  • Improving Agility Through Enterprise Architecture Management: The Mediating Role of Aligning Business and IT

    Pattij, M., van de Wetering, R. & Kusters, R. J., 2020, AMCIS 2020 Proceedings: the 26th Americas Conference on Information Systems. Association for Information Systems, 10 p. 3

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

    Open Access

  • Introducing Eye Movement Modeling Examples for Programming Education and the Role of Teacher's Didactic Guidance

    Emhardt, S. N., Jarodzka, H. M., Brand - Gruwel, S., Drumm, C. & van Gog, T., Jun 2020, ETRA '20 Short Papers: ACM Symposium on Eye Tracking Research and Applications. New York, NY: Association for Computing Machinery (ACM), p. 1-4 4 p. 52

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

  • KPI Design as a Simulation Project

    Roubtsova, E. E., Sept 2020, Proceedings of the 32nd European Modeling & Simulation Symposium (EMSS 2020). Affenzeller, M., Bruzzone, A. G., Longo, F. & Petrillo, A. (eds.). Cal-Tek, p. 120-129 10 p.

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

    Open Access

  • Online active learning: a comparison of three virtual classroom collaborative learning scenarios

    Janssen, J., Wopereis, I., Swennenhuis, P., Ebus, P., Severeyns - Wijenbergh, H. & van Wijnen, J., 2020, ICERI2020 Proceedings: 13th International Conference of Education, Research and Innovation, November 9th-10th, 2020. Gómez Chova, L., López Martínez, A. & Candel Torres, I. (eds.). Valencia, Spain: IATED, p. 8518-8521 4 p.

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

    File
    216 Downloads (Pure)

  • Open Education and Open Science for our Global Society during and after the COVID-19 Outbreak

    Stracke, C. M., Bozkurt, A., Conole, G., Nascimbeni, F., Ossiannilsson, E., Sharma, R. C., Burgos, D., Cangialosi , K., Fox, G., Mason, J., Nerantzi, C., Agbu, J.-F., Ramírez Montoya , M. S., Santos-Hermosa , G., Sgouropoulou, C. & Shon, J. G., 16 Nov 2020, Proceedings of the Open Education Global Conference 2020. 4 p.

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

    Open Access

  • OpenLAIR an Open Learning Analytics Indicator Repository Dashboard

    Drachsler, H. J., Schneider, J. & Ahamd, A., 2020, Addressing Global Challenges and Quality Education: 15th European Conference on Technology Enhanced Learning, EC-TEL 2020, Heidelberg, Germany, September 14–18, 2020, Proceedings. Alario-Hoyos, C., Rodríguez-Triana, M. J., Scheffel, M., Arnedillo-Sánchez, I. & Dennerlein, S. M. (eds.). Cham: Springer Nature Switzerland AG, p. 467-471 5 p. (Lecture Notes in Computer Science).

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

  • Preventing Algorithmic Bias in the Development of Algorithmic Decision-Making Systems: A Delphi Study

    Aysolmaz, B., Iren, D. & Dau, N., 7 Jan 2020, Proceedings of the 53rd Hawaii International Conference on System Sciences, 2020. Honolulu: HICSS, p. 5267-5276 10 p.

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

    Open Access

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

  • 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

  • Reference Model for Generic Capabilities in Maturity Models

    Merkus, J., Helms, R. W. & Kusters, R., Sept 2020, Proceedings of the 2020 12th International Conference on Information Management and Engineering, ICIME 2020. New York, NY: Association for Computing Machinery (ACM), p. 10-17 8 p.

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

    Open Access
    File
    114 Downloads (Pure)

  • 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

  • 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