Model solutions and properties for diagnosing student programs in Ask-Elle. - Johan Jeuring; L. Thomas van Binsbergen; Alex Gerdes; Bastiaan Heeren (CSERC, 2014)

Linearly Ordered Attribute Grammars: with Automatic Augmenting Dependency Selection. - L. Thomas van Binsbergen; Jeroen Bransen; Atze Dijkstra (PEPM, 2015)

Linearly Ordered Attribute Grammar Scheduling Using SAT-Solving. - Jeroen Bransen; L. Thomas van Binsbergen; Koen Claessen; Atze Dijkstra (TACAS, 2015)

Tool support for component-based semantics. - L. Thomas van Binsbergen; Neil Sculthorpe; Peter D. Mosses (MODULARITY (Companion), 2016)

Ask-Elle: an Adaptable Programming Tutor for Haskell Giving Automated Feedback. - Alex Gerdes; Bastiaan Heeren; Johan Jeuring; L. Thomas van Binsbergen (Int. J. Artif. Intell. Educ., 2017)

Funcons for HGMP: the fundamental constructs of homogeneous generative meta-programming (short paper). - L. Thomas van Binsbergen (GPCE, 2018)

Checking cryptographic API usage with composable annotations (short paper). - Duncan Mitchell; L. Thomas van Binsbergen; Blake Loring; Johannes Kinder (PEPM, 2018)

GLL parsing with flexible combinators. - L. Thomas van Binsbergen; Elizabeth Scott; Adrian Johnstone (SLE, 2018)

Executable component-based semantics. - L. Thomas van Binsbergen; Peter D. Mosses; Neil Sculthorpe (J. Log. Algebraic Methods Program., 2019)

Derivation representation using binary subtree sets. - Elizabeth Scott; Adrian Johnstone; L. Thomas van Binsbergen (Sci. Comput. Program., 2019)

Executable formal specification of programming languages with reusable components. - L. Thomas van Binsbergen (2019)

eFLINT: a domain-specific language for executable norm specifications. - L. Thomas van Binsbergen; Lu-Chi Liu; Robert van Doesburg; Tom M. van Engers (GPCE, 2020)

A principled approach to REPL interpreters. - L. Thomas van Binsbergen; Mauricio Verano Merino; Pierre Jeanjean; Tijs van der Storm; Benoît Combemale; Olivier Barais (Onward!, 2020)

Purely functional GLL parsing. - L. Thomas van Binsbergen; Elizabeth Scott; Adrian Johnstone (J. Comput. Lang., 2020)

Dynamic generation of access control policies from social policies. - L. Thomas van Binsbergen; Milen G. Kebede; Joshua Baugh; Tom M. van Engers; Dannis G. van Vuurden (EUSPN/ICTH, 2021)

A Generic Back-End for Exploratory Programming. - Damian Frölich; L. Thomas van Binsbergen (TFP, 2021)

Exploring the Enforcement of Private, Dynamic Policies on Medical Workflow Execution. - Christopher A. Esterhuyse; Tim Müller; L. Thomas van Binsbergen; Adam S. Z. Belloum (e-Science, 2022)

A Modular Architecture for Integrating Normative Advisors in MAS. - Mostafa Mohajeri Parizi; L. Thomas van Binsbergen; Giovanni Sileno; Tom M. van Engers (EUMAS, 2022)

A Language-Parametric Approach to Exploratory Programming Environments. - L. Thomas van Binsbergen; Damian Frölich; Mauricio Verano Merino; Joey Lai; Pierre Jeanjean; Tijs van der Storm; Benoît Combemale; Olivier Barais (SLE, 2022)

iCoLa: A Compositional Meta-language with Support for Incremental Language Development. - Damian Frölich; L. Thomas van Binsbergen (SLE, 2022)

Making the Invisible Visible in Computational Notebooks. - Mauricio Verano Merino; L. Thomas van Binsbergen; Mazyar Seraj (VL/HCC, 2022)

DPCL: a Language Template for Normative Specifications. - Giovanni Sileno; L. Thomas van Binsbergen; Matteo Pascucci; Tom M. van Engers (CoRR, 2022)

Towards a Purpose-Based Access Control Model Derived from the Purpose Limitation Principle. - Milen G. Kebede; L. Thomas van Binsbergen; Tom M. van Engers; Dannis G. van Vuurden (JURIX, 2023)

Adaptive Structural Operational Semantics. - Gwendal Jouneaux; Damian Frölich; Olivier Barais; Benoît Combemale; Gurvan Le Guernic; Gunter Mussbacher; L. Thomas van Binsbergen (SLE, 2023)

Happy-GLL: modular, reusable and complete top-down parsers for parameterized nonterminals. - L. Thomas van Binsbergen; Damian Frölich (CoRR, 2023)

JustAct: Actions Universally Justified by Partial Dynamic Policies. - Christopher A. Esterhuyse; Tim Müller; L. Thomas van Binsbergen (FORTE, 2024)

On the Soundness of Auto-completion Services for Dynamically Typed Languages. - Damian Frölich; L. Thomas van Binsbergen (GPCE, 2024)

Bridging Incremental Programming and Complex Software Development Environments. - Max Boksem; L. Thomas van Binsbergen (PAINT@SPLASH, 2024)

Cooperative Specification via Composition Control. - Christopher A. Esterhuyse; L. Thomas van Binsbergen (SLE, 2024)

iCoLa+: An extensible meta-language with support for exploratory language development. - Damian Frölich; L. Thomas van Binsbergen (J. Syst. Softw., 2024)

Building a Digital Health Twin for Personalized Intervention: The EPI Project. - Jamila Alsayed Kassem; Corinne G. Allaart; Saba Amiri; Milen G. Kebede; Tim Müller; Rosanne Turner; Adam Belloum; L. Thomas van Binsbergen; Peter Grunwald; Aart van Halteren; Paola Grosso; Cees de Laat; et al. (Commit2Data, 2024)

A Stable Model Semantics for eFLINT Norm Specifications and Model Checking Scenarios. - Christopher A. Esterhuyse; Tim Müller; L. Thomas van Binsbergen (GPCE, 2025)

P4DDG: Data-Dependent Grammars for Packet Specification and Parsing in P4. - Tommaso Pacciani; Damian Frölich; L. Thomas van Binsbergen; Chrysa Papagianni (GPCE, 2025)

Exploration and Complexity Management in Graph-Based Programming Environments. - Max Boksem; L. Thomas van Binsbergen (Programming, 2025)

Exploratory, Omniscient, and Multiverse Diagnostics in Debuggers for Non-Deterministic Languages. - Damian Frölich; Tommaso Pacciani; L. Thomas van Binsbergen (SLE, 2025)

JustAct+: Justified and Accountable Actions in Policy-Regulated, Multi-Domain Data Processing. - Christopher A. Esterhuyse; Tim Müller; L. Thomas van Binsbergen (CoRR, 2025)

Lawful and Accountable Personal Data Processing with GDPR-based Access and Usage Control in Distributed Systems. - L. Thomas van Binsbergen; Marten C. Steketee; Milen G. Kebede; Heleen L. Janssen; Tom M. van Engers (CoRR, 2025)