Research output per year
Research output per year
Search results
-
2022
ENACTEST: European Innovation Alliance for Testing Education
Marín, B., Vos, T. E. J., Paiva, A. C. R., Fasolino, A. R. & Snoeck, M., 19 May 2022. 8 p.Research output: Contribution to conference › Paper › Academic
Open Access -
IVVES (Industrial-Grade Verification and Validation of Evolving Systems)
Aho, P., Vos, T. E. J., Sybrandi, O., Patrasoiu, S., Oikarinen, J., Valdes, O. R. & Hufkens, L. V., 19 May 2022. 8 p.Research output: Contribution to conference › Paper › Academic
Open Access -
One counterfactual does not make an explanation
Butz, R., Hommersom, A., Barenkamp, M. & van Ditmarsch, H., 2022, p. 1-11.Research output: Contribution to conference › Paper › Academic
Open Access -
Possibilistic Logic Underlies Abstract Dialectical Frameworks
Heyninck, J. L. A., Kern-Isberner, G., Rienstra, T., Skiba, K. & Thimm, M., 2022, p. 2655-2666.Research output: Contribution to conference › Paper › Academic
Open Access -
Theoretical Constructs for Design Lenses for Developing Cyberbullying Countering Games for Adolescences
Nieuwenhuize, A., Rahimi, E. & Maathuis, E. C., 21 Nov 2022.Research output: Contribution to conference › Paper › Academic
Open AccessFile38 Downloads (Pure) -
2021
Balanced-By-Construction Regular and ω-Regular Languages
Edixhoven, L. & Jongmans, S-S., 6 Aug 2021, p. 130-142. 13 p.Research output: Contribution to conference › Paper › Academic
-
What is understandable in Bayesian network explanations?
Butz, R. S., Schulz, R., Hommersom, A. J. & van Eekelen, M. C. J. D., Oct 2021.Research output: Contribution to conference › Paper › Academic
Open Access