Using Maude to Model Motivation in Human Behaviour. - Antonio Cerone; Olzhas Zhalgendinov (SEFM Workshops, 2023)

Cognitive Aspects in the Formal Modelling of Multi-party Human-Computer Interaction. - Antonio Cerone; Olzhas Zhalgendinov (SEFM, 2024)