Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 8
Number of items: 8
  • 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
    Chabal, D., Muller, T., Zhang, E., Sapra, D., de Laat, C., & Mann, Z. Á. (2025). COLIBRI: Optimizing Multi-party Secure Neural Network Inference Time for Transformers. In L. Nemec Zlatolas, K. Rannenberg, T. Welzer, & J. Garcia-Alfaro (Eds.), ICT Systems Security and Privacy Protection: 40th IFIP International Conference, SEC 2025, Maribor, Slovenia, May 21–23, 2025 : proceedings (Vol. I, pp. 17-31). (IFIP Advances in Information and Communication Technology; Vol. 745). Springer. https://doi.org/10.1007/978-3-031-92882-6_2
  • 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
    Alsayed Kassem, J., Müller, T., Esterhuyse, C. A., Kebede, M. G., Osseyran, A., & Grosso, P. (2025). The EPI framework: A data privacy by design framework to support healthcare use cases. Future Generation Computer Systems, 165, Article 107550. https://doi.org/10.1016/j.future.2024.107550
  • 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
    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
  • 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
  • Open Access
    Kassem, J. A., Belloum, A., Müller, T., & Grosso, P. (2022). Utilisation Profiles of Bridging Function Chain for Healthcare Use Cases. 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. 475-480). Conference Publishing Services, IEEE Computer Society. https://doi.org/10.1109/eScience55777.2022.00085
Page of