Department of Computer Science

Search results

  • Conference Article in proceeding

    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

  • 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

  • File Fragmentation in the Wild: A Privacy-Friendly Approach

    van der Meer, V., Jonker, H., Dols, G., van Beek, H., van den Bos, J. & van Eekelen, M., Dec 2019, 2019 IEEE International Workshop on Information Forensics and Security (WIFS): Proceedings . Delft: IEEE, p. 1-6 6 p.

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

  • Finding the shortest path to reproduce a failure found by TESTAR

    Valdes, O. R., Aug 2019, Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Dumas, M. & Pfahl, D. (eds.). New York, USA: Association for Computing Machinery, p. 1223-1225 3 p.

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

  • Fine-Grained Cognitive Assessment Based on Free-Form Input for Math Story Problems

    Heeren, B. J., Jeuring, J. T., Sosnovsky, S., Drijvers, P., Boon, P., Tacoma, S., Koops, J., Weinberger, A., Grugeon-Allys, B., Chenevotot-Quentin, F., van Wijk, J. & van Walree, F., 14 Aug 2018, Lifelong Technology-Enhanced Learning: EC-TEL 2018. Elferink, R., Drachsler, H., Pammer-Schindler, V., Perez-Sanagustin, M. & Scheffel, M. (eds.). Cham: Springer, p. 262-276 15 p. (Lecture Notes in Computer Science, Vol. 11082).

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

    Open Access
    File
    99 Downloads (Pure)

  • First Six Months of War from Ukrainian Topic and Sentiment Analysis

    Maathuis, C. & Kerkhof, I., 2023, Proceedings of the 10th European Conference on Social Media, ECSM 2023. Lupa-Wojcik, I. & Czyzewska, M. (eds.). Academic Conferences Ltd, Vol. 10. p. 163-173 11 p. (Proceedings of the 10th European Conference on Social Media, ECSM 2023).

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

    Open Access

  • Footprint Logic for Object-Oriented Components

    Boer, F. S. D., Gouw, S. D., Hiep, H.-D. A. & Bian, J., 2 Nov 2022, Formal Aspects of Component Software - 18th International Conference, FACS 2022, Virtual Event, November 10-11, 2022, Proceedings. Tarifa, S. L. T. & Proença, J. (eds.). 1 ed. cham: Springer, Vol. 13712. p. 141-160 20 p. (Lecture Notes in Computer Science).

    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

  • Formally verified lifting of C-compiled x86-64 binaries

    Verbeek, F., Bockenek, J., Fu, Z. & Ravindran, B., 9 Jun 2022, PLDI 2022: Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation. Jhala, R. & Dillig, I. (eds.). Association for Computing Machinery, p. 934-949 16 p.

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

    Open Access

  • Formal Specification and Verification of JDK's Identity Hash Map Implementation

    Boer, M. D., Gouw, S. D., Klamroth, J., Jung, C., Ulbrich, M. & Weigl, A., 1 Jun 2022, Integrated Formal Methods - 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings. Beek, M. H. T. & Monahan, R. (eds.). Cham: Springer, Vol. 13274. p. 45-62 18 p. (Lecture Notes in Computer Science).

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

  • 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

  • FROM RATIONALISM TO EMPIRICISM IN EDUCATION OF SOFTWARE TESTING USING GAMIFICATION

    Doorn, N., Vos, T. E. J. & Marín, B., Mar 2024, INTED2024 Proceedings: 18th International Technology, Education and Development Conference. Gómez Chova, L., González Martínez, C. & Lees, J. (eds.). IATED Academy, p. 3586-3595 10 p.

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

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

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

    Tummers, S. C. M. W., Hommersom, A., Lechner, L., Bolman, C. & Bemelmans, R., 20 May 2021, Artificial Intelligence and Machine Learning: 32nd Benelux Conference, BNAIC/Benelearn 2020, Leiden, The Netherlands, November 19–20, 2020, Revised Selected Papers. Baratchi, M., Cao, L., Kosters, W. A., Lijffijt, J., van Rijn, J. N. & Takes, F. W. (eds.). Springer Science and Business Media Deutschland GmbH, p. 172-187 16 p. (Communications in Computer and Information Science, Vol. 1398 CCIS).

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

    Open Access

  • 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

  • Generating hints and feedback for Hilbert-style axiomatic proofs

    Lodder, J., Heeren, B. & Jeuring, J., 2017, Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science Education: Seattle, Washington, USA — March 08 - 11, 2017. New York: ACM Digital Library, p. 387-392 6 p.

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

  • GIPPY: Game for Introductory Programming Practice in Python

    Lapeña, A., Marin, B. & Vos, T., Mar 2022, INTED2022: 16th International Technology, Education and Development Conference Proceedings. Luis Gómez Chova, Agustín López Martínez & Ignacio Candel Torres (eds.). Valencia, Spain: IATED, p. 5598-5606 (INTED Proceedings).

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

  • GLICE: Combining Graph Neural Networks and Program Slicing to Improve Software Vulnerability Detection

    Kraker, W. D., Vranken, H. & Hommmersom, A., 2023, 8th IEEE European Symposium on Security and Privacy Workshops. Institute of Electrical and Electronics Engineers Inc., p. 34-41 8 p.

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

  • GLUE: Generalizing Unbounded Attribute-Based Encryption for Flexible Efficiency Trade-Offs

    Venema, M. & Alpár, G., 2 May 2023, Public-Key Cryptography – PKC 2023. Boldyreva, A. & Kolesnikov, V. (eds.). Cham: Springer Nature Switzerland AG, Vol. 13940. p. 652-682 31 p. (Lecture Notes in Computer Science (LNCS), Vol. 13940).

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

  • Gradient-Descent for Randomized Controllers Under Partial Observability

    Heck, L., Spel, J., Junges, S., Moerman, J. & Katoen, J.-P., 2022, Verification, model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022 Philadelphia, PA, USA, January 16–18, 2022 Proceedings. Finkbeiner, B. & Wies, T. (eds.). 1 ed. Springer, p. 127-150 24 p. (Lecture Notes in Computer Science, Vol. 13182). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 13182).

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

  • Grammar-Based Action Selection Rules for Scriptless Testing

    Hufkens, L. V., Pastor Ricos, F., Marin, B. & Vos, T. E. J., 10 Jun 2024, AST '24: Proceedings of the 5th ACM/IEEE International Conference on Automation of Software Test (AST 2024). Association for Computing Machinery, Inc, p. 56-65 10 p.

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

    Open Access

  • Group Responsibility for Exceeding Risk Threshold

    Gladyshev, M., Alechina, N., Dastani, M. & Doder, D., 2023, Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023, Rhodes, Greece, September 2-8, 2023. Marquis, P., Son, T. C. & Kern-Isberner, G. (eds.). p. 322–332

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

    Open Access

  • 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

  • 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

  • Holistic STEAM Education through Computational Thinking: A Perspective on Training Future Teachers

    Pears, A., Barendsen, E., Dagien, V., Dolgopolovas, V. & Jasute, E., 11 Nov 2019, Informatics in Schools. New Ideas in School Informatics: 12th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2019, Larnaca, Cyprus, November 18–20, 2019, Proceedings. Pozdniakov, S. N. & Dagienė, V. (eds.). Cham: Springer Nature Switzerland AG, p. 41-52 12 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 11913).

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

  • How do Students Test Software Units?

    Bijlsma, A., Doorn, N., Passier, H. J. M., 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

    Open Access
    File
    303 Downloads (Pure)

  • How gullible are web measurement tools? a case study analysing and strengthening OpenWPM's reliability

    Krumnow, B., Jonker, H. L. & Karsch, S., 30 Nov 2022, CoNEXT '22: Proceedings of the 18th International Conference on emerging Networking EXperiments and Technologies. Giuseppe Bianchi & Alessandro Mei (eds.). New York: Association for Computing Machinery (ACM), p. 171-186 16 p.

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

  • How is programming taught in code clubs? Exploring the experiences and gender perceptions of code club teachers

    Aivaloglou, E. & Hermans, F., 21 Nov 2019, Proceedings - 19th Koli Calling Conference on Computing Education Research, Koli Calling 2019: Proceedings of the 19th Koli Calling International Conference on Computing Education Research, Koli, Finland, November, 201t9. New York: Association for Computing Machinery (ACM), p. 1-10 10 p. a22

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

  • How teachers would help students to improve their code

    Keuning, H. W., Heeren, B. J. & Jeuring, J. T., 2 Jul 2019, ITiCSE 2019 - Proceedings of the 2019 ACM Conference on Innovation and Technology in Computer Science Education: Proceedings of the 2019 ACM Conference on Innovation and Technology in Computer Science Education. New York: Association for Computing Machinery (ACM), p. 119-125 7 p.

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

    Open Access
    File
    334 Downloads (Pure)

  • Human-in-the-Loop Simulation of Cloud Services

    Bezirgiannis, N., Boer, F. S. D. & Gouw, S. D., 2017, Service-Oriented and Cloud Computing: 6th IFIP WG 2.14 European Conference, ESOCC 2017, Oslo, Norway, September 27-29, 2017, Proceedings. De Paoli, F., Schulte, S. & Broch Johnsen, E. (eds.). Springer, p. 143-158 16 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

  • 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

  • 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

  • Identifying students’ misconceptions on basic algorithmic concepts through flowchart analysis

    Rahimi, E., Barendsen, E. & Henze, I., 2017, Informatics in Schools: Focus on Learning Programming: 10th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2017, Helsinki, Finland, November 13-15, 2017, Proceedings. Dagienė, V. & Hellas, A. (eds.). Cham: Springer International Publishing AG, p. 155-168 (Lecture Notes in Computer Science, Vol. 10696). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 10696).

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

  • "I know it when I see it" Perceptions of Code Quality: ITiCSE '17 Working Group Report

    Börstler, J., Störrle, H., Toll, D., van Assema, J., Duran, R., Hooshangi, S., Jeuring, J. T., Keuning, H., Kleiner, C. & MacKellar, B., 30 Jan 2018, ITiCSE-WGR 2017 - Proceedings of the 2017 ITiCSE Conference on Working Group Reports: Proceedings of the 2017 ITiCSE Conference on Working Group Reports. New York, NY: Association for Computing Machinery (ACM), p. 70-85 16 p.

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

    Open Access

  • IMPRESS: Improving Engagement in Software Engineering Courses Through Gamification

    Vos, T. E. J., Prasetya, I. S. W. B., Fraser, G., Martínez-Ortiz, I., Pérez-Colado, I. J., Prada, R., Rocha, J. B. & Silva, A. R., 18 Nov 2019, Product-Focused Software Process Improvement: 20th International Conference, PROFES 2019, Barcelona, Spain, November 27–29, 2019, Proceedings. Xavier Franch, Tomi Männistö & Silverio Martínez-Fernández (eds.). 1 ed. Cham: Springer, Vol. 11915. p. 613-619 7 p. (Lecture Notes in Computer Science, Vol. 11915).

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

  • Improving wiki quality by applying web of trust

    Vranken, H., 2009, Proceedings of the 5th IASTED European Conference on Internet and Multimedia Systems and Applications, EuroIMSA 2009. p. 121-127

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

  • Influence diagrams in cyber security: Conceptualization and potential applications

    Chockalingam, S. & Maathuis, C., 19 Jun 2023, Proceedings of the 22nd European Conference on Cyber Warfare and Security. Andreatos, A. & Douligeris, C. (eds.). 1 ed. Academic Conferences International Limited, Vol. 22. p. 124-131 8 p.

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

    Open Access

  • Instructional Design for Java Enterprise Component Technology

    Marcellis, M., Roubtsova, E. E. & Hoogveld, B., 2009, ICEIS 2009 - Proceedings of the 11th International Conference on Enterprise Information Systems, Volume ISAS. António Moinhos Cordeiro , J. & Filipe, J. (eds.). 2009 ed. Setúbal: INSTICC Press, p. 420-422 3 p.

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

    Open Access
    File
    81 Downloads (Pure)

  • Integrated Test Development: An integrated and incremental approach to write software of high quality

    Bijlsma, A., Passier, H. J. M., Pootjes, H. J. & Stuurman, S., 10 Oct 2018, Proceedings of the 7th Computer Science Education Research Conference (CSERC). Pieterse, V., Papadopoulos, G., Stikkolorum, D. & Passier, H. (eds.). New York: acm, p. 9-20 12 p.

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

    Open Access
    File
    137 Downloads (Pure)

  • 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

  • Intention Progression with Maintenance Goals

    Wu, D., Yao, Y., Alechina, N., Logan, B. & Thangarajah, J., 2023, Proceedings of the 22nd International Conference on Autonomous Agents and Multiagent Systems. Vol. 2023-May. p. 2400-2402 3 p.

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

  • Intention Progression with Temporally Extended Goals

    Yao, Y., Alechina, N. & Logan, B., 9 Aug 2024, Proceedings of the 33rd International Joint Conference on Artificial Intelligence: Main Track. Larson, K. (ed.). p. 292-301 10 p.

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

  • Investigating informatics teachers’ initial pedagogical content knowledge on modeling and simulation

    Grgurina, N., Barendsen, E., Suhre, C., van Veen, K. & Zwaneveld, B., 2017, Informatics in Schools: Focus on Learning Programming: 10th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2017, Helsinki, Finland, November 13-15, 2017, Proceedings. Dagiene, V. & Hellas, A. (eds.). Cham: Springer International Publishing AG, p. 65 76 p. (Lecture Notes in Computer Science, Vol. 10696). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 10696).

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

  • Investigating the Pedagogical Content Knowledge of Teachers Attending a MOOC on Scratch Programming

    Rahimi, E., Henze, I., Hermans, F. & Barendsen, E., 2018, Informatics in Schools: Fundamentals of Computer Science and Software Engineering. Pozdniakov, S. N. & Dagienė, V. (eds.). Cham: Springer, Vol. 11169. p. 180-193 14 p. (Lecture Notes in Computer Science).

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

  • 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

  • Knowledge Compilation for KLM-Style Defeasible Reasoning

    Slater, L., Meyer, T. & Heyninck, J., 2025, Artificial Intelligence Research - 5th Southern African Conference, SACAIR 2024, Proceedings. Gerber, A., Maritz, J. & Pillay, A. W. (eds.). Springer Science and Business Media Deutschland GmbH, Vol. 2326. p. 493-508 16 p. (Communications in Computer and Information Science, Vol. 2326 CCIS).

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

  • KPIs and Their Properties Defined with the EXTREME Method

    Roubtsova, E. E. & Michell, V., 2013, International Symposium on Business Modeling and Software Design: BMSD 2013: Business Modeling and Software Design . Shishkov, B. (ed.). Cham: Springer, Vol. 173. p. 128-149 22 p. (Lecture Notes in Business Information Processing, Vol. 173).

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