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
    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. (2025). Specification-centric multi-agent systems. [Thesis, fully internal, Universiteit van Amsterdam].
  • Open Access
    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
  • Open Access
    Alsayed Kassem, J., Allaart, C., Amiri, S., Kebede, M., Müller, T., Turner, R., Belloum, A., van Binsbergen, L. T., Grunwald, P., van Halteren, A., Grosso, P., de Laat, C., & Klous, S. (2024). Building a Digital Health Twin for Personalized Intervention: The EPI Project. In B. R. Haverkort, A. de Jongste, P. van Kuilenburg, & R. D. Vromans (Eds.), Commit2Data Article 2 (OpenAccess Series in Informatics; Vol. 124). Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/OASIcs.Commit2Data.2
  • 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
Page 1 of 3