Department of Computer Science

Search results

  • Conference Article in journal

    The Role of Syntax in Inductive Inference: A Property-Based Study

    Heyninck, J., Booth, R. & Meyer, T., 2024, In: CEUR Workshop Proceedings. 3835, p. 142-151 10 p.

    Research output: Contribution to journal › Conference Article in journal › Academic › peer-review

    Open Access

  • Trustworthy Human-Autonomy Teaming for Proportionality Assessment in Military Operations

    Maathuis, C., 2024, In: Proceedings. International Conference on Applied Artificial Intelligence, ICAPAI 2024.

    Research output: Contribution to journal › Conference Article in journal › Academic › peer-review

  • Conference Article in proceeding

    (Context-Sensitivity In) Reo, Revisited

    Jongmans, S.-S., 2017, Formal Aspects of Component Software: 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers. Kouchnarenko, O. & Khosravi, R. (eds.). Cham: Springer International Publishing AG, p. 191-209 19 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 10231). (Programming and Software Engineering LNPSE, Vol. 10231).

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

  • 30 Years of Automated GUI Testing: A Bibliometric Analysis

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

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

  • Abstract Dialectical Frameworks are Boolean Networks

    Heyninck, J., Knorr, M. & Leite, J., 2025, Logic Programming and Nonmonotonic Reasoning - 17th International Conference, LPNMR 2024, Proceedings. Dodaro, C., Gupta, G. & Martinez, M. V. (eds.). Springer Science and Business Media Deutschland GmbH, p. 98-111 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 15245 LNAI).

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

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

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

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

  • ACABELLA: Automated (Crypt)analysis of Attribute-Based Encryption Leveraging Linear Algebra

    de la Piedra, A., Venema, M. & Alpár, G., 15 Nov 2023, CCS '23: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security. ACM Digital Library, p. 3269-3283 15 p.

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

    Open Access

  • 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 proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Active Learning for Reducing Labeling Effort in Text Classification Tasks

    Jacobs, P. F., Maillette de Buy Wenniger, G., Wiering, M. & Schomaker, L., 12 Jan 2022, Artificial Intelligence and Machine Learning: 33rd Benelux Conference on Artificial Intelligence, BNAIC/Benelearn 2021, Esch-sur-Alzette, Luxembourg, November 10–12, 2021, Revised Selected Papers. Leiva, L. A., Pruski, C., Markovich, R., Najjar, A. & Schommer, C. (eds.). 1 ed. Springer, Cham, p. 3-29 27 p. (Communications in Computer and Information Science, Vol. 1530 CCIS).

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

  • A Data-Driven Exploration of Hypotheses on Disease Dynamics

    Bueno, M. L. P., Hommersom, A., Lucas, P. J. F. & Janzing, J., 30 May 2019, Artificial Intelligence in Medicine: 17th Conference on Artificial Intelligence in Medicine, AIME 2019, Poznan, Poland, June 26–29, 2019, Proceedings. Riaño, D., Wilk, S. & ten Teije, A. (eds.). Cham: Springer International Publishing AG, p. 170-179 10 p. (Lecture Notes in Computer Science (LNCS), Vol. 11526).

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

  • A distributed virtual computer security lab

    Vranken, H., Haag, J., Horsmann, T. & Karsch, S., 2011, CSEDU 2011 - Proceedings of the 3rd International Conference on Computer Supported Education. p. 110-119-2011 3 p.

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

  • A Documentation-Centred Approach to Software Design, Development and Deployment

    van Loggem, B. & van der Veer, G. C., 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.). Springer-Verlag Berlin Heidelberg, p. 188-200 13 p. (Lecture Notes in Computer Science (LNCS); No. 8345). (Information Systems and Applications, incl. Internet/Web, and HCI, Vol. 8345).

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

    Open Access

  • ADVOCAT: Automated deadlock verification for on-chip cache coherence and interconnects

    Verbeek, F., Yaghini, P. M., Eghbal, A. & Bagherzadeh, N., 2016, Proceedings of the 2016 Conference on Design, Automation & Test in Europe: DATE 2016. ACM Digital Library, p. 1640-1645 6 p.

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

  • A Feature Computation Tree Model to Specify Requirements and Reuse

    Roubtsova, E. E. & Roubtsov, S. A., May 2006, Proceedings of the Eighth International Conference on Enterprise Information Systems - (Volume 5). Filipe, J., Manolopoulos, Y., Constantopoulos, P. & Cordeiro, J. (eds.). Paphos, Cyprus: SCITEPRESS-Science and Technology Publications, Lda., Vol. 5. p. 118-125 8 p.

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

    Open Access
    File
    45 Downloads (Pure)

  • A Formal Semantics for P-Code

    Naus, N., Verbeek, F., Walker, D. & Ravindran, B., 2023, Verified Software. Theories, Tools and Experiments: 14th International Conference, VSTTE 2022. Lal, A. & Tonetta, S. (eds.). 1 ed. Springer, Cham, p. 111-128 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13800 LNCS).

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

    Open Access

  • A Framework for the Localization of Programming Languages

    Swidan, A. & Hermans, F., 18 Oct 2023, SPLASH-E 2023 - Proceedings of the 2023 ACM SIGPLAN International Symposium on SPLASH-E: SPLASH 2023. Feldman, M. Q. & Hilton, M. (eds.). Association for Computing Machinery (ACM), p. 13-25 13 p. (Proceedings of the 2023 ACM SIGPLAN International Symposium on SPLASH-E).

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

    Open Access

  • Agent-based Testing of Extended Reality Systems

    Prada, R., Prasetya, I. S. W. B., Kifetew, F. M., Dignum, F., Vos, T. E. J., Lander, J., Donnart, J.-Y., Kazmierowski, A., Davidson, J. & Fernandes, P. M., Aug 2020, Proceedings: 2020 IEEE 13th International Conference on Software Testing, Verification and Validation: ICST 2020. IEEE, p. 414-417 4 p.

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

  • A Hoare Logic for Energy Consumption Analysis

    Kersten, R. W. J., Parisien Toldin, P., van Gastel, B. E. & van Eekelen, M. C. J. D., 2014, Foundational and Practical Aspects of Resource Analysis: Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers. Dal Lago, U. & Peña, R. (eds.). Cham: Springer, p. 93-109 17 p. (Lecture Notes in Computer Science, Vol. 8552).

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

  • A 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 proceeding › Conference Article in proceeding › Academic › peer-review

  • 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 proceeding › Conference Article in proceeding › Academic › peer-review

  • Analysing and adapting communication scenarios in virtual learning environments for one-to-one communication skills training

    Lala, R., Jeuring, J. T. & Overbeek, T., 2017, iLRN 2017 Coimbra: Workshop, Long and Short Paper , and Poster Proceedings from the Third Immersive Learning Research Network Conference. Beck, D., Allison, C., Morgado, L., Pirker, J., Khosmood, F., Richter, J. & Gütl, C. (eds.). Verlag der Technischen Universität Graz, p. 197-204

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

    Open Access

  • Analysing Privacy Analyses

    Bella, G., Butin, D. & Jonker, H., 2017, Proceedings of the 1st Italian Conference on Cybersecurity: ITASEC17. Armando, A., Baldoni, R. & Focardi, R. (eds.). Aachen: CEUR-WS.org, p. 19-28 10 p. (CEUR Workshop Proceedings, Vol. 1816).

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

    Open Access

  • Analysis and Formal Specification of OpenJDK's BitSet

    Tatman, A. S., Hiep, H.-D. A. & Gouw, S. D., 2024, iFM 2023 - 18th International Conference, iFM 2023, Proceedings: 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings. Herber, P. & Wijs, A. (eds.). Springer, p. 134-152 19 p. (Lecture Notes in Computer Science, Vol. 14300).

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

  • Analysis of SLA Compliance in the Cloud: An Automated, Model-based Approach

    Boer, F. S. D., Giachino, E., Gouw, S. D., Hähnle, R., Johnsen, E. B., Laneve, C., Pun, K. I. & Zavattaro, G., 27 Aug 2019, Proceedings of the Second Workshop on Verification of Objects at RunTime EXecution : Amsterdam, Netherlands, 17th July 2018. Ancona, D. & Pace, G. (eds.). Open Publishing Association, Vol. 302. p. 1-15 15 p.

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

    Open Access

  • Analysis of specifications of multiparty sessions with dcj-lint

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

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

    Open Access

  • Analyzing conceptual content of international informatics curricula for secondary education

    Barendsen, E. & Steenvoorden, B., 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. 14-27 (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 proceeding › Conference Article in proceeding › Academic › peer-review

  • Analyzing student's software redesign strategies

    Stuurman, S., Passier, H. & Barendsen, E., 24 Nov 2016, Koli Calling '16: Proceedings of the 16th Koli Calling International Conference on Computing Education Research. Sheard, J. & Suero Montero, C. (eds.). New York, USA: Association for Computing Machinery (ACM), p. 110-119 10 p.

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

  • 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 proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • A New Informatics Curriculum for Secondary Education in The Netherlands

    Barendsen, E., Grgurina, N. & Tolboom, J., 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. 105-117 (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 proceeding › Conference Article in proceeding › Academic › peer-review

  • A new method for sustainable development of open educational resources

    Stuurman, S., van Eekelen, M. & Heeren, B. J., 9 Sept 2012, Proceedings of Second Computer Science Education Research Conference. van der Veer, G., Sikorski, M., Sloep, P. & van Eekelen, M. (eds.). acm, p. 57-66 9 p.

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

    Open Access

  • An executable and changeable reference model for the health insurance industry

    Verheul, J. & Roubtsova, E. E., Jun 2011, BM-FA '11: Proceedings of the Third Workshop on Behavioural Modelling - Foundations and Application. Birmingham United Kingdom: Association for Computing Machinery, p. 33-40 8 p.

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

  • An exercise assistant for practical networking and IT security courses in higher education

    Haag, J., Karsch, S., Vranken, H. P. E. & van Eekelen, M. C. J. D., 2015, Computer Supported Education: 6th International Conference, CSEDU 2014, Barcelona, Spain, April 1-3, 2014, Revised Selected Papers. Zvacek, S., Restivo, M. T., Uhomoibhi, J. & Helfert, M. (eds.). Cham: Springer International Publishing AG, p. 84-98 15 p. (Communications in Computer and Information Science (CCIS), Vol. 510).

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

  • An exercise assistant for practical networking courses

    Haag, J., Witte, C., Karsch, S., Vranken, H. P. E. & van Eekelen, M. C. J. D., 2014, Proceedings of the 6th International Conference On Computer Supported Education : (CSEDU2014, 1-3 April, 2014, Barcelona, Spain). Zvacek, S., Restivo , M. T., Uhomoibhi , J. & Helfert , M. (eds.). SCITEPRESS-Science and Technology Publications, Lda., Vol. 2. p. 97-104 8 p.

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

    Open Access

  • An extensible domain-specific language for describing problem-solving procedures

    Heeren, B. & Jeuring, J., 2017, Artificial Intelligence in Education: 18th International Conference, AIED 2017, Wuhan, China, June 28 – July 1, 2017, Proceedings. André, E., Baker, R., Hu, X., Rodrigo, M. T. & du Boulay, B. (eds.). Springer International Publishing AG, Vol. LNCS 10331. p. 77-89 13 p. (Lecture Notes in Computer Science; No. 10331).

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

  • An implementation architecture for scenario-based simulations

    Lala, R., Jeuring, J. T. & Van Dortmont, J., Jun 2016, Intelligent Tutoring Systems: 13th International Conference, ITS 2016. Micarelli, A., Stamper, J. & Panourgia, K. (eds.). Springer, (Lecture Notes in Computer Science, Vol. 9684).

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

    File
    76 Downloads (Pure)

  • An Industrial Experience Leveraging the iv4XR Framework for BDD Testing of a 3D Sandbox Game

    Pastor Ricós, F., Marín, B., Prasetya, I. S. W. B., Vos, T. E. J., Davidson, J. & Hovorka, K., 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. 393-409 17 p. (Lecture Notes in Business Information Processing, Vol. 513).

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

  • An Instructional Model to Link Designing and Conceptual Understanding in Secondary Computer Science Education

    Rahimi, E., Barendsen, E. & Henze, I., 4 Oct 2018, Proceedings of the 13th Workshop on Primary and Secondary Computing Education. Cutts, Q. & Muhling, A. (eds.). New York, NY: acm, 4 p. 11. (ACM International Conference Proceeding Series).

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

    Open Access

  • An Integration of Computational Thinking and Language Arts: The Contribution of Digital Storytelling to Students' Learning

    Yeni, S., Nijenhuis-Voogt, J., Hermans, F. & Barendsen, E., 31 Oct 2022, WiPSCE 2022: Proceedings of the 17th Workshop in Primary and Secondary Computing Education. Grillenberger, M. & Berges, M. (eds.). Association for Computing Machinery, 10 p. 3

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

    Open Access

  • An intelligent tutor to learn the evaluation of microcontroller I/O programming expressions

    Arends, H., Keuning, H., Heeren, B. & Jeuring, J., 2017, Koli Calling '17: Proceedings of the 17th Koli Calling International Conference on Computing Education Research. New York: ACM Digital Library, p. 2-9 8 p.

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

  • An observation method for behavioral analysis of collaborative modeling skills

    Wilmont, I., Hoppenbrouwers, S. & Barendsen, E., 2017, Advanced Information Systems Engineering Workshops: CAISE 2017 International Workshops, Essen, Germany, June 12–16, 2017, Proceedings. Metzger, A. & Persson, A. (eds.). Springer International Publishing AG, p. 59-71

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-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 proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • A pilot study of the use of LogEx, lessons learned

    Lodder, J. S., Heeren, B. J. & Jeuring, J. T., 2015, Proceedings of the Fourth International Conference on Tools for Teaching Logic: 9–12 June 2015. Huertas, M. A., Marcos, J., Manzano , M., Pinchinat, S. & Schwarzentruber, F. (eds.). Rennes: Presses Universitaires de Rennes, p. 93-100 8 p.

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

    Open Access

  • Aplib: Tactical Agents for Testing Computer Games

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

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

  • Applying deep learning on packet flows for botnet detection: Proceedings of the 33rd Annual {ACM} Symposium on Applied Computing

    van Roosmalen, J., Vranken, H. P. E. & van Eekelen, M. C. J. D., 13 Apr 2018, Proceedings of the 33rd Annual {ACM} Symposium on Applied Computing, {SAC} 2018, Pau, France. Haddad , H. M., Wainwright , R. L. & Chbeir , R. (eds.). New York: acm, p. 1629-1636 8 p.

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

    Open Access
    File
    242 Downloads (Pure)

  • Approximate Probabilistic Inference with Bounded Error for Hybrid Probabilistic Logic Programming

    Michels, S., Hommersom, A. & Lucas, P. J. F., Jul 2016, IJCAI'16: Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence. Brewka, G. (ed.). AAAI Press, p. 3616-3622 7 p.

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

  • A Predicate Transformer for Choreographies - Computing Preconditions in Choreographic Programming.

    Jongmans, S.-S. & Bos, P. V. D., 2022, Programming Languages and Systems: 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings. Ilya Sergey (ed.). 1 ed. Springer, Vol. 13240. p. 520-547 (Lecture Notes in Computer Science, Vol. 13240).

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

    Open Access

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

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

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

  • A Prognostic Model of Glioblastoma Multiforme Using Survival Bayesian Networks

    Rabinowicz, S., Hommersom, A., Butz, R. S. & Williams, M., 2017, Artificial Intelligence in Medicine: 16th Conference on Artificial Intelligence in Medicine, AIME 2017, Vienna, Austria, June 21-24, 2017, Proceedings. ten Teije, A., Popow, C., Holmes, J. H. & Sacchi, L. (eds.). Cham: Springer International Publishing AG, p. 81-85 5 p. (Lecture Notes in Computer Science, Vol. 10259).

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

  • Architecture and Design Patterns for Distributed, Scalable Augmented Reality and Wearable Technology Systems

    Guest, W., Wild, F., Mitri, D. D., Klemke, R., Karjalainen, J. & Helin, K., Dec 2019, 2019 IEEE International Conference on Engineering, Technology and Education (TALE). IEEE, p. 1-8 8 p.

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

  • Are some prices more equal than others? Evaluating store-based price differentiation

    Jonker, H., Karsch, S., Krumnow, B. & Meesters, G., Mar 2023, Proceedings Workshop on Measurements, Attacks, and Defenses for the Web (MADWeb) 2023 . Internet Society, p. 1-11 11 p.

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

    Open Access