Search results

  • Conference Article in proceeding

    Benchmarks for Parity Games

    Keiren, J. J. A., 2015, Fundamentals of Software Engineering: 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers. Dastani, M. & Sirjani, M. (eds.). Cham: Springer International Publishing AG, p. 127-142 16 p. (Lecture Notes in Computer Science, Vol. 9392).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • BIRD: A Binary Intermediate Representation for Formally Verified Decompilation of X86-64 Binaries

    Engel, D., Verbeek, F. & Ravindran, B., Jul 2023, Tests and Proofs: 17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings. Prevosto, V. & Seceleanu, C. (eds.). 1 ed. Springer, Cham, p. 3-20 18 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 14066).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Branching bisimulation games

    Escrig, D. D. F., Keiren, J. J. A. & Willemse, T. A. C., 2016, Formal Techniques for Distributed Objects, Components, and Systems: 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings. Albert, E. & Lanese, I. (eds.). Cham: Springer, p. 142-157 16 p. (Lecture Notes in Computer Science, Vol. 9688).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Branching Pomsets for Choreographies

    Edixhoven, L., Jongmans, S.-S., Proença, J. & Cledou, G., 9 Aug 2022, Proceedings 15th Interaction and Concurrency Experience: ICE'22., C. A., , C. D. G. & , L. S. A. A. S. (eds.). Electronic Proceedings in Theoretical Computer Science (EPTCS), Vol. 365. p. 37-52 16 p. (Electronic proceedings in theoretical computer science, Vol. 356).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • 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 proceedingConference Article in proceedingAcademicpeer-review

    Open Access
    File
    132 Downloads (Pure)
  • Can Math Be a Bottleneck? Exploring the Mathematics Perceptions of Computer Science Students

    Alpár, G., Yeni, S., Aivaloglou, E. & Hermans, F., 11 May 2022, Proceedings of the IEEE Global Engineering Education Conference (EDUCON 2022). Kallel, I., Kammoun, H. & Hsairi, L. (eds.). IEEE, p. 217-225 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Caos: A Reusable Scala Web Animator of Operational Semantics

    Proença, J. & Edixhoven, L., Jun 2023, Coordination Models and Languages - 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Proceedings. Jongmans, S.-S. & Lopes, A. (eds.). Cham: Springer, Vol. 13908. p. 163-171 9 p. (Lecture Notes in Computer Science, Vol. 13908).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • 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 proceedingConference Article in proceedingAcademicpeer-review

    Open Access
    File
    147 Downloads (Pure)
  • Challenges in Automated Testing through Graphical User Interface

    Aho, P. K. & Vos, T., 9 Apr 2018, 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). IEEE, 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademic

  • 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 proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • CLIPCAM: A Simple Baseline For Zero-Shot Text-Guided Object And Action Localization

    Hsia, H.-A., Lin, C.-H., Kung, B.-H., Chen, J.-T., Tan, D. S., Chen, J.-C. & Hua, K.-L., May 2022, 2022 IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2022 - Proceedings. IEEE, p. 4453-4457 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • CoBRA: Low cost compensation of TSV failures in 3D-NoC

    Salamat, R., Ebrahimi, M., Bagherzadeh, N. & Verbeek, F., 2016, 2016 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT): September 19-20, 2016 . Danvers, MA: IEEE, p. 115-120 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Code Phonology: An Exploration into the Vocalization of Code

    Hermans, F., Swidan, A. & Aivaloglou, E., 28 May 2018, Proceedings - 2018 ACM/IEEE 26th International Conference on Program Comprehension, ICPC 2018. acm, p. 308-311 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Code quality issues in student programs

    Keuning, H., Heeren, B. & Jeuring, J., 2017, Proceedings of the 22nd Annual Conference on Innovation and Technology in Computer Science Education: ITiCSE 2017, Bologna, Italy — July 03 - 05, 2017. New York: ACM Digital Library, p. 110-115 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Collective Attacks in Assumption-Based Argumentation

    Arieli, O. & Heyninck, J., 8 Apr 2024, 39th Annual ACM Symposium on Applied Computing, SAC 2024. Association for Computing Machinery, p. 746-753 8 p. (Proceedings of the ACM Symposium on Applied Computing).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Comparing Neural Networks for Speech Emotion Recognition in Customer Service Interactions

    Henkel, A. P., Bromuri, S. & Waelbers, B. M. L., 30 Sept 2022, 2022 International Joint Conference on Neural Networks ( IJCNN). IEEE, p. 1-8 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Completeness and the Finite Model Property for Kleene Algebra, Reconsidered

    Kappé, T., 2023, Relational and Algebraic Methods in Computer Science. Glück, R., Santocanale, L. & Winter, M. (eds.). Springer, p. 158-175 18 p. (Lecture Notes in Computer Science book series, Vol. 13896).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Composing Constraint Automata, State-by-State

    Jongmans, S.-S., Kappé, T. & Arbab, F., 2016, Formal Aspects of Component Software: 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers. Braga, C. & Ölveczky, P. C. (eds.). Cham: Springer International Publishing, p. 217-236 20 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 9539). (Programming and Software Engineering LNPSE, Vol. 9539).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • 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 proceedingConference Article in proceedingAcademicpeer-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 proceedingConference Article in proceedingAcademicpeer-review

    Open Access
    File
    252 Downloads (Pure)
  • Computational thinking skills in dutch secondary education: exploring pedagogical content knowledge

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

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Concepts in K-9 Computer Science Education

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

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Conditional Independence for Iterated Belief Revision

    Kern-Isberner, G., Heyninck, J. L. A. & Beierle, C., 23 Jul 2022, Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence (IJCAI-22)., L. D. R. (ed.). International Joint Conferences on Artificial Intelligence, p. 2690-2696 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Conditional Syntax Splitting, Lexicographic Entailment and the Drowning Effect

    Heyninck, J., Kern-Isberner, G. & Meyer, T., 22 Aug 2022, Proceedings of the 20th International Workshop on Non-Monotonic Reasoning Part of the Federated Logic Conference (FLoC 2022). Arieli, O., Casini, G. & Giordana, L. (eds.). CEUR-WS, Vol. 3197. p. 61-69 9 p. (CEUR Workshop Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Conditional Syntax Splitting for Non-monotonic Inference Operators

    Heyninck, J., Kern-Isberner, G., Meyer, T., Haldimann, J. P. & Beierle, C., 27 Jun 2023, Proceedings of the 37th AAAI Conference on Artificial Intelligence. Williams, B., Chen, Y. & Neville, J. (eds.). 5 ed. AAAI Press, Vol. 37. p. 6416-6424 9 p. (AAAI Conference on Artificial Intelligence. Conference Proceedings , Vol. 37).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Constraint Formalization for Automated Assessment of Enterprise Models

    Joosten, S. M. M., Roubtsova, E. E. & Haddouchi, E. M., 25 Apr 2022, Proceedings of the 24th International Conference on Enterprise Information Systems . Filipe, J., Smialek, M., Brodsky, A. & Hammoudi, S. (eds.). SCITEPRESS-Science and Technology Publications, Lda., Vol. 2. p. 430-441 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
    File
    60 Downloads (Pure)
  • Context-based teaching and learning of fundamental computer science concepts: exploring teachers' ideas

    Nijenhuis-Voogt, J., Meijer, P. C. & Barendsen, E., 4 Oct 2018, Proceedings of the 13th Workshop on Primary and Secondary Computing Education. Mühling, A. & Cutts, Q. (eds.). New York, NY: Association for Computing Machinery (ACM), 4 p. 15

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • 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 proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Data-Driven Revision of Conditional Norms in Multi-Agent Systems (Extended Abstract)

    Dell'Anna, D., Alechina, N., Dalpiaz, F., Dastani, M. & Logan, B., 2023, Proceedings of the 32nd International Joint Conference on Artificial Intelligence, IJCAI 2023. Elkind, E. (ed.). Darmstadt: International Joint Conferences on Artificial Intelligence, p. 6868-6872

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-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 proceedingConference Article in proceedingAcademicpeer-review

    Open Access
    File
    167 Downloads (Pure)
  • Defining and observing modeling and simulation in informatics

    Grgurina, N., Barendsen, E., Zwaneveld, G., van Veen, K. & Suhre, C., 2016, Informatics in Schools: Improvement of Informatics Knowledge and Perception: 9th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2016, Münster, Germany, October 13-15, 2016, Proceedings. Brodnik, A. & Tort, F. (eds.). Cham: Springer International Publishing AG, p. 130-141 12 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 9973). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 9973).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Denial-of-Service Attacks on LoRaWAN

    van Es, E., Vranken, H. & Hommersom, A., 27 Aug 2018, ARES 2018 - 13th International Conference on Availability, Reliability and Security. New York, NY, USA: acm, 17

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
    File
    407 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 proceedingConference Article in proceedingAcademicpeer-review

  • Designing a Blended Course in Android App Development using 4C/ID

    Marcellis, M., Barendsen, E. & Van Merriënboer, J. J. G., 22 Nov 2018, Koli Calling '18: Proceedings of the 18th Koli Calling International Conference on Computing Education Research. New York, NY: acm, a19

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Designing and comparing two Scratch-based teaching approaches for students aged 10-12 years

    van Es, N. & Jeuring, J., 2017, Koli Calling '17: Proceedings of the 17th Koli Calling International Conference on Computing Education Research. New York: ACM Digital Library, p. 178-182 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Designing a rubric for feedback on code quality in programming courses

    Stegeman, M., Barendsen, E. & Smetsers, S., Nov 2016, Koli Calling '16: Proceedings of the 16th Koli Calling International Conference on Computing Education Research. New York, NY: Association for Computing Machinery (ACM), p. 160-164 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Design lessons from building deep learning disinformation generation and detection solutions

    Maathuis, C., Kerkhof, I., Godschalk, R. & Passier, H., 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. 285-293 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Design principles for generating and presenting automated formative feedback on code quality using software metrics

    van den Aker, E. & Rahimi, E., 14 Apr 2024, Proceedings - 2024 ACM/IEEE 46th International Conference on Software Engineering: Software Engineering Education and Training, ICSE-SEET 2024. IEEE Computer Society Press, p. 139-150 12 p. (Proceedings - International Conference on Software Engineering).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Detecting Design Patterns As Described By An Explicit Specification

    van Doorn, E. & Stuurman, S., 2023, SEKE 2023: Proceedings of the 35th International Conference on Software Engineering and Knowledge Engineering. KSI Research Inc., p. 218-221 4 p. (Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Detecting energy bugs and hotspots in control software using model checking

    Gastel, P. V., Gastel, B. V. & Eekelen, M. C. J. D. V., 9 Apr 2018, Programming 2018 Companion - Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming. Sartor, J. B. & Marr, S. (eds.). New York, NY: acm, p. 93-98 6 p. (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Determining Optimal Incentive Policy for Decentralized Distributed Systems Using Reinforcement Learning

    Pankovska, E., Sai, A. R. & Vranken, H., 2023, 2023 IEEE International Conference on Blockchain and Cryptocurrency, ICBC 2023. Institute of Electrical and Electronics Engineers Inc., 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-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 proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Discovering Software Vulnerabilities Using Data-flow Analysis and Machine Learning

    Kronjee, J., Hommersom, A. & Vranken, H., 27 Aug 2018, ARES 2018 - 13th International Conference on Availability, Reliability and Security. New York, NY, USA: acm, 10 p. 6

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
    File
    677 Downloads (Pure)
  • 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 proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • 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 proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Domain TILEs: Test Informed Learning with Examples from the Testing Domain

    Doorn, N., Vos, T., Marín, B., Bockisch, C., Dick, S. & Barendsen, E., May 2023, Research Challenges in Information Science: Information Science and the Connected World - 17th International Conference, RCIS 2023, Proceedings. Nurcan, S., Opdahl, A. L., Mouratidis, H. & Tsohou, A. (eds.). 1 ed. Springer, Cham, p. 501-508 8 p. (Lecture Notes in Business Information Processing, Vol. 476 LNBIP).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Dynamic Causality

    Gladyshev, M., Alechina, N., Dastani, M., Doder, D. & Logan, B., 28 Sept 2023, ECAI 2023 - 26th European Conference on Artificial Intelligence, including 12th Conference on Prestigious Applications of Intelligent Systems, PAIS 2023 - Proceedings. Gal, K., Gal, K., Nowe, A., Nalepa, G. J., Fairstein, R. & Radulescu, R. (eds.). p. 867-874 (Frontiers in Artificial Intelligence and Applications, Vol. 372).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Dynamics of Causal Dependencies in Multi-agent Settings

    Gladyshev, M., Alechina, N., Dastani, M. & Doder, D., 2023, Engineering Multi-Agent Systems - 11th International Workshop, EMAS 2023, Revised Selected Papers. Ciortea, A., Dastani, M. & Luo, J. (eds.). Springer Science and Business Media Deutschland GmbH, p. 95-112 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14378 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Dynamic TopHat: Start and Stop Tasks at Runtime

    Steenvoorden, T. & Naus, N., 29 Aug 2023, IFL '23: Proceedings of the 35th Symposium on Implementation and Application of Functional Languages. Ney York, NY: Association for Computing Machinery (ACM), p. 1-13 13 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-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 proceedingConference Article in proceedingAcademicpeer-review

    File
    718 Downloads (Pure)