L. Thomas van Binsbergen

ORCID

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 23

Top Venues

Royal Holloway, University of London, Egham, UK (PHD)

Education History

Royal Holloway, University of London, Egham, UK

PHD

Publications

Damian Frölich, L. Thomas van Binsbergen
iCoLa+: An extensible meta-language with support for exploratory language development. J. Syst. Softw. 211 (2024)
Christopher A. Esterhuyse, Tim Müller, L. Thomas van Binsbergen
JustAct: Actions Universally Justified by Partial Dynamic Policies. FORTE (2024)
L. Thomas van Binsbergen, Damian Frölich
Happy-GLL: modular, reusable and complete top-down parsers for parameterized nonterminals. CoRR (2023)
Milen G. Kebede, L. Thomas van Binsbergen, Tom M. van Engers, Dannis G. van Vuurden
Towards a Purpose-Based Access Control Model Derived from the Purpose Limitation Principle. JURIX (2023)
Gwendal Jouneaux, Damian Frölich, Olivier Barais, Benoît Combemale, Gurvan Le Guernic, Gunter Mussbacher, L. Thomas van Binsbergen
Adaptive Structural Operational Semantics. SLE (2023)
Damian Frölich, L. Thomas van Binsbergen
iCoLa: A Compositional Meta-language with Support for Incremental Language Development. SLE (2022)
Mostafa Mohajeri Parizi, L. Thomas van Binsbergen, Giovanni Sileno, Tom M. van Engers
A Modular Architecture for Integrating Normative Advisors in MAS. EUMAS (2022)
Mauricio Verano Merino, L. Thomas van Binsbergen, Mazyar Seraj
Making the Invisible Visible in Computational Notebooks. VL/HCC (2022)
L. Thomas van Binsbergen, Damian Frölich, Mauricio Verano Merino, Joey Lai, Pierre Jeanjean, Tijs van der Storm, Benoît Combemale, Olivier Barais
A Language-Parametric Approach to Exploratory Programming Environments. SLE (2022)
Giovanni Sileno, L. Thomas van Binsbergen, Matteo Pascucci, Tom M. van Engers
DPCL: a Language Template for Normative Specifications. CoRR (2022)
Christopher A. Esterhuyse, Tim Müller, L. Thomas van Binsbergen, Adam S. Z. Belloum
Exploring the Enforcement of Private, Dynamic Policies on Medical Workflow Execution. e-Science (2022)
Damian Frolich, L. Thomas van Binsbergen
A Generic Back-End for Exploratory Programming. TFP (2021)
L. Thomas van Binsbergen, Milen G. Kebede, Joshua Baugh, Tom M. van Engers, Dannis G. van Vuurden
Dynamic generation of access control policies from social policies. EUSPN/ICTH (2021)
L. Thomas van Binsbergen, Lu-Chi Liu, Robert van Doesburg, Tom M. van Engers
eFLINT: a domain-specific language for executable norm specifications. GPCE (2020)
L. Thomas van Binsbergen, Mauricio Verano Merino, Pierre Jeanjean, Tijs van der Storm, Benoît Combemale, Olivier Barais
A principled approach to REPL interpreters. Onward! (2020)
L. Thomas van Binsbergen, Elizabeth Scott, Adrian Johnstone
Purely functional GLL parsing. J. Comput. Lang. 58 (2020)
Elizabeth Scott, Adrian Johnstone, L. Thomas van Binsbergen
Derivation representation using binary subtree sets. Sci. Comput. Program. 175 (2019)
L. Thomas van Binsbergen, Peter D. Mosses, Neil Sculthorpe
Executable component-based semantics. J. Log. Algebraic Methods Program. 103 (2019)
L. Thomas van Binsbergen, Elizabeth Scott, Adrian Johnstone
GLL parsing with flexible combinators. SLE (2018)
L. Thomas van Binsbergen
Funcons for HGMP: the fundamental constructs of homogeneous generative meta-programming (short paper). GPCE (2018)
Duncan Mitchell, L. Thomas van Binsbergen, Blake Loring, Johannes Kinder
Checking cryptographic API usage with composable annotations (short paper). PEPM (2018)
Alex Gerdes, Bastiaan Heeren, Johan Jeuring, L. Thomas van Binsbergen
Ask-Elle: an Adaptable Programming Tutor for Haskell Giving Automated Feedback. Int. J. Artif. Intell. Educ. 27 (1) (2017)
L. Thomas van Binsbergen, Neil Sculthorpe, Peter D. Mosses
Tool support for component-based semantics. MODULARITY (Companion) (2016)
Jeroen Bransen, L. Thomas van Binsbergen, Koen Claessen, Atze Dijkstra
Linearly Ordered Attribute Grammar Scheduling Using SAT-Solving. TACAS (2015)
L. Thomas van Binsbergen, Jeroen Bransen, Atze Dijkstra
Linearly Ordered Attribute Grammars: with Automatic Augmenting Dependency Selection. PEPM (2015)
Johan Jeuring, L. Thomas van Binsbergen, Alex Gerdes, Bastiaan Heeren
Model solutions and properties for diagnosing student programs in Ask-Elle. CSERC (2014)

L. Thomas van Binsbergen.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

L. Thomas van Binsbergen