Journal papers | Conference papers | Preprints | White papers | Theses | Media articles | Tools

Journal papers

  • 2024/February: iCoLa+: An extensible meta-language with support for exploratory language development.
    Journal of Systems and Software, volume 211. Damian Frölich, L. Thomas van Binsbergen. [DOI] [Preprint]
  • 2022/January: Dynamic generation of access control policies from social policies.
    Procedia Computer Science special issue on The 11th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH 2021). L. Thomas van Binsbergen, Milen G. Kebede, Joshua Baugh, Tom van Engers, Dannis G. van Vuurden. [DOI] [Preprint] [Projects: EPI, AMdEX]
  • 2020/January: Purely Functional GLL Parsing.
    Journal of Computer Languages. L. Thomas van Binsbergen, Elizabeth Scott, and Adrian Johnstone. [DOI] [Preprint]
  • 2019/April: Derivation representation using binary subtree sets.
    Science of Computer Programming. Elizabeth Scott, Adrian Johnstone and L. Thomas van Binsbergen. [DOI] [Preprint]
  • 2019/February: Executable Component-Based Semantics.
    Journal of Logical and Algebraic Methods in Programming. L. Thomas van Binsbergen, Peter D. Mosses and Neil Sculthorpe. [DOI] [Preprint]
  • 2016/February: Ask-Elle: an Adaptable Programming Tutor for Haskell Giving Automated Feedback.
    International Journal of Artificial Intelligence in Education. Alex Gerdes, Bastiaan Heeren, Johan Jeuring and L. Thomas van Binsbergen. [DOI] [Preprint]

Conference papers (latest)

Click here for a full list.
  • 2025/September: Exploration and Complexity Management in Graph-Based Programming Environments.
    In Companion Proceedings of the 9th International Conference on the Art, Science, and Engineering of Programming (Programming 2025). Max Boksem, L. Thomas van Binsbergen. [DOI]
  • 2025/July: P4DDG: Data-Dependent Grammars for Packet Specification and Parsing in P4.
    Paper at Generative Programming: Concepts & Experiences (GPCE) 2025. Tommaso Pacciani, Damian Frölich, L. Thomas van Binsbergen, Chrysa Papagianni. [DOI] [Preprint] [Projects: FNS]
  • 2025/July: A Stable Model Semantics for eFLINT Norm Specifications and Model Checking Scenarios.
    Paper at Generative Programming: Concepts & Experiences (GPCE) 2025. Christopher A. Esterhuyse, Tim Müller, L. Thomas van Binsbergen. [DOI] [Preprint] [Projects: B2G3P, AMdEX]
  • 2025/June: Exploratory, Omniscient, and Multiverse Diagnostics in Debuggers for Non-Deterministic Languages.
    Paper at Software Language Engineering (SLE) 2025. Damian Frölich, Tommaso Pacciani, L. Thomas van Binsbergen. [DOI] [Preprint] [Projects: ALE]
  • 2026/March: A Business and Organizational Maturity Model for Data Spaces derived from the DSSC Blueprint.
    ACM Symposium on Applied Computing (SAC) Data Spaces track. Julian Roloff, L. Thomas van Binsbergen, Vinith Bhandari. [Projects: AMdEX]
  • 2024/December: Managing Administrative Law Cases using an Adaptable Model-driven Norm-enforcing Tool.
    Workshop on AI 4 Access 2 Justice @ JURIX 2024. Marten Steketee, Nina Verheijen, L. Thomas van Binsbergen. [DOI] [Preprint] [Slides] [Projects: B2G3P]
  • 2024/October: Building a Digital Health Twin for Personalized Intervention: The EPI Project.
    Open Access Series in Informatics (OASIcs). Jamila Alsayed Kassem, Corinne Allaart, Saba Amiri, Milen Kebede, Tim Müller, Rosanne Turner, Adam Belloum, L. Thomas van Binsbergen, Peter Grunwald, Aart van Halteren, Paola Grosso, Cees de Laat, and Sander Klous. [DOI] [Projects: AMdEX, EPI]
  • 2024/October: Bridging Incremental Programming and Complex Software Development Environments.
    Paper at Programming Abstractions and Interactive Notations, Tools, and Environments (GPCE) 2024, Presented at SPLASH 2024. Max Boksem, L. Thomas van Binsbergen. [DOI] [Preprint] [Video]
  • 2024/October: On the Soundness of Auto-completion Services for Dynamically Typed Languages.
    Paper at Generative Programming: Concepts and Experiences (GPCE) 2024, Presented at SPLASH 2024. Damian Frölich, L. Thomas van Binsbergen. [DOI] [Preprint]
  • 2024/October: Cooperative Specification via Composition Control.
    Paper at Software Language Engineering (SLE) 2024, Presented at SPLASH 2024. Christopher A. Esterhuyse, L. Thomas van Binsbergen. [DOI] [Preprint] [Projects: AMdEX]

Preprints

  • 2023/March: Happy-GLL: modular, reusable and complete top-down parsers for parameterized nonterminals.
    L. Thomas van Binsbergen, Damian Frölich. [arXiv]
  • 2023/January: Reflections on the design and application of the normative specification language eFLINT.
    L. Thomas van Binsbergen. [Preprint] [Video] [Projects: AMdEX, SSPDDP]
  • 2022/January: DPCL: a Language Template for Normative Specifications.
    Giovanni Sileno, L. Thomas van Binsbergen, Matteo Pascucci, Tom van Engers. [arXiv]

White papers

  • 2024/February: AMdEX Reference Architecture.
    Deliverable for the AMdEX fieldlab project. L. Thomas van Binsbergen, Merrick Oost-Rosengren, Hayo Schreijer, Freek Dijkstra, Taco van Dijk. [DOI] [Preprint] [Projects: AMdEX]

Theses

Media articles

  • 2026/February: Data delen vraagt om frictie.
    Podium artikel in iBestuur. Thomas van Binsbergen en Dennis Groot. [URL] [Projects: AMdEX]
  • 2023/October: Building Bridges.
    I/O Magazine. ICT Research Platform Nederland. Pg 22-23. Sonja Knols. [Preprint]

Tools