-
Zurek, T., Wyner, A., & van Engers, T. (2025). The Model of Benevolence for Trust in Multi-agent System. In G. Jezic, Y.-H. Chen-Burger, M. Kušek, R. Šperka, R. J. Howlett, & L. C. Jain (Eds.), Agents and Multi-agent Systems: Technologies and Applications 2024: Proceedings of 18th KES International Conference, KES-AMSTA 2024, June 2024 (pp. 17-27). (Smart Innovation, Systems and Technologies; Vol. 406). Springer. https://doi.org/10.1007/978-981-97-6469-3_2 -
Engelhardt, C., Coffey, A., Demchenko, Y., Garbuglia, F., Jetten, M., Kersloot, M., McCutcheon, V., Nylinder, S., Petersen, B., Schmidt, B., Shanahan, H., Straube, A., Venkataraman, S., & Zhou, B. (2025). A Modular and Community-Driven FAIR Teaching and Training Handbook for Higher Education Institutions. Liber Quarterly, 35(1). https://doi.org/10.53377/lq.16675
-
Wyner, A., & Zurek, T. (2025). Satisfaction in Negotiation by Structured Values and Propositions. In N. Osman, & L. Steels (Eds.), Value Engineering in Artificial Intelligence: Second International Workshop, VALE 2024, Santiago de Compostela, Spain, October 19–24, 2024 : revised selected papers (pp. 176-192). (Lecture notes in computer science; Vol. 15356), (Lecture Notes in Artificial Intelligence). Springer. https://doi.org/10.1007/978-3-031-85463-7_11
-
Esterhuyse, C. A., Lion, B., Hiep, H.-D. A., & Arbab, F. (2025). Formal Foundations for Reowolf: Multi-party Sessions via Synchronous Protocol Programming. In C. Di Giusto, & A. Ravara (Eds.), Coordination Models and Languages: 27th IFIP WG 6.1 International Conference, COORDINATION 2025 : held as part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025 : proceedings (pp. 3-29). (Lecture Notes in Computer Science; Vol. 15731). Springer. https://doi.org/10.1007/978-3-031-95589-1_1
-
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
-
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
-
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
-
van Dijk, R., van de Wetering, J., Argentini, R., Gorka, L., van Luenen, A. F., Minnema, S., Rijgersberg, E., Ugen, M., Mann, Z. Á., & Geradts, Z. (2025). PaSSw0rdVib3s! AI-assisted password recognition for digital forensic investigations. Forensic Science International: Digital Investigation, 52(supplement), Article 301870. https://doi.org/10.1016/j.fsidi.2025.301870
Page 1 of 15