Voor de beste ervaring schakelt u JavaScript in en gebruikt u een moderne browser!
Je gebruikt een niet-ondersteunde browser. Deze site kan er anders uitzien dan je verwacht.

Dr. L.T. (Thomas) van Binsbergen

Universitair Docent Data Uitwisseling Systemen
Faculteit der Natuurwetenschappen, Wiskunde en Informatica
Informatics Institute
Bezoekadres
  • Science Park 900
  • Kamernummer: L5.31
Postadres
  • Postbus 94323
    1090 GH Amsterdam
Contactgegevens
  • Publicaties

    2024

    • Esterhuyse, C. A., Müller, T., & van Binsbergen, L. T. (2024). JustAct: Actions Universally Justified by Partial Dynamic Policies. In V. Castiglioni, & A. Francalanza (Eds.), Formal Techniques for Distributed Objects, Components, and Systems - 44th IFIP WG 6.1 International Conference, FORTE 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Proceedings (pp. 60-81). (Lecture Notes in Computer Science; Vol. 14678). Springer. https://doi.org/10.1007/978-3-031-62645-6_4
    • Frölich, D., & van Binsbergen, L. T. (2024). iCoLa+: An extensible meta-language with support for exploratory language development. Journal of Systems and Software, 211, Article 111979. https://doi.org/10.1016/j.jss.2024.111979

    2023

    • Jouneaux, G., Frölich, D., Barais, O., Combemale, B., Le Guernic, G., Mussbacher, G., & van Binsbergen, L. T. (2023). Adaptive Structural Operational Semantics. In J. Saraiva, T. Degueule, & E. Scott (Eds.), Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering (SLE '23): October 23-24, 2023, Cascais, Portugal (pp. 29-42). Association for Computing Machinery. https://doi.org/10.1145/3623476.3623517 [details]
    • Kebede, M. G., van Binsbergen, T., van Engers, T., & van Vuurden, D. G. (2023). Towards a Purpose-Based Access Control Model Derived from the Purpose Limitation Principle. In G. Sileno, J. Spanakis, & G. van Dijck (Eds.), Legal Knowledge and Information Systems: JURIX 2023: The Thirty-sixth Annual Conference, Maastricht, the Netherlands, 18-20 December 2023 (pp. 143-148). (Frontiers in Artificial Intelligence and Applications; Vol. 379). IOS Press. https://doi.org/10.3233/FAIA230958 [details]

    2022

    • Esterhuyse, C. A., Müller, T., van Binsbergen, L. T., & Belloum, A. S. Z. (2022). Exploring the Enforcement of Private, Dynamic Policies on Medical Workflow Execution. In eScience '22 : Democratizing science : 2022 IEEE 18th International Conference on e-Science: proceedings : eScience 2022 : Salt Lake City, Utah, USA, 10-14 October 202 (pp. 481-486). Conference Publishing Services, IEEE Computer Society. https://doi.org/10.1109/eScience55777.2022.00086 [details]
    • Frölich, D., & van Binsbergen, L. T. (2022). ICoLa: A Compositional Meta-Language with Support for Incremental Language Development. In B. Fischer, L. Burgueño, & W. Cazzola (Eds.), SLE '22: proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering : December 6-7, 2022, Auckland, New Zealand (pp. 202–215). The Association for Computing Machinery. https://doi.org/10.1145/3567512.3567529 [details]
    • Parizi, M. M., van Binsbergen, L. T., Sileno, G., & van Engers, T. (2022). A Modular Architecture for Integrating Normative Advisors in MAS. In D. Baumeister, & J. Rothe (Eds.), Multi-Agent Systems: 19th European Conference, EUMAS 2022, Düsseldorf, Germany, September 14–16, 2022 : proceedings (pp. 312-329). (Lecture Notes in Computer Science; Vol. 13442), (Lecture Notes in Artificial Intelligence). Springer. https://doi.org/10.1007/978-3-031-20614-6_18 [details]
    • Verano Merino, M., van Binsbergen, L. T., & Seraj, M. (2022). Making the Invisible Visible in Computational Notebooks. In P. Bottoni, G. Costagliola, M. Brachman, & M. Minas (Eds.), Proceedings, 2022 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC): VL/HCC 2022 : September 12-16, 2022, Rome, Italy (pp. 257-259). IEEE. https://doi.org/10.1109/VL/HCC53370.2022.9833148 [details]
    • van Binsbergen, L. T., Frölich, D., Verano Merino, M., Lai, J., Jeanjean, P., van der Storm, T., Combemale, B., & Barais, O. (2022). A Language-Parametric Approach to Exploratory Programming Environments. In B. Fischer, L. Burgueño, & W. Cazzola (Eds.), SLE '22: proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering : December 6-7, 2022, Auckland, New Zealand (pp. 175–188). The Association for Computing Machinery. https://doi.org/10.1145/3567512.3567527 [details]
    • van Binsbergen, L. T., Kebede, M. G., Baugh, J., van Engers, T., & van Vuurden, D. G. (2022). Dynamic generation of access control policies from social policies. Procedia Computer Science, 198, 140-147. Advance online publication. https://doi.org/10.1016/j.procs.2021.12.221 [details]

    2021

    • Frolich, D., & van Binsbergen, L. T. (2021). A generic back-end for exploratory programming. In V. Zsók, & J. Hughes (Eds.), Trends in Functional Programming: 22nd International Symposium, TFP 2021, Virtual Event, February 17–19, 2021 : revised selected papers (pp. 24-43). (Lecture Notes in Computer Science; Vol. 12834). Springer. Advance online publication. https://doi.org/10.1007/978-3-030-83978-9_2 [details]

    2020

    • van Binsbergen, L. T., Liu, L-C., van Doesburg, R., & van Engers, T. (2020). eFLINT: a domain-specific language for executable norm specifications. In M. Erwig, & J. Gray (Eds.), GPCE '20: proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences : November 16-17, 2020, Virtual, USA (pp. 124-136). Association for Computing Machinery. https://doi.org/10.1145/3425898.3426958 [details]
    • van Binsbergen, L. T., Scott, E., & Johnstone, A. (2020). Purely functional GLL parsing. Journal of Computer Languages, 58, Article 100945. https://doi.org/10.1016/j.cola.2020.100945
    • van Binsbergen, L. T., Verano Merino, M., Jeanjean, P., van der Storm, T., Combemale, B., & Barais, O. (2020). A principled approach to REPL interpreters. In Onward! 2020: Proceedings of the 2020 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (pp. 84-100). ACM. https://doi.org/10.1145/3426428.3426917

    2019

    • Scott, E., Johnstone, A., & van Binsbergen, L. T. (2019). Derivation representation using binary subtree sets. Science of Computer Programming, 175, 63-84. Advance online publication. https://doi.org/10.1016/j.scico.2019.01.008
    • van Binsbergen, L. T., Mosses, P. D., & Sculthorpe, N. (2019). Executable component-based semantics. Journal of Logical and Algebraic Methods in Programming, 103, 184-212. https://doi.org/10.1016/j.jlamp.2018.12.004

    2018

    • Mitchell, D., Loring, B., Thomas Van Binsbergen, L., & Kinder, J. (2018). Checking cryptographic API usage with composable annotations (short paper). In H.-S. Ko, & F. Henglein (Eds.), PEPM 2018 - Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2018 (pp. 53-59). Association for Computing Machinery, Inc. https://doi.org/10.1145/3162071
    • Thomas van Binsbergen, L., Scott, E., & Johnstone, A. (2018). GLL parsing with flexible combinators. In D. Pearce, S. Friedrich, & T. Mayerhofer (Eds.), SLE 2018 - Proceedings of the 11th ACM SIGPLAN International Conference on Soft ware Language Engineering, co-located with SPLASH 2018 (pp. 174-186). Association for Computing Machinery, Inc. https://doi.org/10.1145/3276604.3276618
    • Van Binsbergen, L. T. (2018). Funcons for HGMP: the fundamental constructs of homogeneous generative meta-programming. In E. Van Wyk, & T. Rompf (Eds.), GPCE 2018 - Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, co-located with SPLASH 2018 (pp. 168-174). Association for Computing Machinery, Inc. https://doi.org/10.1145/3278122.3278132

    2017

    • Gerdes, A., Heeren, B., Jeuring, J., & van Binsbergen, L. T. (2017). Ask-Elle: an Adaptable Programming Tutor for Haskell Giving Automated Feedback. International Journal of Artificial Intelligence in Education, 27(1), 65-100. https://doi.org/10.1007/s40593-015-0080-x

    2016

    • Van Binsbergen, L. T., Sculthorpe, N., & Mosses, P. D. (2016). Tool support for component-based semantics. In D. Batory, L. Fuentes, & K. Czarnecki (Eds.), MODULARITY Companion 2016 - Companion Proceedings of the 15th International Conference on Modularity (pp. 8-11). Association for Computing Machinery, Inc. https://doi.org/10.1145/2892664.2893464

    2015

    • Bransen, J., Van Binsbergen, L. T., Claessen, K., & Dijkstra, A. (2015). Linearly ordered attribute grammar scheduling using SAT-solving. In C. Tinelli, & C. Baier (Eds.), Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015 held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, Proceedings (pp. 289-303). (Lecture Notes in Computer Science; Vol. 9035). Springer. https://doi.org/10.1007/978-3-662-46681-0_24
    • Van Binsbergen, L. T., Bransen, J., & Dijkstra, A. (2015). Linearly ordered attribute grammars with automatic augmenting dependency selection. In PEPM 2015 - Proceedings of the 2015 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, co-located with POPL 2015 (pp. 49-60). Association for Computing Machinery, Inc. https://doi.org/10.1145/2678015.2682543

    2014

    • Jeuring, J., Van Binsbergen, L. T., Gerdes, A., & Heeren, B. (2014). Model solutions and properties for diagnosing student programs in Ask-Elle. In E. Barendsen, E. Barendsen, & V. Dagiene (Eds.), Proceedings - CSERC 2014: Computer Science Education Research Conference (pp. 31-40). Association for Computing Machinery, Inc. https://doi.org/10.1145/2691352.2691355

    Prijs / subsidie

    • Janssen, H. & van Binsbergen, T. (2023). Responsible Digital Transformation Midsize Grant - title: B2G Data sharing through a data intermediary.
    This list of publications is extracted from the UvA-Current Research Information System. Questions? Ask the library or the Pure staff of your faculty / institute. Log in to Pure to edit your publications. Log in to Personal Page Publication Selection tool to manage the visibility of your publications on this list.
  • Nevenwerkzaamheden
    Geen nevenwerkzaamheden
contactgegevens bewerken   bewerk profielinformatie