Search results

  • Conference Article in proceeding

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

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

    Open Access
    File
    110 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 proceedingConference Article in proceedingAcademicpeer-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 proceedingConference Article in proceedingAcademicpeer-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 proceedingConference Article in proceedingAcademicpeer-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 proceedingConference Article in proceedingAcademicpeer-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 proceedingConference Article in proceedingAcademic

  • Layout and Context Understanding for Image Synthesis with Scene Graphs

    Talavera, A., Tan, D. S., Azcarraga, A. & Hua, K.-L., Sept 2019, 2019 IEEE International Conference on Image Processing: Proceedings. IEEE, p. 1905-1909 5 p. TA.PA.7

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

  • Learning Complex Uncertain States Changes via Asymmetric Hidden Markov Models: an Industrial Case

    Bueno, M. L. P., Hommersom, A., Lucas, P. J. F., Verwer, S. & Linard, A., 2016, Proceedings of the Eighth International Conference on Probabilistic Graphical Models: Volume 52 of the JMLR Workshop and Conference Proceedings: PGM 2016, Lugano, 6–9 September 2016. Antonucci, A., Corani, G. & Campos, C. P. (eds.). PMLR, Vol. 52. p. 50-61 12 p.

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

    Open Access
  • Learning Parameters of Hybrid Time Bayesian Networks

    Liu, M., Hommersom, A., Heijden, M. V. D. & Lucas, P. J. F., 2016, Proceedings of the Eighth International Conference on Probabilistic Graphical Models: Volume 52 of the JMLR Workshop and Conference Proceedings: PGM 2016, Lugano, 6–9 September 201. Antonucci, A., Corani, G. & de Campos, C. P. (eds.). PMLR, Vol. 52. p. 287-298 12 p.

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

    Open Access
  • 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
  • Location-Private Interstellar Communication

    Jonker, H. L., Mauw, S. & Radomirović, S., 2015, Security Protocols XXIII: 23rd International Workshop, Cambridge, UK, March 31 - April 2, 2015, Revised Selected Papers. Christianson, B., Švenda, P., Matyáš, V., Malcolm, J., Stajano, F. & Anderson, J. (eds.). Cham: Springer International Publishing, p. 105-115 11 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 9379). (Security and Cryptology (LNCS subseries), Vol. 9379).

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

  • Low-Level Reachability Analysis Based on Formal Logic

    Naus, N., Verbeek, F., Schoolderman, M. & 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. 21-39 19 p. (Lecture Notes in Computer Science, Vol. 14066).

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

  • Maintaining Unit Tests During Refactoring

    Passier, H. J. M., Bijlsma, A. & Bockisch, C. M., 2016, PPPJ '16: Proceedings of the 13th International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools. New York, NY: Association for Computing Machinery (ACM), p. 1-6 6 p. 18

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

  • Making Continuous Time Bayesian Networks More Flexible

    Liu, M., Stella, F., Hommersom, A. & Lucas, P. J. F., 1 Nov 2018, Proceedings of the Ninth International Conference on Probabilistic Graphical Models. Kratochvíl, V. & Studený, M. (eds.). Prague, Czech Republic: PMLR, Vol. 72. p. 237-248 12 p. (Proceedings of Machine Learning Research).

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

    Open Access
  • Man-in-the-middle attacks evolved... but our security models didn’t

    Jonker, H., Mauw, S. & Trujillo-Rasua, R., 2017, Security Protocols XXIV: 24th International Workshop, Brno, Czech Republic, April 7-8, 2016, Revised Selected Papers. Anderson, J., Matyáš, V., Christianson, B. & Stajano, F. (eds.). Cham: Springer Nature Switzerland AG, p. 19-25 7 p. (Lecture Notes in Computer Science; No. 10368).

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

  • Man-in-the-Middle Attacks Evolved...but Our Security Models Didn’t (Transcript of Discussion)

    Jonker, H. L., 2017, Security Protocols XXIV: 24th International Workshop, Brno, Czech Republic, April 7-8, 2016, Revised Selected Papers. Anderson, J., Matyáš, V., Christianson, B. & Stajano, F. (eds.). Cham: Springer International Publishing AG, p. 26-34 9 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 10368).

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

  • Method to Align Business Capability Maps and Enterprise Data Models

    Severin, S., Roubtsova, E. E., Roelens, B. F. C. & Joosten, S. M. M., 6 Dec 2024, Business Modeling and Software Design: 14th International Symposium, BMSD 2024, Luxembourg City, Luxembourg, July 1–3, 2024, Proceedings. Shishkov, B. (ed.). Springer Nature Switzerland AG, p. 48-64 17 p. (Lecture Notes in Business Information Processing, Vol. 523).

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

  • Mining Hierarchical Pathology Data Using Inductive Logic Programming

    Op De Beéck, T., Hommersom, A., Van Haaren, J., van der Heijden, M., Davis, J., Lucas, P. J. F., Overbeek, L. & Nagtegaal, I., 2015, Artificial Intelligence in Medicine: 15th Conference on Artificial Intelligence in Medicine, AIME 2015, Pavia, Italy, June 17-20, 2015. Proceedings. Holmes, J. H., Bellazzi, R., Sacchi, L. & Peek, N. (eds.). Cham: Springer International Publishing AG, p. 76-85 10 p.

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

  • MOBIUS: Smart Mobility Tracking with Smartphone Sensors

    Di Mitri, D., Asyraaf Mat Sanusi, K., Trebing, K. & Bromuri, S., 2021, Science and Technologies for Smart Cities - 6th EAI International Conference, SmartCity360°, Proceedings. Paiva, S., Lopes, S. I., Zitouni, R., Gupta, N., Lopes, S. F. & Yonezawa, T. (eds.). Springer Science and Business Media Deutschland GmbH, p. 462-475 14 p. (Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST, Vol. 372).

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

  • Model-based Probabilistic Diagnosis in Large Cyberphysical Systems

    Lucas, P. J. F., Dal, G. H., Hommersom, A. J. & Grievink, G., 27 Jun 2024, Proceedings of the European Conference of the PHM Society 2024. Do, P. & Ezhilarasu, C. (eds.). 1 ed. PHM Society, Vol. 8. p. 643-654 12 p.

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

  • Modeling the Dynamics of Multiple Disease Occurrence by Latent States

    Bueno, M. L. P., Hommersom, A., Lucas, P. J. F., Lobo, M. & Rodrigues, P. P., 2018, Scalable Uncertainty Management: 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings. Ciucci, D., Pasi, G. & Vantaggi, B. (eds.). Cham: Springer International Publishing AG, p. 93-107 15 p. (Lecture Notes in Computer Science; No. 11142).

    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
  • Model solutions and properties for diagnosing student programs in Ask-Elle

    Jeuring, J. T., van Binsbergen, L. T., Gerdes, A. & Heeren, B. J., Nov 2014, CSERC '14: Proceedings of the Computer Science Education Research Conference. Barendsen, E. & Dagienė, V. (eds.). New York, NY: Association for Computing Machinery (ACM), p. 31-40 10 p.

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

  • Modular Programming of Synchronization and Communication among Tasks in Parallel Programs

    van Veen, B. & Jongmans, S.-S., 3 Aug 2018, 2018 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW). IEEE, p. 425-435 11 p.

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

    Open Access
    File
    136 Downloads (Pure)
  • Multi-Agent Intention Recognition and Progression

    Dann, M., Yao, Y., Alechina, N., Logan, B., Meneguzzi, F. & Thangarajah, J., 2023, Proceedings of the 32nd International Joint Conference on Artificial Intelligence, IJCAI 2023. Elkind, E. (ed.). p. 91-99 9 p.

    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
  • Mutation Operators for UML Class Diagrams

    Granda, M. F., Condori Fernandez, N., Vos, T. E. J. & Pastor, O., 2016, Advanced Information Systems Engineering: 28th International Conference, CAiSE 2016, Ljubljana, Slovenia, June 13-17, 2016. Proceedings. Nurcan, S., Soffer, P., Bajec, M. & Eder, J. (eds.). Cham: Springer International Publishing AG, p. 325-341 17 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 9694). (Information Systems and Applications, incl. Internet/Web, and HCI (LNISA), Vol. 9694).

    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

  • Non-formal Techniques for Early Assessment of Design Ideas for Services

    van der Veer, G. C. & Vyas, D., 2014, Building Bridges: HCI, Visualization, and Non-formal Modeling: IFIP WG 13.7 Workshops on Human–Computer Interaction and Visualization: 7th HCIV@ECCE 2011, Rostock, Germany, August 23, 2011, and 8th HCIV@INTERACT 2011, Lisbon, Portugal, September 5, 2011, Revised Selected Papers. Ebert, A., van der Veer, G. C., Domik, G., Gershon, N. D. & Scheler, I. (eds.). Berlin: Springer, p. 135-149 15 p. (Lecture Notes in Computer Science (LNCS), Vol. 8345). (Information Systems and Applications, incl. Internet/Web, and HCI (LNISA), Vol. 8345).

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

    Open Access
  • Novelty-Driven Evolutionary Scriptless Testing

    Hufkens, L. V., Vos, T. E. J. & Marín, B., 2024, Research Challenges in Information Science - 18th International Conference, RCIS 2024, Proceedings. Araújo, J., de la Vara, J. L., Santos, M. Y. & Assar, S. (eds.). Springer Science and Business Media Deutschland GmbH, p. 100-108 9 p. (Lecture Notes in Business Information Processing, Vol. 514 LNBIP).

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

  • Observing Abstraction in Young Children Solving Algorithmic Tasks

    Faber, H., Koning, J. I., Wierdsma, M., Steenbeek, H. & Barendsen, 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. 95-106 12 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 11913).

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

  • Offline oracles for accessibility evaluation with the TESTAR tool

    de Gier, F., Kager, D., de Gouw, S. & Vos, T. E. J., May 2019, IEEE RCIS 2019 Proceedings: Towards a design science for information systems: The IEEE Thirteen International Conference on Research Challenges in Information Science, May 29-31, Brussels, Belgium. Kolp, M., Vanderdonckt, J., Snoeck, M. & Wautelet, Y. (eds.). IEEE Canada, p. 129-140 12 p.

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

  • On the Road to Designing Responsible AI Systems in Military Cyber Operations

    Maathuis, C., 8 Jun 2022, Proceedings of the 21st European Conference on Cyber Warfare and Security. Eze, T., Khan, N. & Onwubiko, C. (eds.). Academic Conferences International Limited, p. 170-177 8 p.

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

    Open Access
  • OpenJDK's Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case

    Gouw, S. D., Rot, J., Boer, F. S. D., Bubel, R. & Hähnle, R., 2015, Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I., D. K. & Păsăreanu, C. S. (eds.). Springer, p. 273-289 17 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

  • Oven: Safe and Live Communication Protocols in Scala, using Synthetic Behavioural Type Analysis

    Ferreira, F. & Jongmans, S. S., Jul 2023, ISSTA 2023: Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis. Just, R. & Fraser, G. (eds.). Association for Computing Machinery (ACM), p. 1511-1514 4 p. (ISSTA: International Symposium on Software Testing and Analysis. Conference Proceedings).

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

  • Pair-wise selective classification with dynamic sampling for shipment importer prediction

    Chen, X., Tan, D. S., Gupta, P. & Bromuri, S., 7 Sept 2023, ICMLC 2023: Proceedings of the 2023 15th International Conference on Machine Learning and Computing. Association for Computing Machinery, p. 152-157 6 p.

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

    Open Access
  • Perception or Pixels: Designing a Visual World from the User’s Point of View

    Rogier, E. S. M. H., van der Veer, G. C., Benvenuti, L. & Consiglio, T., 2014, Building Bridges: HCI, Visualization, and Non-formal Modeling: IFIP WG 13.7 Workshops on Human–Computer Interaction and Visualization: 7th HCIV@ECCE 2011, Rostock, Germany, August 23, 2011, and 8th HCIV@INTERACT 2011, Lisbon, Portugal, September 5, 2011, Revised Selected Papers. Ebert, A., van der Veer, G. C., Domik, G., Gershon, N. D. & Scheler, I. (eds.). Berlin: Springer, p. 95-123 29 p. (Lecture Notes in Computer Science (LNCS), Vol. 8345). (Information Systems and Applications, incl. Internet/Web, and HCI (LNISA), Vol. 8345).

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

    Open Access
  • Pixels Who Violate Our Privacy! Deep Learning for Identifying Images’ Key Pixels

    Veenker, C., Opdam, D. & Alishahi, M., 2024, Computer Security. ESORICS 2023 International Workshops - CPS4CIP, ADIoT, SecAssure, WASP, TAURIN, PriST-AI, and SECAI, 2023, Revised Selected Papers. Katsikas, S., Abie, H., Ranise, S., Verderame, L., Cambiaso, E., Ugarelli, R., Praça, I., Li, W., Meng, W., Furnell, S., Katt, B., Pirbhulal, S., Shukla, A., Ianni, M., Dalla Preda, M., Choo, K.-K. R., Pupo Correia, M., Abhishta, A., Sileno, G., Alishahi, M., Kalutarage, H. & Yanai, N. (eds.). Springer Science and Business Media Deutschland GmbH, p. 552-568 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14399 LNCS).

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

  • PrDK: Protocol Programming with Automata

    Jongmans, S.-S. & Arbab, F., 2016, Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings. Chechik, M. & Raskin, J.-F. (eds.). Berlin: Springer-Verlag Berlin Heidelberg, p. 547-552 6 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 9636). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 9636).

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

    Open Access
  • Presence Patterns and Privacy Analysis

    Roubtsova, E. E., Roubtsov, S. A. & Alpár, G., 30 Jun 2018, Business Modeling and Software Design: 8th International Symposium, BMSD 2018. Vienna, Austria, July 2-4, 2018. Proceedings. van der Aalst, W., Mylopoulos, J., Rosemann, M., Shaw, M. J. & Szyperski, C. (eds.). Cham: Springer, Vol. 319. p. 298-307 10 p. (Lecture Notes in Business Information Processing).

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

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

    Open Access
  • Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity

    Różowski, W., Kappé, T., Kozen, D., Schmid, T. & Silva, A., Jul 2023, 50th International Colloquium on Automata, Languages, and Programming, ICALP 2023. Etessami, K., Feige, U. & Puppis, G. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 261. 20 p. 136. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 261).

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

    Open Access
  • Probabilistic Temporal Logic for Reasoning about Bounded Policies

    Motamed, N., Alechina, N., Dastani, M., Doder, D. & Logan, B., 2023, Proceedings of the 32nd International Joint Conference on Artificial Intelligence, IJCAI 2023. Elkind, E. (ed.). p. 3296-3303 8 p.

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

    Open Access
  • Program Synthesis Using Example Propagation

    Mulleners, N., Jeuring, J. & Heeren, B., Jan 2023, Practical Aspects of Declarative Languages: 25th International Symposium, PADL 2023, Proceedings. Hanus, M. & Inclezan, D. (eds.). 1 ed. Springer, Cham, p. 20-36 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13880 LNCS).

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