Journal papers | Conference papers | Theses | Tools

Journal papers

  • 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]
  • 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

  • 2022/October: Exploring the Enforcement of Private, Dynamic Policies on Medical Workflow Execution.
    2nd Workshop on Reproducible Workflows, Data Management, and Security (ReWorDs 2022). Christopher A. Esterhuyse, Tim Müller, L. Thomas van Binsbergen, Adam S.Z. Belloum.
  • 2022/September: A Modular Architecture for Integrating Normative Advisors in MAS.
    Proceedings of the 17th European Conference on Multi-Agent Systems (EUMAS 2022). Mostafa M. Parizi, L. Thomas van Binsbergen, Giovanni Sileno, Tom van Engers.
  • 2021/August: A generic back-end for exploratory programming.
    Paper at the International Conference on Trends in Functional Programming (TFP2021). Damian Frölich and L. Thomas van Binsbergen. [DOI] [Preprint]
  • 2020/November: eFLINT: a Domain-Specific Language for Executable Norm Specifications.
    Proceedings of GPCE '20. L. Thomas van Binsbergen, Lu-Chi Liu, Robert van Doesburg, and Tom van Engers. [DOI] [Preprint] [Video]
  • 2020/October: A principled approach to REPL interpreters.
    Proceedings of Onward! '20. L. Thomas van Binsbergen, Mauricio Verano Merino, Pierre Jeanjean, Tijs van der Storm, Benoit Combemale, and Olivier Barais. [DOI] [Preprint] [Video]
  • 2018/November: Funcons for HGMP: the fundamental constructs of homogeneous generative meta-programming (short paper).
    Proceedings of GPCE '18. L. Thomas van Binsbergen. [DOI] [Authorized access]
  • 2018/October: GLL parsing with flexible combinators.
    Proceedings of SLE' 18. L. Thomas van Binsbergen, Elizabeth Scott and Adrian Johnstone. [DOI] [Authorized access]
  • 2017/December: Checking cryptographic API usage with composable annotations (short paper).
    Proceedings of PEPM '18. Duncan Mitchell, L. Thomas van Binsbergen, Blake Loring and Johannes Kinder. [DOI] [Authorized access]
  • 2016/March: Tool support for component-based semantics.
    Companion proceedings of Modularity '16. L. Thomas van Binsbergen, Neil Sculthorpe and Peter D. Mosses. [DOI] [Authorized access]
  • 2015/August: Linearly Ordered Attribute Grammars Scheduling Using SAT-Solving.
    Proceedings of TACAS' 15. Jeroen Bransen, L. Thomas van Binsbergen, Koen Claessen and Atze Dijkstra. [DOI]
  • 2015/January: Linearly Ordered Attribute Grammars: with Automatic Augmenting Dependency Selection.
    Proceedings of PEPM' 15. L. Thomas van Binsbergen, Jeroen Bransen and Atze Dijkstra. [DOI] [Authorized access]
  • 2014/November: Model solutions and properties for diagnosing student programs in Ask-Elle.
    Proceedings of CSERC' 14. Johan Jeuring, L. Thomas van Binsbergen, Alex Gerdes and Bastiaan Heeren. [DOI] [Authorized access]

Theses

Tools