Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 24
Number of items: 24
  • Open Access
    Frölich, D. (2026). Exploratory language development: Discovering the unknown unknowns of language design. [Thesis, fully internal, Universiteit van Amsterdam].
  • Open Access
    Kebede, M. G. (2026). Normative control for data access in healthcare research. [Thesis, fully internal, Universiteit van Amsterdam].
  • Open Access
    Frölich, D., Pacciani, T., & van Binsbergen, L. T. (2025). Exploratory, Omniscient, and Multiverse Diagnostics in Debuggers for Non-Deterministic Languages. In SLE'25: Proceedings of SLE 2025 : 18th ACM IGPLAN International Confertence on Software Language Engineering : June 12-13, 2025, Koblenz, Germany (pp. 134-147). Association for Computing Machinery. https://doi.org/10.1145/3732771.3742719
  • Open Access
    Esterhuyse, C. A., Müller, T., & van Binsbergen, L. T. (2025). A Stable Model Semantics for eFLINT Norm Specifications and Model Checking Scenarios. In A. Shaikhha, S. Erdweg, & N. Amin (Eds.), GPCE '25: Proceedings of the 24th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences : July 3-4, 2025, Bergen, Norway (pp. 80-93). Association for Computing Machinery. https://doi.org/10.1145/3742876.3742882
  • Open Access
    Pacciani, T., Frolich, D., van Binsbergen, L. T., & Papagianni, C. (2025). P4DDG: Data-Dependent Grammars for Packet Specification and Parsing in P4. In A. Shaikhha, S. Erdweg, & N. Amin (Eds.), GPCE '25: Proceedings of the 24th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences : July 3-4, 2025, Bergen, Norway (pp. 54-66). Association for Computing Machinery. https://doi.org/10.1145/3742876.3742879
  • Open Access
    Esterhuyse, C. A. (2025). Specification-centric multi-agent systems. [Thesis, fully internal, Universiteit van Amsterdam].
  • Open Access
    Müller, T., Turner, R. J., Amiri, S., Allaart, C., van Binsbergen, L. T., Dijksman, L., van Engers, T., Belloum, A., Grosso, P., Grünwald, P., Hoogoort, K., Härmä, A., Hegeman, J. M., Kassem, J. A., Kebede, M., de Laat, C., van der Nat, P., Pals, A., Scheepers, F., & Klous, S. (2025). Optimizing Clinical Pathways with Federated Data. Jusletter IT, 2025, 147-158. https://doi.org/10.38023/eeb1b383-86b0-4b9e-89d5-57af4b58eeb3
  • Open Access
    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, Groningen, The Netherlands, June 17–21, 2024 : proceedings (pp. 60-81). (Lecture Notes in Computer Science; Vol. 14678). Springer. https://doi.org/10.1007/978-3-031-62645-6_4
  • Open Access
    Esterhuyse, C. A., & van Binsbergen, L. T. (2024). Cooperative Specification via Composition Control. In R. Laemmel, J. Alves Pereira, & P. D. Mosses (Eds.), SLE '24: Proceedings of the 17th ACM SIGPLAN International Conference on Software Language Engineering : October 20-21, 2024, Pasadena, CA, USA (pp. 2-15). Association for Computing Machinery. https://doi.org/10.1145/3687997.3695635
  • Open Access
    Boksem, M., & van Binsbergen, L. T. (2024). Bridging Incremental Programming and Complex Software Development Environments. In T. Beckmann, L. Church, R. Hirschfeld, & M. Verano Merino (Eds.), PAINT '24: Proceedings of the 3rd ACM SIGPLAN International Workshop on Programming Abstractions and Interactive Notations, Tools, and Environments : October 22, 2024, Pasadena, CA, USA (pp. 29-40). Association for Computing Machinery. https://doi.org/10.1145/3689488.3689991
Page 1 of 3