Department of Computer Science

Filter
Conference Article in proceeding

Search results

  • 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

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

  • 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

  • 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
    103 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
    170 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. 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

  • 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

  • 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
    2127 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. 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

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

  • 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

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

    Open Access

  • 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

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

    30 Years of Automated GUI Testing: A Bibliometric Analysis

    Rodríguez-Valdés, O., Vos, T. E. J., Aho, P. K. & Marín, B., 25 Aug 2021, Quality of Information and Communications Technology: 14th International Conference. Ana C. R. Paiva, Ana Rosa Cavalli, Paula Ventura Martins & Ricardo Pérez-Castillo (eds.). 1 ed. Springer, Cham, p. 473-488 16 p. (Communications in Computer and Information Science, Vol. 1439).

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

  • A Bunch of Broken Schemes: A Simple yet Powerful Linear Approach to Analyzing Security of Attribute-Based Encryption

    Venema, M. & Alpár, G., 11 May 2021, Topics in Cryptology - CT-RSA 2021: CT-RSA 2021. Paterson, K. G. (ed.). 1e ed. Switzerland: Springer, Vol. 12704. p. 100-125 26 p. (Lecture Notes in Computer Science, Vol. 12704).

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

  • Analysis of specifications of multiparty sessions with dcj-lint

    Horlings, E. & Jongmans, S-S., Aug 2021, ESEC/FSE 2021: Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Spinellis, D., Gousios, G., Chechik, M. & Di Penta, M. (eds.). ACM Digital Library, p. 1590-1594 5 p.

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

    Open Access

  • Aplib: Tactical Agents for Testing Computer Games

    Prasetya, I. S. W. B., Dastani, M., Prada, R., Vos, T. E. J., Dignum, F. & Kifetew, F. M., 7 Jan 2021, Engineering Multi-Agent Systems: 8th International Workshop, EMAS 2020, Auckland, New Zealand, May 8–9, 2020, Revised Selected Papers. Cristina Baroglio, Jomi F. Hubner & Michael Winikoff (eds.). 1 ed. Springer, Vol. 12589. p. 21-41 21 p. (Lecture Notes in Computer Science, Vol. 12589).

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

  • A preliminary study on the adoption and effectiveness of SameSite cookies as a CSRF defence

    Compagna, L., Jonker, H. L., Krochewski, J., Krumnow, B. & Sahin, M., 29 Oct 2021, IEEE European Symposium on Security and Privacy Workshops: (EuroS&PW). IEEE, p. 49-59 11 p.

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

  • A Structured (Java) Exercise Repository with Automated Feedback (SERF).

    Passier, H., Huizing, C., Kok, A., Kuiper, R., Bijlsma, L., Scheffers, E., Schivo, S. & Vos, T. E. J., 22 Nov 2021, CSERC '21: Proceedings of the 10th Computer Science Education Research Conference. Stikkolorum, D. & Rahimi, E. (eds.). Association for Computing Machinery (ACM), p. 68-69 2 p.

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

    Open Access

  • Children’s Implicit and Explicit Stereotypes on the Gender, Social Skills, and Interests of a Computer Scientist

    de Wit, S. D., Hermans, F. & Aivaloglou, E., 16 Aug 2021, Proceedings of the 17th ACM Conference on International Computing Education Research. Ko, A. J., Vahrenhold, J., McCauley, R. & Hauswirth, M. (eds.). New York, NY, USA: Association for Computing Machinery, p. 239–251 13 p.

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

    Open Access

  • Displaying triple provenance with extensions to the Fresnel vocabulary for semantic browsers

    Rutledge, L. W., Mellema, P., Pietersma, T. & Joosten, S. M. M., 25 Oct 2021, Proceedings of the Sixth International Workshop on the Visualization and Interaction for Ontologies and Linked Data: VOILA! 2021. Lambrix, P., Pesquita, C. & Wiens, V. (eds.). CEUR-WS.org, Vol. 3023. p. 103-114 12 p. (CEUR Workshop Proceedings).

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

    Open Access

  • Exploring students' sensemaking of test case design: An initial study

    Doorn, N., Vos, T. E. J., Marín, B., Passier, H., Bijlsma, L. & Cacace, S., Apr 2021, Proceedings: 2021 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C 2021). IEEE, p. 1069-1078 10 p.

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

  • Exploring the Programming Concepts Practiced by Scratch Users: an Analysis of Project Repositories

    Zeevaarders, A. & Aivaloglou, E., 2021, Proceedings of the 2021 IEEE Global Engineering Education Conference (EDUCON). Klinger, T., Kollmitzer, C. & Pester, A. (eds.). IEEE, p. 1287-1295 9 p.

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

  • Generating Functions for Probabilistic Programs

    Klinkenberg, L., Batz, K., Kaminski, B. L., Katoen, J-P., Moerman, J. & Winkler, T., 13 Feb 2021, Logic-Based Program Synthesis and Transformation: 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020, Proceedings. Maribel Fernández (ed.). 1 ed. Cham: Springer, p. 231-248 18 p. (Lecture Notes in Computer Science, Vol. 12561).

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

  • HLISA: towards a more reliable measurement tool

    Goßen, D., Jonker, H. L., Karsch, S., Krumnow, B. & Roefs, D., Nov 2021, IMC '21: Proceedings of the 21st ACM Internet Measurement Conference. p. 380–389 10 p.

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

  • How do Students Test Software Units?

    Passier, H. J. M., Bijlsma, A., Doorn, N., Pootjes, H. J. & Stuurman, S., May 2021, 2021 IEEE/ACM 43rd International Conference on Software Engineering: Software Engineering Education and Training (ICSE-SEET). IEEE, p. 189-198 10 p.

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

    File
    85 Downloads (Pure)

  • Identifying SQL Misconceptions of Novices: Findings from a Think-Aloud Study

    Miedema, D., Aivaloglou, E. & Fletcher, G., 16 Aug 2021, Proceedings of the 17th ACM Conference on International Computing Education Research. Ko, A. J., Vahrenhold, J., McCauley, R. & Hauswirth, M. (eds.). New York, NY, USA: Association for Computing Machinery, p. 355–367 13 p.

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

    Open Access

  • Integrating ADTs in KeY and Their Application to History-Based Reasoning

    Bian, J., Hiep, H-D. A., Boer, F. S. D. & Gouw, S. D., Nov 2021, Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings. Huisman, M., Păsăreanu, C. & Zhan, N. (eds.). 1 ed. Cham: Springer, p. 255-272 18 p. (Lecture Notes in Computer Science, Vol. 13047). (Programming and Software Engineering LNPSE, Vol. 13047).

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

  • Naturalistic Physical Adversarial Patch for Object Detectors

    Hu, Y-C-T., Kung, B-H., Tan, D. S., Chen, J-C., Hua, K-L. & Cheng, W-H., 2021, Proceedings - 2021 IEEE/CVF International Conference on Computer Vision, ICCV 2021: ICCV 2021. IEEE, p. 7828-7837 10 p.

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

  • Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata.

    Bojanczyk, M., Klin, B. & Moerman, J., 7 Jul 2021, 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE, p. 1-13 13 p.

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

  • Principles to facilitate design-based learning environments for programming in secondary education while making learning visible in an authentic way

    van Zadelhoff, B., Rahimi, E. & Barendsen, E., 18 Nov 2021, Proceedings of 21st Koli Calling International Conference on Computing Education Research, Koli Calling 2021. Seppälä, O. & Petersen, A. (eds.). Association for Computing Machinery (ACM), 10 p. 12

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

    Open Access

  • Prut4j - Protocol Unit Testing fo(u)r Java

    Slob, F. J. & Jongmans, S-S., 25 May 2021, 2021 IEEE 14th International Conference on Software Testing, Verification and Validation: ICST 2021. IEEE, p. 448-453 6 p.

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

  • Reproduction for Insight: Towards Better Understanding the Quality of Students Tests

    Lawende, M., Passier, H. J. M. & Alpár, G., 26 Jun 2021, ITiCSE 2021 - Proceedings of the 26th ACM Conference on Innovation and Technology in Computer Science Education: Proceedings of the 26th ACM Conference on Innovation and Technology in Computer Science Education. New York: ACM Digital Library, Vol. 1. p. 213-219 7 p.

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

  • SHACL-based Ontology Design Patterns for Evidence-based Decision-making

    Verhaeg, M., Rutledge, L. W. & Heeren, B. J., 2021, Proceedings of the 11th Workshop on Ontology Design and Patterns: WOP 2020. IOS Press, Vol. 51. p. 292-298 7 p. (Studies on the Semantic Web).

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

  • 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