Filter
Conference Article in proceeding

Search results

  • 2023

    A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests

    Schmid, T., Kappé, T. & Silva, A., 17 Apr 2023, Programming Languages and Systems: 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings. Wies, T. (ed.). Springer, p. 309-336 28 p. (Lecture Notes in Computer Science (LNCS), Vol. 13990).

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

    Open Access
  • Analyzing the Role of Ukrainian and Russian Diaspora in Disinformation Campaigns

    Maathuis, C., de Ridder, C. & Stuurman, S., 5 May 2023, Proceedings of the 10th European Conference on Social Media. Dr Iwona Lupa-Wójcik & Dr Marta Czyżewska (eds.). Academic Conferences International Limited, Vol. 10. p. 153-162 10 p.

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

    Open Access
  • 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

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

    Kappé, T. W. J., 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
  • Enterprise Modeling with Conventions

    Joosten, S. M. M. & Roubtsova, E. E., 4 Jul 2023, Business Modeling and Software Design: 13th International Symposium, BMSD 2023, Utrecht, The Netherlands, July 3–5, 2023, Proceedings. Boris Shishkov (ed.). 1 ed. Cham: Springer, p. 56-73 18 p. (Lecture Notes in Business Information Processing).

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

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

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

  • Modelling Responsible Digital Security Behaviour for Countering Social Media Manipulation

    Maathuis, C. & Chockalingam, S., 2023, Proceedings of the 10th European Conference on Social Media: ECSM 2023. Dr Iwona Lupa-Wójcik & Dr Marta Czyżewska (eds.). Academic Conferences Ltd, p. 144-152 9 p. (Proceedings of the European Conference on Social Media, ECSM).

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

    Open Access
  • Multiparty Session Typing in Java, Deductively

    Bouma, J., de Gouw, S. & Jongmans, S. S., Apr 2023, Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings. Sankaranarayanan, S. & Sharygina, N. (eds.). Cham: Springer Science and Business Media Deutschland GmbH, p. 19-27 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13994 LNCS).

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

    Open Access
  • Set the right example when teaching programming: Test Informed Learning with Examples (TILE)

    Doorn, N., Vos, T., Marin, B. & Barendsen, E., May 2023, Proceedings - 2023 IEEE 16th International Conference on Software Testing, Verification and Validation, ICST 2023. Institute of Electrical and Electronics Engineers Inc., p. 269-280 12 p. (IEEE International Conference on Software Testing, Verification and Validation (ICST): Proceedings).

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

  • 2022

    An agent-based approach to automated game testing: an experience report

    Prasetya, I. S. W. B., Ricós, F. P., Kifetew, F. M., Prandi, D., Shirzadehhajimahmood, S., Vos, T. E. J., Paska, P., Hovorka, K., Ferdous, R., Susi, A. & Davidson, J., 9 Nov 2022, A-TEST 2022: Proceedings of the 13th International Workshop on Automating Test Case Design, Selection and Evaluation. Akos Kiss, Beatriz Marin & Mehrdad Saadatmand (eds.). ACM Digital Library, p. 1-8 8 p.

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

  • API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3

    Cledou, G., Edixhoven, L., Jongmans, S-S. & Proença, J., Jun 2022, 36th European Conference on Object-Oriented Programming: ECOOP 2022. K. A. & J. V. (eds.). Schloss Dagstuhl - LZI GmbH, Vol. 222. p. 27:1-27:28 28 p. 27. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 222).

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

  • 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

  • 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

  • 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
  • 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
    36 Downloads (Pure)
  • Elysium: Context-Aware Bytecode-Level Patching to Automatically Heal Vulnerable Smart Contracts

    Ferreira Torres, C., Jonker, H. L. & State, R., 26 Oct 2022, RAID '22: Proceedings of the 25th International Symposium on Research in Attacks, Intrusions and Defenses. Association for Computing Machinery (ACM), p. 115-128 14 p.

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

    Open Access
  • Evolutionary Scriptless Testing

    Hufkens, L. V., 14 May 2022, Research Challenges in Information Science. Guizzardi, R., Ralyté, J. & Franch, X. (eds.). 1 ed. Cham: Springer International Publishing, Vol. 446. p. 779-785 7 p. (Lecture Notes in Business Information Processing, Vol. 446).

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

  • Explaining Argument Acceptance in ADFs

    Rienstra, T., Heyninck, J. L. A., Kern-Isberner, G., Skiba, K. & Thimm, M., 2022, 1st International Workshop on Argumentation for eXplainable AI (ArgXAI, co-located with COMMA ’22). Kristijonas Čyras, Timotheus Kampik, Oana Cocarascu & Antonio Rago (eds.). CEUR-WS.org, Vol. 3209. 12 p. (CEUR Workshop Proceedings, Vol. 3209).

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

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

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

  • Lexicographic Entailment, Syntax Splitting and the Drowning Problem

    Heyninck, J. L. A., Kern-Isberner, G. & Meyer, T., 23 Jul 2022, Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence. Luc De Raedt (ed.). International Joint Conferences on Artificial Intelligence, p. 2662-2668 7 p.

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

    Open Access
  • Realisability of Branching Pomsets

    Edixhoven, L. & Jongmans, S-S., 2 Nov 2022, Formal Aspects of Component Software: 18th International Conference, FACS 2022, Virtual Event, November 10–11, 2022, Proceedings. S. L. T. T. & J. P. (eds.). Cham: Springer, Cham, Vol. 13712. p. 185-204 20 p. (Lecture Notes in Computer Science, Vol. 13712).

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

  • Realisability of Ranking-based Semantics

    Skiba, K., Thimm, M., Rienstra, T., Heyninck, J. L. A. & Kern-Isberner, G., Oct 2022, SAFA’22: Fourth International Workshop on Systems and Algorithms for Formal Argumentation 2022. S. A. G., J-G. M., M. T. & Johannes P. Wallner (eds.). CEUR-WS.org, Vol. 3236. p. 73-85 13 p.

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

    Open Access
  • Relevance in the Computation of Non-monotonic Inferences

    Heyninck, J. L. A. & Meyer, T., 2022, Artificial Intelligence Research - Third Southern African Conference, SACAIR 2022, Proceedings. Anban Pillay, Edgar Jembere & Aurona Gerber (eds.). 1 ed. Cham: Springer, Cham, Vol. 1734. p. 202-214 13 p. (Communications in Computer and Information Science (CCIS), Vol. 1734).

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

  • ST4MP: A Blueprint of Multiparty Session Typing for Multilingual Programming

    Jongmans, S-S. & Proença, J., 17 Oct 2022, Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I. Margaria, T. & Steffen, B. (eds.). 1 ed. Cham: Springer, Cham, p. 460-478 19 p. (Lecture Notes in Computer Science, Vol. 13701).

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

  • State Model Inference Through the GUI Using Run-Time Test Generation

    Mulders, A., Valdes, O. R., Ricós, F. P., Aho, P., Marín, B. & Vos, T. E. J., 13 May 2022, Research Challenges in Information Science: 16th International Conference, RCIS 2022, Barcelona, Spain, May 17–20, 2022, Proceedings. Guizzardi, R., Ralyté, J. & Franch, X. (eds.). 1 ed. Cham: Springer, p. 546-563 18 p. (Lecture Notes in Business Information Processing, Vol. 446).

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

  • TinyABE: Unrestricted Ciphertext-Policy Attribute-Based Encryption for Embedded Devices and Low-Quality Networks

    Venema, M. & Alpár, G., 6 Oct 2022, Progress in Cryptology - AFRICACRYPT 2022. Batina, L. & Daemen, J. (eds.). 1 ed. Cham: Springer, Cham, Vol. 13503. p. 103-129 27 p. (Lecture Notes in Computer Science, Vol. 13503).

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

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